IBM Haifa Research Laboratory - PDFSEARCH.IO - Document Search Engine

IBM Haifa Research Laboratory
Results: 9

#	Item
1	The Xen hypervisor virtualizing a machine near you Muli Ben-Yehuda IBM Haifa Research Labs Add to Reading List Source URL: www.mulix.org Language: English - Date: 2016-06-16 09:04:15 Software System software Computer architecture Linux Foundation University of Cambridge Computer Laboratory Xen Hardware virtualization Paravirtualization Hypervisor Hyper-V NetBSD Virtual machine
2	Constructing Scalable Overlays for Pub-Sub with Many Topics Problems, Algorithms, and Evaluation Gregory Chockler Roie Melamed Yoav Tock IBM Haifa Research Laboratory {chockler,roiem,tock}@il.ibm.com Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2007-08-09 16:53:12
3	Expander Graphs and their Applications Draft - not for distribution Shlomo Hoory IBM Research Laboratory Haifa, Israel Add to Reading List Source URL: www.math.ias.edu Language: English - Date: 2006-05-18 11:21:02 Expander graph Zig-zag product Ramanujan graph Connectivity Spectral graph theory Cayley graph Bipartite graph Salil Vadhan
4	Benchmarking SAT Solvers for Bounded Model Checking Emmanuel Zarpas IBM Haifa Research Laboratory, Abstract. Modern SAT solvers are highly dependent on heuristics. Add to Reading List Source URL: researchweb.watson.ibm.com Language: English - Date: 2006-01-02 10:07:38
5	SEMANTIC EVENT MODEL AND ITS IMPLICATION ON SITUATION DETECTION A. Adi, D. Botzer, O. Etzion IBM Research Laboratory in Haifa, Israel (Adi / Botzer / Etzion)@il.ibm.com Add to Reading List Source URL: www.complexevents.com Language: English - Date: 2012-11-18 12:57:26
6	Vadim Eisenberg Curriculum Vitae - February 2015 Software Developer, M.Sc. in Computer Science, hands-on, broad knowledge E-mail: Vadim.Eisenberg[at]gmail.com Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2015-02-24 00:57:24 Computing Science and technology in Israel IBM InfoSphere DataStage IBM Technion Science IBM R&D Labs in Israel IBM Haifa Research Laboratory Haifa Technology Laboratories
7	IBM Haifa Labs Look, Ma, No BIOS! A Hands-Off Introduction To LinuxBIOS Oleg Goldshmidt IBM Haifa Research Laboratory Add to Reading List Source URL: coreboot.org Language: English - Date: 2006-10-13 18:41:51 BIOS Booting Boot loaders Linux LILO Coreboot GNU GRUB DOS CP/M System software Software Computer architecture
8	IBM Haifa Labs Look, Ma, No BIOS! A Hands-Off Introduction To LinuxBIOS Oleg Goldshmidt IBM Haifa Research Laboratory Add to Reading List Source URL: www.coreboot.org Language: English - Date: 2006-10-13 18:41:51 BIOS Booting Boot loaders Linux LILO Coreboot GNU GRUB DOS CP/M System software Software Computer architecture
9	Constraint Satisfaction for Test Program Generation (Preliminary Version) Daniel Lewin* Laurent Fournier Moshe Levinger Evgeny Roytman Gil Shurek IBM Israel Science and Technology, Haifa Research Laboratory MATAM, Haifa Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2002-10-29 03:16:31 Computing Constraint satisfaction Test Data Generation Constraint Local consistency Constraint optimization Constraint programming Software engineering Computer programming