184 search results - page 28 / 37 » Integer Polyhedra for Program Analysis |
143
Voted
CODES
2009
IEEE
16 years 1 months ago
2009
IEEE
– There has been a recent shift in design paradigms, with many turning towards yield-driven approaches to synthesize and design systems. A major cause of this shift is the contin...
173
click to vote
EDOC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
181
Voted
ASPDAC
2009
ACM
16 years 26 days ago
2009
ACM
— Recent advances in statistical timing analysis (SSTA) achieve great success in computing arrival times under variations by extending sum and maximum operations to random variab...
164
click to vote
IEEEPACT
2006
IEEE
16 years 11 days ago
2006
IEEE
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...
186
click to vote
CASES
2006
ACM
16 years 10 days ago
2006
ACM
In this paper, we propose a fully automatic dynamic scratchpad memory (SPM) management technique for instructions. Our technique loads required code segments into the SPM on deman...