×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [concurrent software]
Documents
Inferring Locks for Atomic Sections Cornell University (summer intern at Microsoft Research) Microsoft Research Sigmund CheremTrishul ChilimbiSumit Gulwani
215 views
Documents
272: Software Engineering Fall 2012 Instructor: Tevfik Bultan Lecture 5: Testing Overview, Foundations
220 views
Documents
Options for Stage 2 22 nd March 2010. Overview At least 5 compulsory modules –Up to 3 options this year Options not taken in stage 2 usually available
214 views
Documents
Particle Swarm Optimization for Run-Time Task Decomposition and Scheduling in Evolvable MPSoC Shervin Vakili, Sied Mehdi Fakhraie, Siamak Mohammadi, and
228 views
Documents
Efficient Reachability Analysis for Verification of Asynchronous Systems Nishant Sinha
223 views
Documents
Grand Challenge Problem: Model Check Concurrent Software Edmund M. Clarke Department of Computer Science Carnegie Mellon University
214 views
Documents
BASIC PRINCIPLES OF SYNCHRONISATION. MAIN CONCEPTS SYNCHRONISATION CRITICAL SECTION DEAD LOCK
254 views
Documents
1 Quasi-Static Scheduling of Embedded Software Using Free-Choice Petri Nets Marco Sgroi, Alberto Sangiovanni-Vincentelli Luciano Lavagno University of
217 views
Documents
1 In-Situ Model Checking of MPI Parallel Programs Ganesh Gopalakrishnan Joint work with Salman Pervez, Michael DeLisi Sarvani Vakkalanka, Subodh Sharma,
215 views
Documents
Part II: Atomicity for Software Model Checking. Class Account { int balance; static int MIN = 0, MAX = 100; bool synchronized deposit(int n) { int t =
214 views
Documents
Evolving Real-Time Systems using Hierarchical Scheduling and Concurrency Analysis John Regehr Alastair Reid Kirk Webb Michael Parker Jay Lepreau School
217 views
Documents
Chair of Software EngineeringOOSC – Summer Semester 2005 Object-Oriented Software Construction Bertrand Meyer Lecture 19: SCOOP Simple Concurrent Object-Oriented
215 views
Next >