Lara - PDFSEARCH.IO - Document Search Engine

Lara
Results: 1812

#	Item
471	Predicting and Preventing Inconsistencies in Deployed Distributed Systems ˇ ´ DEJAN KOSTIC ´ and VIKTOR KUNMAYSAM YABANDEH, NIKOLA KNEZEVI C, Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-01-27 11:14:29 Data Information Distributed computing Model checking Distributed hash table Chord Consensus Communications protocol Distributed data storage Computing Fault-tolerant computer systems
472	Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Metalogic Proof theory Logic in computer science Formal languages First-order logic Multiset Presburger arithmetic Quantifier elimination Logic Mathematics Mathematical logic
473	On Set-Driven Combination of Logics and Verifiers LARA Technical Report, February 2, 2009 Viktor Kuncak1 and Thomas Wies1,2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-02-02 09:55:31 Model theory Logic in computer science Metalogic Predicate logic Proof theory First-order logic Satisfiability Modulo Theories Presburger arithmetic Quantifier elimination Logic Mathematical logic Theoretical computer science
474	On Decision Procedures for Ordered Collections Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-02-08 11:12:45 Elementary mathematics Cardinal numbers Boolean algebra Mathematical optimization Integer Finite set NP Cardinality Boolean satisfiability problem Mathematics Theoretical computer science Complexity classes
475	Synthesis for Unbounded Bit-vector Arithmetic Andrej Spielmann and Viktor Kuncak School of Computer and Communication Sciences (I&C) ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-04-24 05:03:43 Digital electronics Logic Models of computation Elementary mathematics Logical syntax Finite state transducer Flip-flop Function FO Mathematics Theoretical computer science Automata theory
476	Interpolation for Synthesis on Unbounded Domains Viktor Kuncak and R´egis Blanc ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-10-18 09:28:42 Lookup table Computer programming Structural synthesis of programs Mathematics Computing Function
477	Opis: Reliable Distributed Systems in OCaml ´ Pierre-Evariste Dagand Dejan Kosti´c Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-01-14 11:26:18 Computer programming Lambda calculus Logic in computer science Gossip protocol Network architecture Combinatory logic OCaml Peer-to-peer Chord Computing Distributed data storage Software
478	Synthesis Modulo Recursive Functions Etienne Kneuss1 Viktor Kuncak1 Ivan Kuraj1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-08-16 08:18:41 Data types Lisp programming language Functional programming Recursion Computability theory ALGOL 68 Function Fold Algebraic data type Software engineering Computer programming Computing
479	Simplifying Distributed System Development We predict that the future is inpredicting the future. Maysam Yabandeh, Nedeljko Vasi´c, Dejan Kosti´c and Viktor Kuncak School of Computer and Communication Sciences, Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-04-23 16:34:44 Information Computing Reliability engineering Peer-to-peer Communications protocol Gossip protocol Distributed algorithm Systems engineering Data Distributed computing
480	An Integrated Proof Language for Imperative Programs Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-04-02 08:15:55 Applied mathematics Formal methods Logic in computer science Reasoning Proof assistant Formal verification KeY Isabelle Reasoning system Theoretical computer science Mathematics Automated theorem proving

UPDATE