1![Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González](https://www.pdfsearch.io/img/f36ee6e5baf36ea90521ec0bda2c12ba.jpg) | Add to Reading ListSource URL: web.cs.ucdavis.eduLanguage: English - Date: 2015-02-16 13:00:00
|
---|
2![Static Analysis of Programs with Imprecise Probabilistic Inputs Assale Adje2 , Olivier Bouissou1 , Jean Goubault-Larrecq2 , Eric Goubault1 , and Sylvie Putot1 1 CEA LIST Static Analysis of Programs with Imprecise Probabilistic Inputs Assale Adje2 , Olivier Bouissou1 , Jean Goubault-Larrecq2 , Eric Goubault1 , and Sylvie Putot1 1 CEA LIST](https://www.pdfsearch.io/img/87aff83227a2f8148e60ae80bcd8b902.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2013-09-17 04:23:07
|
---|
3![Microsoft Word - Asiedu_et_al.docx Microsoft Word - Asiedu_et_al.docx](https://www.pdfsearch.io/img/6fd796ff8f27cc21d6e25acc02381a96.jpg) | Add to Reading ListSource URL: afea.infoLanguage: English - Date: 2013-03-31 00:57:54
|
---|
4![B U L L E T I N Static Frequency ConverterkVA B U L L E T I N Static Frequency ConverterkVA](https://www.pdfsearch.io/img/450de2bd5ed0fbf6e57d0c110bc50c27.jpg) | Add to Reading ListSource URL: www.euroatlas.deLanguage: English - Date: 2015-07-20 09:21:59
|
---|
5![A Security Domain Model to Assess Software for Exploitable Covert Channels Alan B. Shaffer Mikhail Auguston A Security Domain Model to Assess Software for Exploitable Covert Channels Alan B. Shaffer Mikhail Auguston](https://www.pdfsearch.io/img/8889b9096d46bde714845cd0cf077929.jpg) | Add to Reading ListSource URL: cisr.nps.eduLanguage: English - Date: 2008-08-18 13:40:59
|
---|
6![Oak Ridge National Laboratory Computing and Computational Sciences Preparing OpenSHMEM for Exascale Presented by: Oak Ridge National Laboratory Computing and Computational Sciences Preparing OpenSHMEM for Exascale Presented by:](https://www.pdfsearch.io/img/369393233e619aaff3c0dc0f2e2cac5d.jpg) | Add to Reading ListSource URL: hpcadvisorycouncil.comLanguage: English - Date: 2015-02-02 12:20:17
|
---|
7![THE ADVANCED COMPUTING SYSTEMS ASSOCIATION The following paper was originally published in the Proceedings of the USENIX Annual Technical Conference Monterey, California, USA, June 6-11, 1999 THE ADVANCED COMPUTING SYSTEMS ASSOCIATION The following paper was originally published in the Proceedings of the USENIX Annual Technical Conference Monterey, California, USA, June 6-11, 1999](https://www.pdfsearch.io/img/fb77c2ccafa72912934a4d80bfc9017f.jpg) | Add to Reading ListSource URL: static.usenix.orgLanguage: English - Date: 1999-06-04 16:35:43
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: static-content.springer.comLanguage: Afrikaans |
---|
9![A Soft Constraint of Equality: Complexity and Approximability? Emmanuel Hebrard, Barry O’Sullivan, and Igor Razgon Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {e. A Soft Constraint of Equality: Complexity and Approximability? Emmanuel Hebrard, Barry O’Sullivan, and Igor Razgon Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {e.](https://www.pdfsearch.io/img/6090e4e2c27cc783f529c10507393bf3.jpg) | Add to Reading ListSource URL: homepages.laas.frLanguage: English - Date: 2010-11-22 06:22:30
|
---|
10![Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths. Sriram Sankaranarayanan Aleksandar Chakarov Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths. Sriram Sankaranarayanan Aleksandar Chakarov](https://www.pdfsearch.io/img/6cc3590061f7487ef7647141a08bad4b.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2013-04-02 14:26:21
|
---|