iG5 Manual
Shell and Tube
Boiler
1 Lecture 5 Towards a Verifying Compiler: Multithreading Wolfram Schulte Microsoft Research Formal Methods 2006 Race Conditions, Locks, Deadlocks, Invariants,
UPSEE - Physics -2007 Unsolved Paper
Summer training report on bhushan steels
RetCon: Transactional Repair without Replay Colin Blundell, Arun Raghavan, and Milo M. K. Martin University of Pennsylvania.
1 Scalable Transactional Memory Scheduling Gokarna Sharma (A joint work with Costas Busch) Louisiana State University.
ELEN 468 Advanced Logic Design
Code Transformation for TLB Power Reduction
