487 search results - page 74 / 98 » A Compiled Implementation of Normalization by Evaluation |
102
click to vote
TCAD
2008
14 years 11 months ago
2008
Abstract--Multimedia and DSP applications have several computationally intensive kernels which are often offloaded and accelerated by application-specific hardware. This paper pres...
91
Voted
ASPLOS
2011
ACM
14 years 3 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...
122
Voted
BMCBI
2010
14 years 11 months ago
2010
Background: Overlapping genes (OGs) are defined as adjacent genes whose coding sequences overlap partially or entirely. In fact, they are ubiquitous in microbial genomes and more ...
157
click to vote
SIGMOD
2006
ACM
15 years 11 months ago
2006
ACM
Relational XQuery systems try to re-use mature relational data management infrastructures to create fast and scalable XML database technology. This paper describes the main featur...
95
Voted
PPOPP
2009
ACM
16 years 6 days ago
2009
ACM
This paper introduces a new way to provide strong atomicity in an implementation of transactional memory. Strong atomicity lets us offer clear semantics to programs, even if they ...