Lara - PDFSEARCH.IO - Document Search Engine

Lara
Results: 1812

#	Item
211	Synthesis of Fixed-Point Programs Eva Darulova EPFL Rupak Majumdar Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-08-05 05:55:21
212	Automatic Synthesis of Out-of-Core Algorithms Yannis Klonatos Andres Nötzli Andrej Spielmann Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-26 14:52:18
213	BIG Hotline Berliner Krisendienst Opferhilfe Berlin STOP STALKING Gewaltschutzambulanz LARA ( nach sex. Gewalt) Add to Reading List Source URL: gewaltschutz-ambulanz.charite.de Language: German - Date: 2015-09-17 10:11:23
214	On Induction for SMT Solvers Andrew Reynolds and Viktor Kuncak? ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland {firstname.lastname}@epfl.ch Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-18 08:48:39
215	The Taser Intrusion Recovery System Ashvin Goel, Kenneth Po, Kamran Farhadi, Zheng Li∗ , Eyal de Lara∗ Dept. of Electrical and Computer Engineering, Dept. of Computer Science∗ University of Toronto ABSTRACT Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 2014-04-23 13:14:41
216	An Overview of the Leon Verification System Verification by Translation to Recursive Functions Régis Blanc Viktor Kuncak Etienne Kneuss Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-06-11 12:02:50
217	Effect Analysis for Programs with Callbacks Etienne Kneuss1 , Viktor Kuncak1? , and Philippe Suter1,2 1 2 ´ Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-07-10 09:16:54
218	Disjunctive Interpolants for Horn-Clause Verification Philipp R¨ummer1 , Hossein Hojjat2 , and Viktor Kuncak2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-07 14:09:22
219	Preprint DRAFT Effective use of sleep states with context-aware selective resume Eric J. Wright, Nilton Bila, Eyal de Lara, Ashvin Goel University of Toronto Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 2014-04-23 13:14:40
220	Towards a Sustainable Present: Urgency and Agency in Transition Design - Eduardo Staszowski, Lara Penin, Andrew Moon The Parsons DESIS Lab1, New York City Transition Add to Reading List Source URL: transitiondesign.net Language: English

UPDATE