Software

Results: 335388



#Item
1General Terms and Conditions of ITEMIS AG for Software Licenses itemis AG Version 2.0.1,   General Terms and Conditions of ITEMIS AG for Software Licenses

General Terms and Conditions of ITEMIS AG for Software Licenses itemis AG Version 2.0.1, General Terms and Conditions of ITEMIS AG for Software Licenses

Add to Reading List

Source URL: legal.itemis.com

Language: English - Date: 2018-08-08 08:21:48
2Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China

Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China

Add to Reading List

Source URL: zhang-sai.github.io

Language: English - Date: 2015-05-05 00:58:34
3GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh

GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2007-07-05 11:36:54
4Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith

Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith

Add to Reading List

Source URL: people.engr.ncsu.edu

Language: English - Date: 2018-09-14 10:06:51
5AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have

AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have

Add to Reading List

Source URL: www.aetherworks.com

Language: English - Date: 2018-06-25 16:20:00
6AES on the ARM Cortex-M3 and M4 Peter Schwabe and Ko Stoffelen More AES software implementations? •

AES on the ARM Cortex-M3 and M4 Peter Schwabe and Ko Stoffelen More AES software implementations? •

Add to Reading List

Source URL: ko.stoffelen.nl

Language: English - Date: 2018-02-09 07:39:38
7Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Add to Reading List

Source URL: arieg.bitbucket.io

Language: English - Date: 2018-10-19 18:15:18
8«Alle brauchen IT. Unsere Web- und Mobilelösungen werden täglich mit Freude genutzt. Ganz ohne Ärger, weil sie einfach funktionieren.» Mit dieser Vision realisieren und betreiben wir zukunftsweisende Software-Lösun

«Alle brauchen IT. Unsere Web- und Mobilelösungen werden täglich mit Freude genutzt. Ganz ohne Ärger, weil sie einfach funktionieren.» Mit dieser Vision realisieren und betreiben wir zukunftsweisende Software-Lösun

Add to Reading List

Source URL: www.exanic.ch

Language: German - Date: 2018-10-26 04:19:33
    9Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie

    Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie

    Add to Reading List

    Source URL: seahorn.github.io

    Language: English - Date: 2018-08-03 20:31:21
    10Software-basierte Mikroarchitekturangriffe1 Daniel Gruss2 Abstract: Moderne Prozessoren sind hoch optimierte Systeme, bei denen jeder einzelne Rechenzeitzyklus von Bedeutung ist. Viele Optimierungen h¨angen von den Date

    Software-basierte Mikroarchitekturangriffe1 Daniel Gruss2 Abstract: Moderne Prozessoren sind hoch optimierte Systeme, bei denen jeder einzelne Rechenzeitzyklus von Bedeutung ist. Viele Optimierungen h¨angen von den Date

    Add to Reading List

    Source URL: gruss.cc

    Language: German - Date: 2018-09-28 10:46:40