Software - PDFSEARCH.IO - Document Search Engine

Software
Results: 335388

#	Item
41	Program Analyses for Understanding the Behavior and Performance of Traditional and Mobile Object-Oriented Software Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Computing Software engineering Software review Program analysis Software testing Object-oriented programming languages Static program analysis Java Android Software quality Computer programming Memory leak
42	Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:45:03 Model checkers Software engineering Computing Model checking Theoretical computer science SPIN model checker Stack Promela Exception handling Device driver synthesis and verification
43	Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Logic Mathematical logic Non-classical logic Markov logic network Software testing Probabilistic logic Software bug Code coverage Debugging Inference First-order logic Buggy
44	Challenges In Deductive Software Verification Reiner Hähnle (with Marieke Huisman, U Twente) www.se.tu-darmstadt.de Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 05:01:11 Theoretical computer science Software engineering Computing Model checking Specification language Computer programming Correctness Formal methods Cognitive science
45	Terms of Service Last Updated February 5, 2018 Ambisafe Software Inc. (hereinafter referred as the "Ambisafe", “we”, “our” or “us”) as an administrator of the Website (as defined below) adopts these Terms of Add to Reading List Source URL: ambisafe.com Language: English - Date: 2018-10-24 05:32:22 Computing Computer access control Identity management Terms of service Law Contract law E-commerce Internet law Internet privacy Password User Privacy
46	Press information AQUIS HIRES MAGNUS ALMQVIST TO HEAD UP TECHNOLOGY SALES Aquis Technologies develops and licenses exchange software LONDON – 1st November 2016 – Aquis Exchange, the pan-European equities exchange an Add to Reading List Source URL: www.aquis.technology Language: English - Date: 2017-04-03 05:34:04 Economy Finance Stock market Money Economy of London Financial markets London Stock Exchange Multilateral trading facility Markets in Financial Instruments Directive Exchange
47	Pacemakers and Implantable Cardiac Defibrillators: Software Radio Attacks and Zero-Power Defenses Daniel Halperin† Thomas S. Heydt-Benjamin† Add to Reading List Source URL: www.secure-medicine.org Language: English - Date: 2017-10-06 05:31:23 Cardiac electrophysiology Medical devices Neuroprosthetics Medicine Technology Computing Cybernetics Implantable cardioverter-defibrillator International Statistical Classification of Diseases and Related Health Problems Universal Software Radio Peripheral Artificial cardiac pacemaker Radio-frequency identification
48	Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:31:43 Software testing Software engineering Computing Quality Fault injection Software verification Reliability engineering Formal verification Flash memory Software quality Stress testing Exception handling
49	Call for Proposals: Documentation Support for KDE KDE is an international community dedicated to writing Free Software for end users. Thousands of volunteers are working on software like a desktop, graphics applications, Add to Reading List Source URL: ev.kde.org Language: English - Date: 2018-08-30 15:20:27 Software System software Computing KDE KDE Software Compilation KDE Projects
50	Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Theoretical computer science Formal methods Software engineering Logic in computer science Formal verification Satisfiability modulo theories Abstract interpretation Loop invariant Logic programming Model checking KeY Software verification

UPDATE