2853 search results - page 16 / 571 » On Coherence in Computer Algebra |
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordinat...
ICDCS
1999
IEEE
14 years 1 months ago
1999
IEEE
This work studies the interaction of Web proxy cache coherency and replacement policies using trace-driven simulations. We specifically examine the relative importance of each typ...
IPPS
1992
IEEE
14 years 26 days ago
1992
IEEE
This paper presents a hybrid shared memory architecture which combines the scalability of a multistage interconnection network with the contention reduction benefits of coherent c...
MFCS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We initiate a purely algebraic study of Ehrhard and Regnier’s resource λ-calculus, by introducing three equational classes of algebras: resource combinatory algebras, ...
SPDP
1992
IEEE
14 years 26 days ago
1992
IEEE