×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [concurrent c programs]
Documents
Bluespec Lectures 1 & 2. Contact Information Satnam Singh Email:
[email protected]
@microsoft.com Web: satnams
217 views
Technology
20100522 software verification_sharygina_lecture02
199 views
Documents
Eliminating the Hardware/Software Divide Satnam Singh, Microsoft Research Cambridge, UK
223 views
Documents
Verifying Component Substitutability
52 views
Documents
Dynamic Component Substitutability Analysis Edmund Clarke Natasha Sharygina* Nishant Sinha Carnegie Mellon University The University of Lugano
226 views
Documents
Bluespec
39 views
Documents
Dynamic Component Substitutability Analysis
47 views
Documents
Eliminating the Hardware/Software Divide
37 views