Software

Results: 335388



#Item
41Program 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

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
42Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology

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
43Software Bug Localization with Markov Logic Sai Zhang Congle Zhang  Department of Computer Science & Engineering

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
44Challenges In Deductive Software Verification Reiner Hähnle (with Marieke Huisman, U Twente) www.se.tu-darmstadt.de

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
45Terms of Service Last Updated February 5, 2018 Ambisafe Software Inc. (hereinafter referred as the

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
46Press 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

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
47Pacemakers and Implantable Cardiac Defibrillators: Software Radio Attacks and Zero-Power Defenses Daniel Halperin† Thomas S. Heydt-Benjamin†

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
48Randomized 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

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
49Call 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,

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
50Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

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