Eran - PDFSEARCH.IO - Document Search Engine

Eran
Results: 305

#	Item
151	Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-09-25 09:19:19 Transaction processing Memory management Linearizability Parallel computing Concurrent data structure Non-blocking algorithm Garbage collection Algorithm Sequential consistency Computing Concurrent computing Concurrency control
152	Effective Typestate Verification in the Presence of Aliasing STEPHEN J. FINK and ERAN YAHAV IBM T. J. Watson Research Center and NURIT DOR1 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-01-27 15:57:10 Logic in computer science Formal methods Formal verification Pointer analysis Shape analysis Pointer The Verifier Abstract interpretation IP Theoretical computer science Applied mathematics Static program analysis
153	Verifying Temporal Heap Properties Specified via Evolution Logic? Eran Yahav1 , Thomas Reps2 , Mooly Sagiv1 , and Reinhard Wilhelm3 1 School of Comp. Sci., Tel-Aviv Univ., Tel-Aviv, Israel, {yahave,msagiv}@post.tau.ac.i Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-11-16 12:33:58 Philosophical logic Model theory First-order logic FO Linear temporal logic Modal logic Abstract interpretation Mereology Tiny Encryption Algorithm Logic Mathematical logic Predicate logic
154	Electronic Notes in Theoretical Computer Science 89 NoURL: http://www.elsevier.nl/locate/entcs/volume89.html 14 pages Automatically Verifying Concurrent Queue Algorithms Eran Yahav Mooly Sagiv Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-11-16 12:34:30 Scheduling algorithms Mathematics Concurrency control Cybernetics FIFO Inter-process communication Linearizability Linked list Scheduling Abstract data types Computing Concurrent computing
155	Chameleon: Adaptive Selection of Collections Ohad Shacham Martin Vechev Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-03-31 08:21:52 Memory management Cross-platform software Data types Primitive types C++ Garbage collection C dynamic memory allocation C Garbage Computing Software engineering Computer programming
156	Automatic Synthesis of Deterministic Concurrency Veselin Raychev1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {veselin.raychev,martin.vechev}@inf.ethz.ch Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-08-20 04:50:41 Concurrent computing Thread Synchronization Deadlock Parallel computing Algorithm Lock Mutual exclusion Computer programming Concurrency Computing Computer science
157	Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel Institute of Technology Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-06-11 13:49:54 Abstraction Applied mathematics Computer science Programming paradigms Data management Abstract interpretation Deterministic finite automaton Formal verification Abstract object Automata theory Theoretical computer science Models of computation
158	Automatic Verification of Determinism for Structured Parallel Programs Martin Vechev1 , Eran Yahav1 , Raghavan Raman2 , and Vivek Sarkar2 1 IBM T.J. Watson Research Center. Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:52:45 ALGOL 68 Parallel computing Schedule Programming language theory Computing Software engineering
159	TWO REMARKS ON BLACKWELL’S THEOREM EHUD LEHRER AND ERAN SHMAYA January 15, 2006 Abstract. In a decision problem with uncertainty a decision maker receives partial Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2006-01-16 10:12:56 Functional analysis Markov models Matrices Stochastic matrix Distribution Matrix Continuous function Itō diffusion Perron–Frobenius theorem Mathematical analysis Mathematics Algebra
160	Inferring Synchronization under Limited Observability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Abstract. This paper addresses the problem of automatically inferring synchronization for c Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-03-28 14:04:36 Automata theory Transition Observability Models of computation

UPDATE