×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [program semantics]
Unveiling Metamorphism by Abstract Interpretation of Code Properties
163 views
Chap4
14 views
Gurevich
3 views
Data-Parallel Finite-State Machines Todd Mytkowicz, Madanlal Musuvathi, and Wolfram Schulte Microsoft Research
219 views
Superscalar Processors J. Nelson Amaral. Scalar to Superscalar Scalar Processor: one instruction pass through each pipeline stage in each cycle Superscalar
239 views
Program Proving Notes Ellen L. Walker. Formal Specification & Proof of Programs (Verification) –Formally proving that a program satisfies a formal specification
220 views
1 CS 201 Compiler Construction Lecture 13 Instruction Scheduling: Trace Scheduler
217 views
TM Shared Memory Parallelism Programming in the SGI Environment
229 views
LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks Guoqing Xu, Michael D. Bond, Feng Qin, Atanas Rountev Ohio State University
221 views
Diego Colombo & Antonio Cisternino VisualStorms Tools Growth Another Brick in the Robot... Università degli Studi di Pisa
218 views
1 COMP 144 Programming Language Concepts Felix Hernandez-Campos Lecture 35: In-line Expansion and Local Optimization COMP 144 Programming Language Concepts
219 views
Copilot: A Hard Real-Time Runtime Monitor Lee Pike | Galois, Inc. |
[email protected]
joint work with Alwyn Goodloe | National Institute of Aerospace
220 views
< Prev
Next >