IMDEA - PDFSEARCH.IO - Document Search Engine

IMDEA
Results: 286

#	Item
61	Mechanized Verification of Fine-grained Concurrent Programs st * Consi PLDI * Add to Reading List Source URL: software.imdea.org - Date: 2015-05-02 09:36:58
62	On Demand Elastic Capacity Planning for Service Auto-Scaling Pavel Chuprikov∗† ∗ Steklov Mathematical Institute Add to Reading List Source URL: eprints.networks.imdea.org - Date: 2016-02-12 10:23:01
63	FIB Efficiency in Distributed Platforms Kirill Kogan∗ , Sergey I. Nikolenko†‡ , Patrick Eugster§ , Alexander Shalimov¶ , Ori Rottenstreichk ∗ IMDEA Networks Institute, Madrid, Institute o Add to Reading List Source URL: eprints.networks.imdea.org - Date: 2016-08-17 20:12:12
64	Theory of Computing Systems manuscript No. (will be inserted by the editor) Online Scheduling FIFO Policies with Admission and Push-Out Kirill Kogan · Alejandro L´ Add to Reading List Source URL: eprints.networks.imdea.org - Date: 2015-03-09 04:19:50
65	Computer-Aided Game-Based Proofs Benedikt Schmidt IMDEA Software Institute, Madrid Add to Reading List Source URL: beschmi.net
66	Essential Traffic Parameters for Shared Memory Switch Performance Patrick Eugster1,2 , Alex Kesselman3 , Kirill Kogan , Sergey Nikolenko5,6 , and Alexander Sirotkin7,8 4 Add to Reading List Source URL: eprints.networks.imdea.org - Date: 2015-07-12 02:37:08
67	BASEL (Buffer mAnagement SpEcification Language) Kirill Kogan Danushka Menikkumbura Gustavo Petri Add to Reading List Source URL: eprints.networks.imdea.org - Date: 2016-02-15 05:45:46
68	Pushing the Frontier: Exploring the African Web Ecosystem Rodérick Fanou,1,2 Gareth Tyson,3 Pierre Francois4 and Arjuna Sathiaseelan5 1 IMDEA Networks Institute, 2 Universidad Carlos III de Madrid, 3 Add to Reading List Source URL: www.eecs.qmul.ac.uk - Date: 2016-02-03 05:45:58
69	’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 - Date: 2015-12-20 03:08:52
70	The CISE Tool: Proving Weakly-Consistent Applications Correct Mahsa Najafzadeh Alexey Gotsman Add to Reading List Source URL: software.imdea.org - Date: 2016-04-10 03:03:59