7225 search results - page 1190 / 1445 » On the Computational Power of Biochemistry |
USS
2008
15 years 4 months ago
2008
Contrary to popular assumption, DRAMs used in most modern computers retain their contents for several seconds after power is lost, even at room temperature and even if removed fro...
106
click to vote
WSC
2008
15 years 4 months ago
2008
Data Farming combines the rapid prototyping capability inherent in certain simulation models with the exploratory power of high performance computing to rapidly generate insight i...
130
click to vote
AISC
2008
Springer
15 years 4 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
114
click to vote
APLAS
2008
ACM
15 years 4 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
132
click to vote
ARCS
2008
Springer
15 years 4 months ago
2008
Springer
: The architecture of the IBM Cell BE processor represents a new approach for designing CPUs. The fast execution of legacy software has to stand back in order to achieve very high ...