Refinement - PDFSEARCH.IO - Document Search Engine

Refinement
Results: 838

#	Item
1	Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3 Add to Reading List Source URL: repository.ist.ac.at Language: English - Date: 2018-02-08 07:01:31 Algebra Mathematics Convex geometry Linear algebra Convex analysis Convex cone Abstract interpretation Octahedron Polyhedron Linear programming Linear inequality Convex set
2	What is iterative refinement How to use iterative refinement to verify a computed result? Influence of the computing precision Conclusion and future work Iterative refinement: Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:16 Mathematical analysis Numerical analysis Mathematics Numerical linear algebra Root-finding algorithms Iterative refinement Residual Newton's method Pi Approximations of Gradient descent Mathematical optimization
3	Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:27:15 Formal methods Computing Software engineering Theoretical computer science Specification language Refinement Abstract state machines Domain-specific language Specification Programming language Integrated circuit design Formal specification
4	Abstraction Refinement for Probabilistic Software Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. We present a methodolog Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-10-24 07:08:14 Metaphysics Formal methods Theoretical computer science Modal logic Philosophical logic Predicate abstraction Markov decision process Logic Refinement Abstraction Krivine machine
5	A Refinement Approach to Visualization* Allen Goldberg Rafael Furst Cordell Green Kestrel Institute 3260 Hillview Ave Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:10:59 Computing Data types Software engineering Type theory Mathematics Rendering Const Record Integer Tagged union Tuple Type system
6	Modular, Crash-Safe Refinement for ASMs with Submachines Gidon Ernsta , J¨ org Pf¨ahlera , Gerhard Schellhorna , Wolfgang Reifa a Institute Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:52:45 Formal methods Theoretical computer science Software engineering Mathematics Predicate transformer semantics Refinement Abstract state machines NC 120-cell Cover
7	Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Computer architecture System software Disk file systems Data management Inode File system Journaling file system Log-structured File System Ext3 Mkfs Refinement Ext4
8	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
9	Modular Refinement for Submachines of ASMs ? Gidon Ernst, J¨ org Pf¨ Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:47:24 Formal methods Theoretical computer science Models of computation Abstract state machines Predicate transformer semantics NC 120-cell File locking
10	Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Computing Computer architecture Concurrent computing Theoretical computer science Computer programming Refinement Abstract interpretation Memory barrier Abstraction Algorithm Thread