Laboratory - PDFSEARCH.IO - Document Search Engine

Laboratory
Results: 71265

#	Item
21	Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:01 Mathematical analysis Mathematics Abstract interpretation Function Exponential function Complex analysis Formal methods Centripetal CatmullRom spline
22	Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report Kostyantyn Vorobyov, Nikolai Kosmatov, and Julien Signoles CEA, LIST, Software Reliability and Security Laboratory, PC 174, Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2018-06-20 05:46:32 Computing Software engineering Computer programming Software bugs Software testing Computer network security Debuggers Common Weakness Enumeration Memory debugger Memory safety Application security Frama-C
23	A.Z. Andis Arietta Education Greeley Memorial Laboratory 370 Prospect Street New Haven, CT 06511 Add to Reading List Source URL: www.azandisresearch.com Language: English - Date: 2018-09-05 13:55:55 Geography of Alaska Geography of the United States States of the United States Western United States Alaska Protected areas of the United States South Baranof Wilderness Tongass National Forest Wilderness World Wilderness Congress Sitka Alaska Montana
24	27. The physiological differences between trained and untrained runners In our book (www.thesecretofrunning.com) we have described our initial treadmill research on 14 test runners in the physiological laboratory of the Add to Reading List Source URL: thesecretofrunning.com Language: English - Date: 2017-10-10 07:07:13 Sports Exercise physiology Running Running economy
25	Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2018-05-10 06:54:27 Mathematical logic Predicate logic Mathematics Logic Predicate variable Scope Atomic sentence FO First-order logic Variable Structured text Assignment
26	Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:29:11 Model checkers Theoretical computer science Formal methods Software engineering Logic in computer science Model checking Search algorithms Formal verification SPIN model checker Verification Swarm behaviour Promela
27	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
28	Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:58 Computing Software engineering Computer programming Inter-process communication UML state machine Message queue Message passing Event loop Futures and promises Monitor Scala High-Speed SECS Message Services
29	Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs Nasrine Damouche and Matthieu Martel LAMPS Laboratory University of Perpignan, 52 Avenue Paul Alduy, Add to Reading List Source URL: perso.univ-perp.fr Language: English - Date: 2018-01-15 07:35:42 Computing Software engineering Mathematics Functions and mappings Abstract interpretation Variable Limit of a function Derivative Combinatory logic Scala Exponentiation Integral
30	The SCAR Project Semantic Coloring of Academic References Angelo Di Iorio1, Freddy Limpens1, Agata Rotondi1, Pascal Coupet2, Georgios Tsatsaronis2 1DASPLab - Digital and Semantic Publishing Laboratory (University of Bolo Add to Reading List Source URL: workshop-oc.github.io Language: English - Date: 2018-09-10 10:16:09 Computing Web services Web standards Data Knowledge representation Semantic Web Resource Description Framework SPARQL Part-of-speech tagging Training test and validation sets

UPDATE