503 search results - page 6 / 101 » Equality In Lazy Computation Systems |
PODC
1997
ACM
14 years 2 months ago
1997
ACM
Thispaperdescribesanewschemeforguaranteeingthattransactions in a client/server system observe consistent state while they are running. The scheme is presented in conjunction with ...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
This paper presents the design and development of an adaptive planning system using the technology of Web services. The Web-based adaptive planning system consists of two modules t...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
EGH
2010
Springer
13 years 7 months ago
2010
Springer
We modify the Reyes object-space shading approach to address two inefficiencies that result from performing shading calculations at micropolygon grid vertices prior to rasterizati...
JOT
2007
13 years 9 months ago
2007
The parametric singleton design pattern combines the singleton design pattern with a parameter that enables unique creation of instances of a class. These instances are cached in ...