751 search results - page 12 / 151 » Design, Implementation, and Evaluation of Optimizations in a... |
DSVIS
2008
Springer
15 years 1 months ago
2008
Springer
Graphical rendering must be fast enough so as to avoid hindering the user perception/action loop. Traditionally, programmers interleave descriptions and optimizations to achieve su...
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
Local network coding is growing in prominence as a technique to facilitate greater capacity utilization in multi-hop wireless networks. A specific objective of such local network ...
104
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: The general problem of RNA secondary structure prediction under the widely used thermodynamic model is known to be NP-complete when the structures considered include a...
ECEASST
2006
14 years 11 months ago
2006
Motivated by the promotion of rewriting techniques and their use in major industrial applications, we have designed Tom: a pattern matching layer on top of conventional programming...
152
click to vote
PLDI
1995
ACM
15 years 3 months ago
1995
ACM
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...