Eran - PDFSEARCH.IO - Document Search Engine

Eran
Results: 305

#	Item
141	Limits on the Usefulness of Random Oracles∗ Iftach Haitner† Eran Omri‡ Hila Zarosim§ Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2015-03-02 05:44:07
142	ApacheCon US 2005 Speaker Agreement Speaker: Eran Chinthaka Prepared: Friday, 18 November:27 PST Add to Reading List Source URL: archive.apachecon.com Language: English - Date: 2011-03-30 19:27:56 Westminster system Speaker of the House of Commons
143	Generating Precise and Concise Procedure Summaries Greta Yorsh ∗ Eran Yahav Satish Chandra Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-03-27 09:24:14 Mathematical logic Predicate transformer semantics Logic Transformer Function Interpretation Data-flow analysis The Transformers Mathematics Formal methods Program logic
144	Code Completion with Statistical Language Models Veselin Raychev Martin Vechev Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2014-04-16 13:47:34 Science Computational linguistics Natural language processing N-gram Language model Statistical machine translation Data model Application programming interface Object-oriented programming Statistical natural language processing Programming paradigms Linguistics
145	Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-04-25 07:36:40 Predicate logic Formal methods Logic in computer science Systems engineering First-order logic Model theory Java Database Connectivity Abstraction Formal verification Logic Mathematical logic Mathematics
146	Automatic Inference of Memory Fences Michael Kuperstein Martin Vechev Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-01-12 02:41:42
147	The SAFE Experience Eran Yahav and Stephen Fink Abstract We present an overview of the techniques developed under the SAFE project. The goal of SAFE was to create a practical lightweight framework to verify simple proper Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-02-04 02:50:17 Mind Tuple Application programming interface Information Data management Mathematics Abstraction
148	Abstract Semantic Differencing via Speculative Correlation Nimrod Partush Eran Yahav Technion Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2014-09-28 10:55:49 Logic Algorithm Abstraction Model theory Function Model checking Mathematics Theoretical computer science Abstract interpretation
149	Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev Eran Yahav IBM Research Add to Reading List Source URL: www.cs.technion.ac.il Language: English Concurrency Linearizability Algorithm Tree traversal Mutual exclusion Non-blocking algorithm Concurrent data structure Parallel computing Priority queue Concurrency control Computing Data management
150	Verifying Safety Properties of Concurrent Java Programs Using 3-Valued Logic Eran Yahav School of Computer Science Tel-Aviv University, Tel-Aviv 69978 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-11-16 12:34:16 Digital typography Orthography Linguistics Collation Latin-derived alphabet World glyph set Character encoding Latin alphabets Latin script