Lara - PDFSEARCH.IO - Document Search Engine

Lara
Results: 1812

#	Item
511	DEPARTMENT OF ENVIRONMENTAL QUALITY AIR QUALITY DIVISION PART 2. AIR USE APPROVAL (By authority conferred on the director of environmental quality by Part 55, Air Pollution Control, of the Natural Resources and Environme Add to Reading List Source URL: w3.lara.state.mi.us Language: English - Date: 2015-05-11 10:06:47 Clean Air Act Climate change in the United States New Source Review Environmental Protection Act Environment United States Air pollution in the United States Environment of the United States 88th United States Congress
512	Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-04-04 04:21:28 Automated theorem proving Formal methods Logic in computer science Model theory KeY First-order logic Isabelle Formal verification Predicate transformer semantics Mathematics Theoretical computer science Mathematical logic
513	Runtime Instrumentation for Precise Flow-Sensitive Type Analysis Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-08-17 17:02:57 Computer programming Type theory Cross-platform software Procedural programming languages PHP programming language Type system C Pointer PHP Computing Software engineering Data types
514	Combining Theories with Shared Set Operations Thomas Wies, Ruzica Piskac, and Viktor Kuncak EPFL School of Computer and Communication Sciences, Switzerland Abstract. Motivated by applications in software verification, we Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-06-22 19:09:56 Model theory Formal languages Metalogic Semantics Predicate logic Interpretation First-order logic Well-formed formula Second-order logic Logic Mathematical logic Mathematics
515	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 Logic in computer science Logic programming Automated theorem proving Rules of inference Craig interpolation Interpolation Clause Resolution Horn clause Logic Mathematics Mathematical logic
516	Decision Procedures for Multisets with Cardinality Constraints Ruzica Piskac and Viktor Kuncak School of Computer and Communication Science ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-12-11 06:05:40 Cardinality Set Combination Boolean satisfiability problem Generalized arithmetic progression Permutation Polynomial Mathematics Combinatorics Multiset
517	On Test Generation through Programming in UDITA Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-09-16 18:43:07 Cross-platform software Java Pathfinder D Null Object pattern JavaScript Computer program KeY Java Generator Computing Software engineering Computer programming
518	Satisfiability Modulo Recursive Programs Philippe Suter⋆ , Ali Sinan K¨oksal, 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: 2011-06-13 20:10:28 Computability theory Formal methods Model theory Theory of computation Logic in computer science Satisfiability Modulo Theories Decision problem Function Satisfiability Theoretical computer science Mathematics Mathematical logic
519	Trustworthy Numerical Computation in Scala Eva Darulova Viktor Kuncak ∗ School of Computer and Communication Sciences (I&C) - Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-08-20 05:54:12 Mathematical analysis Applied mathematics Affine arithmetic Machine epsilon Floating point Interval arithmetic Rounding Round-off error Interval Numerical analysis Computer arithmetic Mathematics
520	CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems Maysam Yabandeh, Nikola Kneˇzevi´c, Dejan Kosti´c and Viktor Kuncak School of Computer and Communication Sciences, EPFL, Switzerla Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-03-03 06:54:09 Chord Model checking Distributed computing Routing Distributed data storage Computing Distributed hash table

UPDATE