Sciweavers

3736 search results - page 267 / 748
» Hand-Writing Program Generator Generators
Sort
View
TPDS
1998
114views more  TPDS 1998»
15 years 6 months ago
On the Automatic Parallelization of the Perfect Benchmarks
We present a set of advanced program parallelization techniques that are able to signi cantly improve the performance of application programs. We present evidence for this improve...
Rudolf Eigenmann, Jay Hoeflinger, David A. Padua
DSL
2009
15 years 4 months ago
CLOPS: A DSL for Command Line Options
Programmers often write custom parsers for the command line input of their programs. They do so, in part, because they believe that both their program's parameterization and t...
Mikolás Janota, Fintan Fairmichael, Viliam ...
ICDE
2007
IEEE
121views Database» more  ICDE 2007»
16 years 8 months ago
Bringing Precision to Desktop Search: A Predicate-based Desktop Search Architecture
Google and other products have revolutionized the way we search for information on the Internet, Intranet, and on our desktop. However, the current generation of search products d...
Jens-Peter Dittrich, Cristian Duda, Bjorn Jarisch,...
TACAS
2010
Springer
146views Algorithms» more  TACAS 2010»
16 years 1 months ago
Ranking Function Synthesis for Bit-Vector Relations
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...
Byron Cook, Daniel Kroening, Philipp Rümmer, ...
3DIC
2009
IEEE
146views Hardware» more  3DIC 2009»
16 years 1 months ago
A routerless system level interconnection network for 3D integrated systems
- This paper describes a new architectural paradigm for fully connected, single-hop system level interconnection networks. The architecture is scalable enough to meet the needs of ...
Kelli Ireland, Donald M. Chiarulli, Steven P. Levi...