×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [concurrent c programs]
Bluespec Lectures 1 & 2. Contact Information Satnam Singh Email:
[email protected]
@microsoft.com Web: satnams
216 views
20100522 software verification_sharygina_lecture02
196 views
Eliminating the Hardware/Software Divide Satnam Singh, Microsoft Research Cambridge, UK
218 views
Verifying Component Substitutability
35 views
Dynamic Component Substitutability Analysis Edmund Clarke Natasha Sharygina* Nishant Sinha Carnegie Mellon University The University of Lugano
226 views
Bluespec
39 views
Dynamic Component Substitutability Analysis
35 views
Eliminating the Hardware/Software Divide
36 views