2124 search results - page 7 / 425 » An Efficient Framework for Order Optimization |
95
Voted
MICRO
2000
IEEE
15 years 1 months ago
2000
IEEE
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...
100
click to vote
CADE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...
144
Voted
POPL
2002
ACM
15 years 9 months ago
2002
ACM
Data-layout optimizations rearrange fields within objects, objects within objects, and objects within the heap, with the goal of increasing spatial locality. While the importance ...
48
Voted
AICCSA
2007
IEEE
15 years 3 months ago
2007
IEEE
ASPDAC
2008
ACM
14 years 11 months ago
2008
ACM
A leaf-level clock mesh is known to be very tolerant to variations [1]. However, its use is limited to a few high-end designs because of the high power/resource requirements and la...