6978 search results - page 1217 / 1396 » On Proofs in System P |
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
SIGIR
2008
ACM
13 years 9 months ago
2008
ACM
We investigate to what extent people making relevance judgements for a reusable IR test collection are exchangeable. We consider three classes of judge: "gold standard" ...
TOG
2002
13 years 9 months ago
2002
In this paper, we present a system for interactive computation of global illumination in dynamic scenes. Our system uses a novel scheme for caching the results of a high quality p...
VLDB
2002
ACM
2002
ACM
Improving Data Access of J2EE Applications by Exploiting Asynchronous Messaging and Caching Services
13 years 9 months ago
The J2EE platform provides a variety of options for making business data persistent using DBMS technology. However, the integration with existing backend database systems has prov...
ISCA
2010
IEEE
13 years 7 months ago
2010
IEEE
Due to their high volume, general-purpose processors, and now chip multiprocessors (CMPs), are much more cost effective than ASICs, but lag significantly in terms of performance a...