Symbolic

Results: 1438



#Item
251Computability theory / Vulnerability / Public-key cryptography / Theoretical computer science / Models of computation / Buffer overflow / Social vulnerability / Zero-day / Ring signature / Symbolic execution / Turing machine / Halting problem

Towards Automatic Generation of Vulnerability-Based Signatures David Brumley, James Newsome, and Dawn Song Carnegie Mellon University Pittsburgh, PA, USA {dbrumley,jnewsome,dawnsong}@cmu.edu

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
252Lisp / Lambda calculus / Functional programming / Data types / Subroutines / Scheme / Anonymous function / Cons / Fexpr / Maclisp / Closure / Eval

Higher-Order and Symbolic Computation, 11, 405–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° Scheme:

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2011-10-14 14:39:18
253Constraint programming / Abstract interpretation / Symbolic execution / Constraint / Program optimization / Concolic testing / Constraint logic programming

RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2016-03-08 07:04:45
254Constraint programming / Abstract interpretation / Symbolic execution / Constraint satisfaction problem / Paul Klee

KLEE: Effective Testing of Systems Programs Cristian Cadar Joint work with Daniel Dunbar and Dawson Engler April 16th, 2009

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2016-03-08 07:04:46
255Freudian psychology / Sigmund Freud / Oedipus complex / Jacques Lacan / Psychoanalysis / The Interpretation of Dreams / Unconscious mind / Dream interpretation / Beyond the Pleasure Principle / Anti-Oedipus / The Symbolic / Content

Novica Milić :Provocation as Communication in the

Add to Reading List

Source URL: www.fmk.singidunum.ac.rs

Language: English - Date: 2015-04-08 19:18:58
256

Technische Universität München Lehrstuhl für Logik und Verifikation Formalizing Symbolic Decision Procedures for Regular Languages

Add to Reading List

Source URL: www21.in.tum.de

Language: English - Date: 2015-11-16 04:08:00
    257Electronic music / Keyboard instruments / MIDI / Music information retrieval / Computer music / Regular expression / Concatenative synthesis / Multitrack recording / Gramophone record / Synthesizer

    Matching Parts: Inner Voice Led Control for Symbolic and Audio Accompaniment Nick Collins Department of Informatics University of Sussex Falmer, Brighton, BN1 9QH

    Add to Reading List

    Source URL: composerprogrammer.com

    Language: English - Date: 2014-05-01 12:42:43
    258Cognitive science / Applied linguistics / Computational linguistics / Linguistics / Language / Machine translation / Martin Kay / Outline of natural language processing

    Computation and Linguistic Analysis Computational Linguistics Symbolic CL

    Add to Reading List

    Source URL: cl.indiana.edu

    Language: English - Date: 2016-01-06 12:55:07
    259Ergodic theory / Stochastic processes / Operator theory / Mixing / Symbol / Invariant measure / Ergodicity / Constructible universe / Von Neumann algebra / Vertex operator algebra / Differential forms on a Riemann surface

    SYMBOLIC REPRESENTATIONS OF NONEXPANSIVE GROUP AUTOMORPHISMS ELON LINDENSTRAUSS AND KLAUS SCHMIDT Abstract. If α is an irreducible nonexpansive ergodic automorphism of a compact abelian group X (such as an irreducible n

    Add to Reading List

    Source URL: www.ma.huji.ac.il

    Language: English - Date: 2005-01-17 11:24:56
    260Constraint programming / Abstract interpretation / Symbolic execution / Software testing / Reference / Constraint satisfaction problem / Const / Parameter / Concolic testing / Constraint logic programming

    Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler? Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A.

    Add to Reading List

    Source URL: www.doc.ic.ac.uk

    Language: English - Date: 2016-03-08 07:04:45
    UPDATE