7943 search results - page 1290 / 1589 » A calculus for costed computations |
210
click to vote
CSREAESA
2004
15 years 8 months ago
2004
To perform digital logic in CMOS in a truly adiabatic (asymptotically thermodynamically reversible) fashion requires that logic transitions be driven by a quasitrapezoidal (flat-t...
178
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
173
click to vote
ECIR
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we combine two existing resource selection approaches, CORI and the decision-theoretic framework (DTF). The state-of-the-art system CORI belongs to the large group of...
166
click to vote
IADIS
2004
15 years 8 months ago
2004
Wireless technologies are poised to bring major changes in the information infrastructure, transforming communications and facilitating information retrieval. Over the next severa...
180
click to vote
IADIS
2004
15 years 8 months ago
2004
JSTOR is a not-for-profit online library containing a full back-run of digitized versions of a large number of academic journals. In order to help defray costs for maintaining the...