Sciweavers

7890 search results - page 27 / 1578
» The MathSAT 3 System
Sort
View
SPRINGSIM
2010
13 years 7 months ago
SFS3: a simulation framework for self-stabilizing systems
Sally K. Wahba, Jason O. Hallstrom, Pradip K. Srim...
ACSAC
2010
IEEE
13 years 6 months ago
Hardware assistance for trustworthy systems through 3-D integration
Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood,...