Sciweavers

1145 search results - page 138 / 229
» The Correctness of an Optimized Code Generation
Sort
View
POPL
2010
ACM
15 years 9 months ago
A simple, verified validator for software pipelining
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
Jean-Baptiste Tristan, Xavier Leroy
WCET
2010
14 years 9 months ago
Hybrid measurement-based WCET analysis at the source level using object-level traces
Hybrid measurement-based approaches to worst-case execution time (WCET) analysis combine measured execution times of small program segments using static analysis of the larger sof...
Adam Betts, Nicholas Merriam, Guillem Bernat
VLDB
2006
ACM
162views Database» more  VLDB 2006»
16 years 3 days ago
Dependency trees in sub-linear time and bounded memory
We focus on the problem of efficient learning of dependency trees. Once grown, they can be used as a special case of a Bayesian network, for PDF approximation, and for many other u...
Dan Pelleg, Andrew W. Moore
ICC
2007
IEEE
15 years 6 months ago
Presteering Broadband Antenna Arrays Without Using Steering Delays
Abstract— Presteering of broadband antenna arrays is required to compensate the effect of misalignment between the look direction and the array geometry and is achieved by insert...
Lal C. Godara, Mohammad Reza Sayyah Jahromi
NAACL
2007
15 years 1 months ago
Randomized Decoding for Selection-and-Ordering Problems
The task of selecting and ordering information appears in multiple contexts in text generation and summarization. For instance, methods for title generation construct a headline b...
Pawan Deshpande, Regina Barzilay, David R. Karger