4491 search results - page 636 / 899 » Algorithm Engineering |
165
click to vote
PLDI
2006
ACM
16 years 17 days ago
2006
ACM
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...
202
click to vote
SCESM
2006
ACM
16 years 17 days ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
167
click to vote
VSTTE
2005
Springer
16 years 3 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
192
click to vote
EMSOFT
2004
Springer
16 years 11 hour ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
181
click to vote
WOSP
2010
ACM
15 years 12 months ago
2010
ACM
Virtualization has been shown to be an attractive path to increase overall system resource utilization. The use of live virtual machine (VM) migration has enabled more effective ...