17 search results - page 4 / 4 » flops 2004 |
SC
2004
ACM
13 years 11 months ago
2004
ACM
—It seems well understood that supercomputer simulation is an enabler for scientific discoveries, weapons, and other activities of value to society. It also seems widely believed...
FLOPS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...