343 search results - page 69 / 69 » Predictability in Real-time System Development (1) Semantics... |
ICALP
1997
Springer
13 years 10 months ago
1997
Springer
In the 1980's, Bennett introduced computational depth as a formal measure of the amount of computational history that is evident in an object's structure. In particular,...
FLOPS
2006
Springer
13 years 10 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...
PVLDB
2010
13 years 4 months ago
2010
Large-scale data analysis has become increasingly important for many enterprises. Recently, a new distributed computing paradigm, called MapReduce, and its open source implementat...