Quality of Merge-Refactorings for Product Lines Julia Rubin1,2 and Marsha Chechik1 1 University of Toronto, Canada IBM Research in Haifa, Israel

Source URL: people.csail.mit.edu

Combining Related Products into Product Lines Julia Rubin1,2 and Marsha Chechik1 1 University of Toronto, Canada IBM Research in Haifa, Israel

Source URL: people.csail.mit.edu

SOLUTIONS Sharing Opportunities for Low carbon Urban Transport D4.1 Assessment of city needs and gap analysis (working paper) SOLUTIONS

Source URL: urban-mobility-solutions.eu

• Mediterranean Sea
• Tel Aviv
• Israel
• Metropolis
• Interreg
• Sustainable transport
• Haifa
• Western Asia
• Asia
• European Union

Managing Forked Product Variants Julia Rubin1,2 , Andrei Kirshin2 , Goetz Botterweck3 , Marsha Chechik1 1 University of Toronto, Canada IBM Research at Haifa, Israel

Source URL: people.csail.mit.edu

• Navigation
• Software development
• Global Positioning System
• Nuclear command and control
• Feature model
• Point of interest
• Technology
• Satellite navigation systems
• GPS

Autovectorization in GCC Dorit Naishlos IBM Research Lab in Haifa Abstract

Source URL: gcc.cybermirror.org

• Parallel computing
• Vectors
• Abstract algebra
• Compiler optimizations
• Vectorization
• Vector processor
• SIMD
• Dependence analysis
• Data structure alignment
• Algebra
• Mathematics
• Linear algebra

˯ÂÙÒ‰†ÊÎ¯Ó SPORT CENTER ÔÂÈÁ ÔÈ·¯†ÔÈÈ· ‡˘„†‰Ù˜

Source URL: www.haifa.ac.il

How to Use Bitcoin to Incentivize Correct Computations Ranjit Kumaresan and Iddo Bentov Technion, Haifa, Israel {ranjit | idddo }@cs.technion.ac.il

Source URL: www.cs.technion.ac.il

• Cryptographic protocols
• Bitcoin
• Peer-to-peer computing
• Secure multi-party computation
• Commitment scheme
• Zero-knowledge proof
• X Window System
• PP
• Homomorphic encryption
• Cryptography
• Software
• Computing

User Models Sharing and Reusability: A Component-based Approach Eyal Dim and Tsvi Kuflik The University of Haifa, Mount Carmel, Haifa 31905, Israel ,

Source URL: ceur-ws.org

• Modeling language
• Usability
• Object-oriented design
• User modeling
• Software engineering
• Object-oriented programming
• Component-based software engineering

Close-range Photometric Stereo with Point Light Sources Aaron Wetzler, Ron Kimmel, Alfred M. Bruckstein Computer Science Department, Technion, Israel Institute of Technology, Technion City, Haifa 32000, Israel twerd,ron,

Source URL: cs.technion.ac.il

• Differential equation
• Integral calculus
• Mandelbulb

34°E 35°E Tiberias Haifa

Source URL: waterinventory.org