1![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 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](https://www.pdfsearch.io/img/6a3f4b9c4791a071f6ad642a14d61da0.jpg) | Add to Reading ListSource URL: legal.itemis.comLanguage: English - Date: 2018-08-08 08:21:48
|
---|
2![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 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](https://www.pdfsearch.io/img/67718f7f37b921455ac4b91955a04102.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:34
|
---|
3![GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh](https://www.pdfsearch.io/img/669cd45e22d7f24449a74db55a374312.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2007-07-05 11:36:54
|
---|
4![Does 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](https://www.pdfsearch.io/img/905fbab63489a32460227909112ef5eb.jpg) | Add to Reading ListSource URL: people.engr.ncsu.eduLanguage: English - Date: 2018-09-14 10:06:51
|
---|
5![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 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](https://www.pdfsearch.io/img/df6104a3b9ee6082715d7715658ce664.jpg) | Add to Reading ListSource URL: www.aetherworks.comLanguage: English - Date: 2018-06-25 16:20:00
|
---|
6![AES 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? •](https://www.pdfsearch.io/img/d996cf1c14fec171e3397aa4c57fd7ba.jpg) | Add to Reading ListSource URL: ko.stoffelen.nlLanguage: English - Date: 2018-02-09 07:39:38
|
---|
7![Vinta: 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](https://www.pdfsearch.io/img/0207377f28fc6004e61e7f05472ba668.jpg) | Add to Reading ListSource URL: arieg.bitbucket.ioLanguage: 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](https://www.pdfsearch.io/img/093e28f27fa2ff4932b778ad682b113c.jpg) | Add to Reading ListSource URL: www.exanic.chLanguage: German - Date: 2018-10-26 04:19:33
|
---|
9![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 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](https://www.pdfsearch.io/img/8cc76216db056f74ec7f3237076326de.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|
10![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 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](https://www.pdfsearch.io/img/24fdc758d1a2a9bf557f78a4296c048b.jpg) | Add to Reading ListSource URL: gruss.ccLanguage: German - Date: 2018-09-28 10:46:40
|
---|