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

Source URL: www.hyperelliptic.org

• Algebra
• Linear algebra
• Mathematics
• Numerical linear algebra
• Matrices
• Matrix theory
• Multiplication
• Gaussian elimination
• Matrix multiplication
• Pivot element
• Invertible matrix
• Matrix

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

Source URL: rjoshi.org

• FO
• Finite model theory
• Model theory
• Metaphilosophy
• Mathematical logic
• Mathematics
• Sigma-algebra
• Pattern language

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

Source URL: www2.cs.cas.cz

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

Source URL: ccl.northwestern.edu

• Modeling and simulation
• Computing
• Systems science
• Scientific modeling
• Simulation
• Multi-agent systems
• Systems theory
• NetLogo
• Agent-based model
• Conceptual model
• Scientific modelling
• Ecosystem model

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

Source URL: www.kestrel.edu

• Pushout
• Recursion
• Span
• Pullback
• Limit
• Mathematics
• Computing
• Philosophy of mathematics

BharatNet Planning Tool User Manual Indian Institute of Technology Bombay 3

Source URL: grammarg.in

• Bharat Broadband Network
• Spreadsheet
• Wi-Fi
• Application programming interface
• Global Positioning System
• Microsoft Excel
• Computing
• Technology
• Software

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

Source URL: rjoshi.org

• Model checkers
• Software engineering
• Computing
• Model checking
• Theoretical computer science
• SPIN model checker
• Stack
• Promela
• Exception handling
• Device driver synthesis and verification

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

Source URL: www.usenix.org

• Internet architecture
• Computing
• Network architecture
• Internet
• Border Gateway Protocol
• BGP hijacking
• Routing
• Router
• Peering
• IP routing
• Control plane
• Computer network

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

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

• Software testing
• Theoretical computer science
• Software engineering
• Satisfiability modulo theories
• Solver
• Test automation
• Fuzzing
• Application programming interface
• Model-based testing
• API testing

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

Source URL: www.kestrel.edu

• Formal methods
• Computing
• Software engineering
• Theoretical computer science
• Specification language
• Refinement
• Abstract state machines
• Domain-specific language
• Specification
• Programming language
• Integrated circuit design
• Formal specification