Symbolic - PDFSEARCH.IO - Document Search Engine

Symbolic
Results: 1438

#	Item
201	Unleashing Mayhem on Binary Code Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Theoretical computer science Computing Software engineering Automated theorem proving Concolic testing Formal methods Symbolic execution Parallel computing Satisfiability modulo theories KeY Symbolic X86
202	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 Software engineering Computer programming Object-oriented programming Object-oriented programming languages Programming paradigms Object Self Smalltalk Prototype-based programming Common Lisp Object System Objective-C Immutable object
203	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 Computer architecture System software Software C POSIX library System calls Stat Open Inode Symbolic link Tar Write POSIX
204	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 Race and society Racism Identity politics Discrimination Structure White privilege Sociology of race and ethnic relations Racism in the Arab world Symbolic racism
205	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 Algebra Abstract algebra Mathematics Polynomials Ring theory Algebras Differential operator Multivariable calculus Operator theory Associative algebra D-module Differential algebra
206	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 Software engineering Computer programming Software testing Software metrics Abstract interpretation Symbolic execution Assertion Constant Code coverage
207 $Continued fractions / Numerical analysis / Rational functions / Pad table / Pad approximant$	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 Continued fractions Numerical analysis Rational functions Pad table Pad approximant
208	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 World Trade Center Deconstructivism Daniel Libeskind Architecture Plan World Trade Center site Real estate Construction
209	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 Computing Software engineering Computer programming Software bugs Arbitrary code execution Program slicing Instruction set Vulnerability Buffer overflow Symbolic execution Operand Assembly language
210	Fuzzgrind: an automatic fuzzing tool Add to Reading List Source URL: esec-lab.sogeti.com Language: English - Date: 2016-07-01 12:08:46 Software Computer programming Debuggers Profilers Valgrind Symbolic execution Programming tool Software testing

UPDATE