10848 search results - page 160 / 2170 » Programming in Biomolecular Computation |
148
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
Transiently powered computing devices such as RFID tags, kinetic energy harvesters, and smart cards typically rely on programs that complete a task under tight time constraints be...
154
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
158
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
The problem of writing high performance parallel applications becomes even more challenging when irregular, sparse or adaptive methods are employed. In this paper we introduce com...
178
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
This paper presents dynamic feedback, a technique that enables computations to adapt dynamically to different execution environments. A compiler that uses dynamic feedback produce...
138
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
We propose a programming paradigm called compress-and-conquer (CC) that leads to optimal performance on multicore platforms. Given a multicore system of p cores and a problem of s...