×
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
160 views
Chap4
14 views
Gurevich
2 views
Data-Parallel Finite-State Machines Todd Mytkowicz, Madanlal Musuvathi, and Wolfram Schulte Microsoft Research
218 views
Superscalar Processors J. Nelson Amaral. Scalar to Superscalar Scalar Processor: one instruction pass through each pipeline stage in each cycle Superscalar
238 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
215 views
TM Shared Memory Parallelism Programming in the SGI Environment
227 views
LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks Guoqing Xu, Michael D. Bond, Feng Qin, Atanas Rountev Ohio State University
222 views
Do we need theoretical computer science in software engineering curriculum: an experience from Uni Novi Sad Bansko, August 28, 2013
214 views
Programming Language Concepts (CS 360) Lecture 1: Overview, Grammars, and Little Languages
37 views
Spring 2003CSE P5481 Issues in Multiprocessors Which programming model for interprocessor communication shared memory regular loads & stores message passing
214 views
< Prev
Next >