10848 search results - page 234 / 2170 » Programming in Biomolecular Computation |
155
click to vote
ASPLOS
2009
ACM
16 years 17 days ago
2009
ACM
This paper explores the architectural implications of integrating computation and molecular probes to form nanoscale sensor processors (nSP). We show how nSPs may enable new compu...
165
click to vote
WDAG
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
144
click to vote
FCCM
2006
IEEE
15 years 12 months ago
2006
IEEE
Recently, platform FPGAs that integrate sequential processors with a spatial fabric have become prevalent. While these hybrid architectures ease the burden of integrating sequenti...
142
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
156
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The increased popularity of grid systems and cycle sharing across organizations requires scalable systems that provide facilities to locate resources, to be fair in the u...