Specification - PDFSEARCH.IO - Document Search Engine

Specification
Results: 18826

#	Item
1	A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:31 Logic Symbol Substitution Mathematical logic Finite automata
2	Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:10 Software engineering Computing Programming language theory Procedural programming languages Programming languages Logic in computer science Runtime verification Cross-platform software Program slicing Model checking L-system Trace
3	R The OpenGL Graphics System: A Specification (Version 4.6 (Core Profile) - May 14, 2018) Add to Reading List Source URL: www.khronos.org Language: English - Date: 2018-05-14 04:23:13 Computing Computer programming 3D computer graphics OpenGL Application programming interfaces Cross-platform software Graphics libraries Video game development Shader Framebuffer object Shading language Pixel buffer
4	Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-09-15 09:37:52 Logic 120-cell Linear temporal logic Substitution Markov decision process Symbol Theoretical computer science Mathematical logic
5	A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-04-07 04:56:31
6	Evolving Specification Engineering Dusko Pavlovic, Peter Pepper, Doug Smith Email: {dusko,smith}@kestrel.edu, Kestrel Institute and Technische Universit¨ at Berlin Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:29:47 Concurrent computing Liveness Temporal logic Safety property Category theory Computation tree logic Morphism Dual Category Natural transformation Mathematics Mathematical logic
7	R The OpenGL Graphics System: A Specification (Version 4.6 (Compatibility Profile) - May 14, 2018) Add to Reading List Source URL: www.khronos.org Language: English - Date: 2018-05-14 04:23:12 Computing Computer programming 3D computer graphics OpenGL Application programming interfaces Cross-platform software Graphics libraries Video game development Shader Shading language Framebuffer object Pixel buffer
8	A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:00 Computing Software engineering Computer programming Concurrent programming languages High-level programming languages Type theory Programming languages Program analysis Java virtual machine Type system Go Java
9	R The OpenGL Graphics System: A Specification (Version 4.5 (Core Profile) - June 29, 2017) Add to Reading List Source URL: www.khronos.org Language: English - Date: 2017-06-29 16:51:37 Computing Computer programming IT infrastructure OpenGL Application programming interfaces Cross-platform software Graphics libraries Video game development Shader Framebuffer object Pixel buffer Shading language
10	Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-01-24 06:23:37 I0 Invariant XC

UPDATE