Sciweavers

5595 search results - page 402 / 1119
» Comparing Subsumption Optimizations
Sort
View
POPL
2009
ACM
16 years 7 months ago
Positive supercompilation for a higher order call-by-value language
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, an...
Peter A. Jonsson, Johan Nordlander
STOC
2002
ACM
118views Algorithms» more  STOC 2002»
16 years 7 months ago
On the advantage over a random assignment
: We initiate the study of a new measure of approximation. This measure compares the performance of an approximation algorithm to the random assignment algorithm. This is a useful ...
Johan Håstad, Srinivasan Venkatesh
VLDB
2007
ACM
128views Database» more  VLDB 2007»
16 years 7 months ago
Periscope/SQ: Interactive Exploration of Biological Sequence Databases
Life science laboratories today have to rely on procedural techniques to store and manage large sequence datasets. Procedural techniques are cumbersome to use and are often very i...
Sandeep Tata, Willis Lang, Jignesh M. Patel
HIPEAC
2010
Springer
16 years 3 months ago
Performance and Power Aware CMP Thread Allocation Modeling
We address the problem of performance and power-efficient thread allocation in a CMP. To that end, based on analytical model, we introduce a parameterized performance/power metric ...
Yaniv Ben-Itzhak, Israel Cidon, Avinoam Kolodny
ICCD
2003
IEEE
115views Hardware» more  ICCD 2003»
16 years 3 months ago
Reducing Compilation Time Overhead in Compiled Simulators
Compiled simulation is a well known technique for improving the performance of instruction set simulators at the cost of compilation time. However the compilation time overhead ma...
Mehrdad Reshadi, Nikil D. Dutt