Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
11	Automatic Verification of RMA Programs via Abstraction Extrapolation Cedric Baumann1 , Andrei Marian Dan1 , Yuri Meshman2 , Torsten Hoefler1 , and Martin Vechev1 1 Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Mathematical logic Logic Mathematics Predicate logic Formal methods Quantification Predicate Propositional calculus Quantifier FO Satisfiability modulo theories Predicate transformer semantics
12	Form Methods Syst Des: 246–280 DOIs10703A Game-based Abstraction-Refinement Framework for Markov Decision Processes Mark Kattenbelt · Marta Kwiatkowska · Gethin Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-12-04 14:59:08 Markov models Mathematics Markov processes Probability Dynamic programming Stochastic control Graph theory Markov decision process Stochastic game Markov chain Stochastic matrix Shortest path problem
13	2010 International Conference on Distributed Computing Systems Optimizing the Spatio-Temporal Distribution of Cyber-Physical Systems for Environment Abstraction Linghe Kong, Dawei Jiang, Min-You Wu Shanghai Jiao Tong Un Add to Reading List Source URL: wirelesslab.sjtu.edu.cn Language: English - Date: 2015-04-14 12:01:50 Knowledge representation Search algorithms Network theory Mathematics Connectivity Tree Breadth-first search Discrete mathematics Combinatorics Networks Centrality
14	Computing Science Group ABSTRACTION FRAMEWORK FOR MARKOV DECISION PROCESSES AND PCTL VIA GAMES Mark Kattenbelt Michael Huth Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-03-19 06:17:12 Mathematics Temporal logic Computation tree logic Logic in computer science Distribution Model theory Linear temporal logic Indescribable cardinal
15	Predicate Abstraction for Relaxed Memory Models Andrei Dan Martin Vechev Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Logic Mathematical logic Linguistics Dekker's algorithm Edsger W. Dijkstra Predicate Flag
16	QAPLGame-Based Probabilistic Predicate Abstraction in PRISM 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-05-04 08:03:42 Mathematical analysis Temporal logic Generalized functions Mathematics Distribution Functional analysis Computation tree logic
17	Foreshadow-NG: Breaking the Virtual Memory Abstraction with Transient Out-of-Order Execution Revision 1.0 (August 14, 2018) Ofir Weisse3 , Jo Van Bulck1 , Marina Minkin2 , Daniel Genkin3 , Baris Kasikci3 , Frank Piessens Add to Reading List Source URL: foreshadowattack.eu Language: English - Date: 2018-08-31 11:04:51 Computer architecture Computing Computer hardware Computer memory Memory management Virtual memory X86 architecture Computer security Meltdown Translation lookaside buffer CPU cache Software Guard Extensions
18	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Mathematical logic Logic Predicate logic Mathematics Predicate FO Atomic sentence Primitive recursive function Syntactic predicate
19	Proceedings: Equality and Hashing for (Almost) Free: Generating Implementations from Abstraction Functions Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Software engineering Computer programming Object-oriented programming languages Abstract data types Object Java Iterator Scala Abstraction Java collections framework Object-oriented programming
20	Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Theoretical computer science Metaphysics Mathematical logic Temporal logic Computability theory Model theory Formal languages Finite-state machine Computation tree logic Abstraction Abstract interpretation IP