Institute

Results: 275473



#Item
31SMITH - A Parallel Hardware Architecture for fast Gaussian Elimination over GF(2) A. Bogdanov, M.C. Mertens, C. Paar, J. Pelzl, A. Rupp Horst G¨ortz Institute for IT Security, Ruhr University Bochum, Germany {bogdanov,m

SMITH - A Parallel Hardware Architecture for fast Gaussian Elimination over GF(2) A. Bogdanov, M.C. Mertens, C. Paar, J. Pelzl, A. Rupp Horst G¨ortz Institute for IT Security, Ruhr University Bochum, Germany {bogdanov,m

Add to Reading List

Source URL: www.hyperelliptic.org

Language: English - Date: 2006-03-21 11:51:07
32Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:26:03
33Curriculum Vitae Stefan Ratschan Office address: Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vod´arenskou vˇeˇz´ı 2

Curriculum Vitae Stefan Ratschan Office address: Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vod´arenskou vˇeˇz´ı 2

Add to Reading List

Source URL: www2.cs.cas.cz

Language: English - Date: 2018-07-28 04:11:44
    34From Conceptual Models to Agent-based Simulations: Why and How Swaroop Vattama, Ashok K. Goel a, Spencer Rugaber a, Cindy Hmelo-Silver b, Rebecca Jordan c a School of Interactive Computing, Georgia Institute of Technolog

    From Conceptual Models to Agent-based Simulations: Why and How Swaroop Vattama, Ashok K. Goel a, Spencer Rugaber a, Cindy Hmelo-Silver b, Rebecca Jordan c a School of Interactive Computing, Georgia Institute of Technolog

    Add to Reading List

    Source URL: ccl.northwestern.edu

    Language: English - Date: 2009-04-16 15:33:08
    35Composition and Re nement of Behavioral Speci cations Dusko Pavlovic and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA

    Composition and Re nement of Behavioral Speci cations Dusko Pavlovic and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA

    Add to Reading List

    Source URL: www.kestrel.edu

    Language: English - Date: 2012-08-02 20:57:16
    36BharatNet Planning Tool User Manual Indian Institute of Technology Bombay 3

    BharatNet Planning Tool User Manual Indian Institute of Technology Bombay 3

    Add to Reading List

    Source URL: grammarg.in

    Language: English
    37Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology

    Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology

    Add to Reading List

    Source URL: rjoshi.org

    Language: English - Date: 2010-09-11 18:45:03
    38Route Bazaar: Automatic Interdomain Contract Negotiation Ignacio Castro ♣†♠ Aurojit Panda ‡ Barath Raghavan ♠ Scott Shenker ♠‡ Sergey Gorinsky ♣ ♣ IMDEA Networks Institute † Open University of Catalon

    Route Bazaar: Automatic Interdomain Contract Negotiation Ignacio Castro ♣†♠ Aurojit Panda ‡ Barath Raghavan ♠ Scott Shenker ♠‡ Sergey Gorinsky ♣ ♣ IMDEA Networks Institute † Open University of Catalon

    Add to Reading List

    Source URL: www.usenix.org

    Language: English - Date: 2016-02-21 02:46:52
    39Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract

    Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract

    Add to Reading List

    Source URL: smt-workshop.cs.uiowa.edu

    Language: English - Date: 2017-09-02 14:08:49
    40Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1

    Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1

    Add to Reading List

    Source URL: www.kestrel.edu

    Language: English - Date: 2012-08-02 20:27:15