Sciweavers

189 search results - page 8 / 38
» Revisiting SIMD Programming
Sort
View
78
Voted
ICALP
2005
Springer
15 years 7 months ago
Boneh-Franklin Identity Based Encryption Revisited
David Galindo
DAGSTUHL
1996
15 years 3 months ago
A Comparative Revisitation of Some Program Transformation Techniques
We revisit the main techniques of program transformation which are used in partial evaluation, mixed computation, supercompilation, generalized partial computation, rule-based prog...
Alberto Pettorossi, Maurizio Proietti
DBPL
2007
Springer
103views Database» more  DBPL 2007»
15 years 6 months ago
Datalog Programs over Infinite Databases, Revisited
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
Sara Cohen, Joseph Gil, Evelina Zarivach
ISQED
2009
IEEE
124views Hardware» more  ISQED 2009»
15 years 9 months ago
Revisiting the linear programming framework for leakage power vs. performance optimization
— This paper revisits and extends a general linear programming(LP) formulation to exploit multiple knobs such as multi-Lgate footprint-compatible libraries and post-layout Lgateb...
Kwangok Jeong, Andrew B. Kahng, Hailong Yao
114
Voted
POS
2000
Springer
15 years 5 months ago
Hyper-Code Revisited: Unifying Program Source, Executable, and Data
Abstract. The technique of hyper-programming allows program representations held in a persistent store to contain embedded links to persistent code and data. In 1994, Connor et al ...
Evangelos Zirintsis, Graham N. C. Kirby, Ronald Mo...