IMDEA - PDFSEARCH.IO - Document Search Engine

IMDEA
Results: 286

#	Item
141	Symbolic Polytopes for Quantitative Interpolation and Verification Klaus v. Gleissenthall1 , Boris K¨opf2 , and Andrey Rybalchenko3 1 Technische Universit¨ Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-05-21 05:21:36
142	Replicated Data Types: Specification, Verification, Optimality Sebastian Burckhardt Alexey Gotsman Hongseok Yang Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-11-14 12:44:57 Computing Data types Software engineering Computer programming Abstract data types Fault-tolerant computer systems Type theory Consistency model Transaction processing Replication String List
143	Sharing Analysis of Arrays, Collections, and Recursive Structures Mark Marron1 Manuel Hermenegildo1,2 1 University of New Mexico (USA) Add to Reading List Source URL: www.software.imdea.org Language: English - Date: 2012-01-27 10:23:51
144	A Proof Technique for Noninterference In Open Systems: An extended version (Extended Abstract) Enrico Scapin University of Trier, Germany In [3], a framework has been proposed which allows tools that can check standard n Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-07-09 06:40:16
145	Logical Methods in Computer Science Vol. 9(3:, pp. 1–47 www.lmcs-online.org Submitted Published Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-09-23 10:41:22
146	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:12 Transaction processing Data management Schedule Nested transaction
147	A Framework for Transactional Consistency Models with Atomic Visibility Andrea Cerone, Giovanni Bernardi, and Alexey Gotsman IMDEA Software Institute, Madrid, Spain Abstract Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-08-30 02:56:47 Transaction processing Computing Data management Data Schedule Consistency model Readwrite conflict Writeread conflict Snapshot isolation Isolation Database transaction Replication
148	Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee IMDEA Software Institute, Spain {ilya.sergey, aleks.nanevski, anindya.banerjee}@imdea. Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Logic in computer science Separation logic Substructural logic
149	Programming Paradigm Driven Heap Analysis Mark Marron1 1 IMDEA Ondˇrej Lhoták2 Add to Reading List Source URL: www.software.imdea.org Language: English - Date: 2012-01-06 02:33:52
150	Understanding Eventual Consistency March 25, 2013 Technical Report MSR-TR Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-04-08 12:27:08 Transaction processing Data management Consistency model Eventual consistency Consistency Causal consistency Atomicity ACE Axiom Formalism Scalability Database

UPDATE