Symbolic

Results: 1438



#Item
201Unleashing Mayhem on Binary Code

Unleashing Mayhem on Binary Code

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
202To be published in: LISP AND SYMBOLIC COMPUTATION: An International Journal, 4, 3, 1991 © 1991 Kluwer Academic Publishers - Manufactured in The Netherlands An Efficient Implementation of SELF, a Dynamically-Typed Object

To be published in: LISP AND SYMBOLIC COMPUTATION: An International Journal, 4, 3, 1991 © 1991 Kluwer Academic Publishers - Manufactured in The Netherlands An Efficient Implementation of SELF, a Dynamically-Typed Object

Add to Reading List

Source URL: bibliography.selflanguage.org

Language: English
203Fuse Extension version 0.90 Erick Gallesio Universit´e de Nice - Sophia Antipolis 930 route des Colles, BP 145 FSophia Antipolis, Cedex

Fuse Extension version 0.90 Erick Gallesio Universit´e de Nice - Sophia Antipolis 930 route des Colles, BP 145 FSophia Antipolis, Cedex

Add to Reading List

Source URL: www.stklos.net

Language: English - Date: 2007-06-12 13:15:23
204Livia Greenberg First Place Hildene Lincoln Essay Competition 2016 In 1930 in Marion, Indiana, two lifeless black bodies in ragged and tattered clothes hung from separate tree branches, their faces and bodies beaten and

Livia Greenberg First Place Hildene Lincoln Essay Competition 2016 In 1930 in Marion, Indiana, two lifeless black bodies in ragged and tattered clothes hung from separate tree branches, their faces and bodies beaten and

Add to Reading List

Source URL: www.hildene.org

Language: English - Date: 2016-05-16 13:15:35
205An Automated Confluence Proof for an Infinite Rewrite System via a Gr¨obner Basis Computation Loredana Tec∗ Research Institute for Symbolic Computation, Johannes Kepler University, Castle of Hagenberg, Austria 4032 lt

An Automated Confluence Proof for an Infinite Rewrite System via a Gr¨obner Basis Computation Loredana Tec∗ Research Institute for Symbolic Computation, Johannes Kepler University, Castle of Hagenberg, Austria 4032 lt

Add to Reading List

Source URL: dream.inf.ed.ac.uk

Language: English - Date: 2010-07-11 12:18:59
206Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation Patrice Godefroid1 , Shuvendu K. Lahiri1 , and Cindy Rubio-Gonz´alez2 1 2

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation Patrice Godefroid1 , Shuvendu K. Lahiri1 , and Cindy Rubio-Gonz´alez2 1 2

Add to Reading List

Source URL: web.cs.ucdavis.edu

Language: English - Date: 2014-11-10 23:12:58
207Fraction-free Computation of Simultaneous Padé Approximants George Labahn Symbolic Computation Group Cheriton School of Computer Science University of Waterloo, Canada

Fraction-free Computation of Simultaneous Padé Approximants George Labahn Symbolic Computation Group Cheriton School of Computer Science University of Waterloo, Canada

Add to Reading List

Source URL: issac2009.kias.re.kr

Language: English - Date: 2009-07-30 19:41:13
208Title: Ground Zero – the socio-political minefield of symbolic architecture Daniel Libeskind Interviewer / author – Graham Cairns Research – Rachel Isaac-Menard

Title: Ground Zero – the socio-political minefield of symbolic architecture Daniel Libeskind Interviewer / author – Graham Cairns Research – Rachel Isaac-Menard

Add to Reading List

Source URL: architecturemps.com

Language: English - Date: 2014-08-07 10:26:50
209Bouncer: Securing Software by Blocking Bad Input Manuel Costa Miguel Castro Microsoft Research

Bouncer: Securing Software by Blocking Bad Input Manuel Costa Miguel Castro Microsoft Research

Add to Reading List

Source URL: www.sosp2007.org

Language: English - Date: 2016-06-15 13:09:51
210Fuzzgrind: an automatic fuzzing tool

Fuzzgrind: an automatic fuzzing tool

Add to Reading List

Source URL: esec-lab.sogeti.com

Language: English - Date: 2016-07-01 12:08:46