Eran - PDFSEARCH.IO - Document Search Engine

Eran
Results: 305

#	Item
161	Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms Martin T. Vechev Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2006-01-23 21:06:46 Garbage collection Reference counting Pointer Algorithm Heap Software engineering Mathematics Memory management Automatic memory management Computing
162	Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement, Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-04-08 00:54:02 Concurrency Theoretical computer science Computer programming Algorithm Mathematical logic Non-blocking algorithm Linearizability Concurrent data structure Actor model Computing Concurrency control Concurrent computing
163	Verifying Optimistic Algorithms Should be Easy (Position Paper) Noam Rinetzky Martin T. Vechev Eran Yahav Greta Yorsh Queen Mary University of London IBM T.J. Watson Research Center Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-09-25 09:17:50 Transaction processing Mathematics Thread Linearization Algorithm Concurrency Concurrency control Computing Linearizability
164	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:47:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
165	CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors Martin T. Vechev Cambridge University Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-04-10 10:02:52 Concurrency control Applied mathematics Garbage collection Linearizability Algorithm Mutator method Reference counting Lock Time complexity Computing Theoretical computer science Memory management
166	Tracelet-Based Code Search in Executables Yaniv David Eran Yahav Technion, Israel Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2014-03-29 02:02:37 Computing X86 assembly language MOV Low-level programming language X86 Algorithm High Level Assembly Decompiler Computer architecture X86 architecture Assembly languages
167	Abstraction-Guided Synthesis of Synchronization Martin Vechev Eran Yahav Greta Yorsh Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-11-12 20:41:49 Function Abstraction Mereology Valuation Mathematics Mathematical logic Abstract interpretation
168	PDF Document Add to Reading List Source URL: www.hkjff.org Language: English - Date: 2014-03-22 15:31:01 Joseph Green Yidl Mitn Fidl Molly Picon Kazimierz Tel Aviv Solomon & Gaenor Eran Riklis Klezmer Fax Jewish culture Culture Film
169	Book Review: Eran Feitelson and Erik T. Verhoef (eds) Transport and Environment. In Search of Sustainable Solutions1 Moshe Givoni Add to Reading List Source URL: www.ejtir.tbm.tudelft.nl Language: English - Date: 2007-09-03 09:49:11 Sustainable transport Sustainability Environment Environmental social science Environmentalism
170	Press Release At the opening ceremony of Febiofest, “Professor Snape” from Harry Potter, Alan Rickman will receive the Kristian award and introduce his new film, A Little Chaos, starring Kate Winslet. The festival is Add to Reading List Source URL: www.febiofest.cz Language: English Febiofest Alan Rickman The Winter Guest Eran Riklis Lemon Tree Sense and Sensibility Severus Snape Prague Cinema of the United Kingdom English people British people Films