336 search results - page 22 / 68 » Program Speedups in Theory and Practice |
128
click to vote
AGP
2010
IEEE
15 years 5 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
INFOSCALE
2006
ACM
15 years 6 months ago
2006
ACM
Abstract— With the increasing popularity of parallel programming environments such as PC clusters, more and more sequential programmers, with little knowledge about parallel arch...
120
Voted
ENTCS
2010
15 years 16 days ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
106
click to vote
TSP
2008
15 years 10 days ago
2008
The focus of this paper is on VLIW instruction scheduling that minimizes the variation of power consumed by the processor during the execution of a target program. We use rough set...
109
Voted
POPL
2009
ACM
15 years 7 months ago
2009
ACM
With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Functional programming languages, such as Haskel...