778 search results - page 141 / 156 » Efficient Code Generation for Automatic Parallelization and ... |
158
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Currently real time PCR is the most precise method by which to measure gene expression. The method generates a large amount of raw numerical data and processing may no...
181
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...
164
click to vote
IPPS
2005
IEEE
15 years 12 months ago
2005
IEEE
Power consumption is a troublesome design constraint for emergent systems such as IBM’s BlueGene /L. If current trends continue, future petaflop systems will require 100 megawat...
215
click to vote
ACL2
2006
ACM
16 years 10 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
173
Voted
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
This paper proposes an approach called SCoPE, which supports user-defined analysis-based pointcuts in aspect-oriented programming (AOP) languages. The advantage of our approach is...