IMDEA - PDFSEARCH.IO - Document Search Engine

IMDEA
Results: 286

#	Item
71	Robustness against Consistency Models with Atomic Visibility Giovanni Bernardi and Alexey Gotsman IMDEA Software Institute, Madrid, Spain Abstract Add to Reading List Source URL: software.imdea.org - Date: 2016-06-20 09:28:02
72	ESPRES: Easy Scheduling and Prioritization for SDN † Peter Pereˇs´ıni† Maciej Ku´zniar† Marco Canini∗ Dejan Kosti´c‡ EPFL ∗ Universit´e catholique de Louvain ‡ Institute IMDEA Networks interleaving ru Add to Reading List Source URL: perso.uclouvain.be - Date: 2014-03-02 02:10:18
73	Speaker Recognition in Encrypted Voice Streams Michael Backes1,2 , Goran Doychev1 , Markus D¨ urmuth1 , and Boris K¨opf2 1 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-10-05 17:39:36 Open formats Computing Speex Free software Voice over IP Discontinuous transmission Voice activity detection Transmission Control Protocol Speech coding Software
74	Substantive Change Report by Fundación para el Conocimiento madrimasd (fmid) Decision of: 20 May 2016 Add to Reading List Source URL: www.eqar.eu Language: English - Date: 2016-05-24 06:42:26 Quality assurance IMDEA Science and technology in Spain Madrid Ex-ante European Association for Quality Assurance in Higher Education Europe Economy Structure
75	Finite Tree Automata in Horn Clause Transformations (Invited Talk) John P. Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain Add to Reading List Source URL: refal.botik.ru - Date: 2016-02-22 02:22:12
76	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
77	Analysing Snapshot Isolation Andrea Cerone Alexey Gotsman IMDEA Software Institute Add to Reading List Source URL: software.imdea.org Language: English - Date: 2016-05-22 15:38:26 Transaction processing Computing Data management Data Concurrency control Databases Commitment ordering Schedule Serializability ACID Snapshot isolation Multiversion concurrency control
78	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
79	Decentralization as a Privacy-Enhancing Technology George Danezis, University College London With Marios Isaakidis (UCL), Carmela Troncoso (IMDEA), and Harry Halpin (INRIA/LEAP) The De/Centralization pendulum Add to Reading List Source URL: bitcoinschool.gr Language: English - Date: 2016-06-02 02:34:58 Bitcoin File sharing networks Cryptocurrencies File sharing Decentralization Organizational theory Blockchain Peer-to-peer Gnutella Privacy Internet privacy BitTorrent
80	’Cause I’m Strong Enough: Reasoning about Consistency Choices in Distributed Systems Alexey Gotsman Hongseok Yang Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-12-20 03:07:54 Metalogic Model theory Structure Consistency model

UPDATE