Sciweavers

Share
CSCW
2011
ACM
8 years 8 months ago
Technology for emerging markets at MSR india
The Technology for Emerging Markets (TEM) group at Microsoft Research India seeks to address the needs and aspirations of people in the world's developing communities. Our re...
Edward Cutrell
ATVA
2008
Springer
144views Hardware» more  ATVA 2008»
9 years 3 months ago
Tests, Proofs and Refinements
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
Sriram K. Rajamani
books