Burckhardt - PDFSEARCH.IO - Document Search Engine

Burckhardt
Results: 215

#	Item
31	Abstraction for Weakly Consistent Systems Alexey Gotsman IMDEA Software Institute, Madrid, Spain Joint work with Mark Batty (Cambridge), Sebastian Burckhardt (MSR), Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-09-29 10:17:25
32	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
33	Burckhardtsource.org: A Semantic Public Archive on the European Correspondence to Jacob Burckhardt Costanza Giannaccini SNS-ERC Add to Reading List Source URL: www.apex-project.eu - Date: 2014-05-18 18:51:53
34	130 Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement Sebastian Burckhardt, Rajeev Alur, and Milo M.K. Martin Add to Reading List Source URL: www.cis.upenn.edu - Date: 2006-06-22 11:47:09
35	Burckhardtsource.org: A Semantic Public Archive on the European Correspondence to Jacob Burckhardt Costanza Giannaccini SNS-ERC Add to Reading List Source URL: apex-project.eu - Date: 2014-05-18 18:51:53
36	Ein Mann des Volkes Personalbibliographie Holger Börner Mit einem Geleitwort von Jürgen Burckhardt Veröffentlichungen der Add to Reading List Source URL: library.fes.de Language: German - Date: 2003-02-06 12:31:55
37	PRESSEINFORMATION Die Burckhardt Compression AG optimiert ihre Versand- und Exportprozesse mit SAP GTS und it.x-press itelligence Add to Reading List Source URL: www.itelligence.ch Language: German - Date: 2013-02-21 08:04:56
38	Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study Sebastian Burckhardt, Rajeev Alur, and Milo M.K. Martin Department of Computer Science University of Pennsylvania {sburckha, alur, m Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-12-21 11:42:39
39	Mouvement I – Sculptures on the Move Pressemitteilung Max Bill, Carl Burckhardt, Alex Cecchetti, Franz Eggenschwiler, Christian Jankowski, Marko Lulić, Olivier Mosset, Ariana Reines Add to Reading List Source URL: www.lemouvement.ch Language: German - Date: 2014-06-10 01:19:34
40	Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection Santosh Nagarakatte, Sebastian Burckhardt, Milo Martin, Madan Musuvathi University of Pennsylvania Microsoft Research Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-09-25 13:24:11 Schedule Information Computer science Computing Association for Computing Machinery Programming Language Design and Implementation Needlepoint

UPDATE