Hagit Attiya - PDFSEARCH.IO - Document Search Engine

Hagit Attiya
Results: 16

#	Item
1	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.sri.inf.ethz.ch Language: English - Date: 2018-05-15 09:28:45
2	Specification and Complexity of Collaborative Text Editing Hagit Attiya Sebastian Burckhardt Alexey Gotsman Add to Reading List Source URL: www.microsoft.com Language: English - Date: 2018-01-04 05:49:25
3	Characterizing Transactional Memory Consistency Conditions Using Observational Refinement HAGIT ATTIYA, Technion—Israel Institute of Technology ALEXEY GOTSMAN, IMDEA Software Institute SANDEEP HANS, Technion—Israel I Add to Reading List Source URL: software.imdea.org - Date: 2018-02-01 06:29:20
4	Safe Privatization in Transactional Memory Artem Khyzha Hagit Attiya IMDEA Software Institute Add to Reading List Source URL: software.imdea.org - Date: 2018-01-15 03:28:01
5	Curriculum Vitae Alessia Milani LaBRI , Université Bordeaux-1 351, cours de la LibérationTalence Cedex, France Add to Reading List Source URL: www.labri.fr Language: English - Date: 2013-03-07 16:22:05 Concurrent computing Computing Hagit Attiya Symposium on Parallelism in Algorithms and Architectures Symposium on Principles of Distributed Computing Transactional memory Shmuel Zaks International Symposium on Distributed Computing International Conference on Parallel and Distributed Systems Theoretical computer science International Symposium on Reliable Distributed Systems International Parallel and Distributed Processing Symposium
6	Specification and Complexity of Collaborative Text Editing Hagit Attiya Sebastian Burckhardt Alexey Gotsman Add to Reading List Source URL: software.imdea.org Language: English - Date: 2016-05-22 15:37:07 Fault-tolerant computer systems Communications protocol Data transmission IP State machine replication Constructible universe Computing Mathematics Creativity
7	Specification and Complexity of Collaborative Text Editing Hagit Attiya Sebastian Burckhardt Alexey Gotsman Add to Reading List Source URL: software.imdea.org Language: English - Date: 2016-05-22 15:38:02 Communications protocol Data transmission IP State machine replication Constructible universe Computing Mathematics Creativity
8	Limitations of Highly-Available Eventually-Consistent Data Stores Hagit Attiya Faith Ellen Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2015-07-06 07:00:09 Fault-tolerant computer systems Computing Distributed algorithms Consistency model Transaction processing Eventual consistency Constructible universe Conflict-free replicated data type Replication Interleaving Net
9	Transactions are Back—but How Different They Are? Relating STM and Databases Consistency Conditions (Preliminary Version) Hagit Attiya Sandeep Hans Add to Reading List Source URL: transact2012.cse.lehigh.edu Language: English - Date: 2012-02-23 21:17:14
10	R EL STM: A Proactive Transactional Memory Scheduler ∗ David Sainz Hagit Attiya Computer Science Department, Technion Add to Reading List Source URL: transact2013.cse.lehigh.edu Language: English - Date: 2013-03-17 06:58:37