IMDEA - PDFSEARCH.IO - Document Search Engine

IMDEA
Results: 286

#	Item
111	Identification of Heap–Carried Data Dependence Via Explicit Store Heap Models Mark Marron1, Darko Stefanovic1, Deepak Kapur1, and Manuel Hermenegildo1,2 1 University 2 Technical Add to Reading List Source URL: www.software.imdea.org Language: English - Date: 2012-01-27 10:25:36
112	Leakage Resilience against Concurrent Cache Attacks Gilles Barthe1 , Boris K¨opf1 , Laurent Mauborgne2 , and Mart´ın Ochoa3 1 IMDEA Software Institute, Spain Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-01-22 08:10:08
113	N Probabilistic Relational Reasoning for Differential Privacy ¨ GILLES BARTHE, BORIS KOPF and FEDERICO OLMEDO, IMDEA Software Institute ´ Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-06-07 06:33:22
114	Safety of Live Transactions in Transactional Memory: TMS is Necessary and Sufficient Hagit Attiya1 , Alexey Gotsman2 , Sandeep Hans1 , and Noam Rinetzky3 1 Technion - Israel Institute of Technology, Israel Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-08-16 15:20:21 Transaction processing Data management Schedule Nested transaction
115	Transaction Chopping for Parallel Snapshot Isolation Andrea Cerone1 , Alexey Gotsman1 , and Hongseok Yang2 1 IMDEA Software Institute 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-09-09 15:49:26 Transaction processing Computing Data management Software Schedule Database transaction Isolation Consistency model Extensible Storage Engine Transaction log Snapshot isolation
116	Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-01-16 15:25:31 Data types Transaction processing Type theory Concurrency control Consistency model Eventual consistency Denotational semantics Extensible Storage Engine Primitive data type Parallel computing Type system Causal consistency
117	Transaction Chopping for Parallel Snapshot Isolation Andrea Cerone1 , Alexey Gotsman1 , and Hongseok Yang2 1 IMDEA Software Institute 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-09-09 15:18:29 Transaction processing Computing Data management Software Schedule Database transaction Isolation Consistency model Extensible Storage Engine Transaction log Snapshot isolation
118	Identification of Logically Related Heap Regions Mark Marron1 Deepak Kapur2 Manuel Hermenegildo1 Add to Reading List Source URL: www.software.imdea.org Language: English - Date: 2012-01-27 10:23:07
119	Specifying and Verifying   Concurrent  Algorithms with   Histories and Subjectivity memoria software v3.qxd Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-04-16 09:10:05 Algebra Mathematics Abstract algebra Semigroup theory Algebraic structures Mathematical logic Category theory Monoid Algorithm Concurrent algorithm
120	distr-mont-1024-buckets-new.eps Add to Reading List Source URL: software.imdea.org Language: English - Date: 2010-09-02 11:11:48

UPDATE