Checking - PDFSEARCH.IO - Document Search Engine

Checking
Results: 4283

#	Item
481	Checking Out eBooks on an iPad/iPhone via OverDrive App • Be sure you have a Shenandoah County Library card in good standing. • Be sure your device is connected to the Internet. Add to Reading List Source URL: countylib.org Language: English - Date: 2015-10-28 16:47:20 IOS Amazon Kindle Proprietary hardware Smartphones IPad IPhone E-book Amazon.com OverDrive Inc. Barnes & Noble Nook 1st Edition
482	Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven Engineering Add to Reading List Source URL: www.utc.ices.cmu.edu Language: English - Date: 2014-10-10 12:15:04 Unified Modeling Language Model-driven architecture Object Management Group Modeling language KeY Hybrid system Model checking Metamodeling Systems Modeling Language Object Process Methodology Formal verification Hybrid automaton
483	Microsoft Word - Post-Silicon Debug__30__group__.doc Add to Reading List Source URL: www.deshawresearch.com Language: English - Date: 2010-09-27 16:06:45 Theoretical computer science Formal methods Integrated circuits Logic in computer science Computer memory Formal verification Waypoint Debugging Application-specific integrated circuit Dynamic random-access memory Error Model checking
484	An Ant Colony Verification Algorithm Rachid Rebiha Giovanni L. Ciampaglia Universit`a della Svizzera Italiana, Faculty of Informatics. {rachid.rebiha, ciampagg}@lu.unisi.ch Abstract Add to Reading List Source URL: www.glciampaglia.com Language: English - Date: 2015-11-15 22:04:58 Finite automata Ant colony optimization algorithms Model checking Finite-state machine Artificial ants Ant Bchi automaton
485	A Tool Bus for Anytime Verification? Natarajan Shankar1 Computer Science Laboratory SRI International Menlo Park CAUSA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-11 10:23:46 Formal methods Logic in computer science Theoretical computer science Systems engineering Formal verification Model checking Satisfiability modulo theories Verification Correctness Software verification
486	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julia Lawall (University of Copenhagen) Joint work with Add to Reading List Source URL: coccinelle.lip6.fr Language: English C Struct Sizeof Stat C++ classes Coccinelle
487	Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat University of California, San Diego {ckillian, jwanderson, jhala, vahdat}@ Add to Reading List Source URL: www.macesystems.org Language: English - Date: 2007-03-11 23:28:24 Concurrent computing Liveness Safety Model checking Random walk Concurrency Models of computation
488	Computational Modeling, Formal Analysis, and Tools for Systems Biology Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2016-02-05 19:02:40 Bioinformatics Scientific modeling Models of computation Systems biology Concurrency Computational biology Linear temporal logic Model checking Agent-based model Gene regulatory network Construction and Analysis of Distributed Processes Petri net
489	AKTUELLES DRUG CHECKING ERGEBNIS AUS INNSBRUCK Hochdosierte XTC-Tablette JuniAls XTC zur Analyse gebracht: Add to Reading List Source URL: saferparty.ch Language: German - Date: 2016-06-16 05:19:51
490	✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Hardware description languages Synchronous programming languages Model checkers Formal methods Timed automaton Esterel Model checking Uppaal Model Checker SIGNAL

UPDATE