598 search results - page 77 / 120 » Procedure Based Program Compression |
107
click to vote
HPCA
2007
IEEE
16 years 2 months ago
2007
IEEE
Task-selection policies are critical to the performance of any architecture that uses speculation to extract parallel tasks from a sequential thread. This paper demonstrates that ...
117
click to vote
DEXAW
2004
IEEE
15 years 5 months ago
2004
IEEE
Many software acquisition projects are doomed to fail due to a lack of integration of acquisition and development processes on the one hand and, because of shortcomings of classic...
118
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
110
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
The lift-and-project closure is the relaxation obtained by computing all lift-and-project cuts from the initial formulation of a mixed integer linear program or equivalently by co...
137
click to vote
PEPM
2010
ACM
15 years 11 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...