3206 search results - page 392 / 642 » Optimizing Graph Algorithms for Improved Cache Performance |
107
click to vote
POPL
1997
ACM
15 years 6 months ago
1997
ACM
As parallel machines become part of the mainstream computing environment, compilers will need to apply synchronization optimizations to deliver e cient parallel software. This pap...
132
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
131
Voted
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...
118
click to vote
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Concurrent engineering has been widely used in managing design projects to speed up the design process by concurrently performing multiple tasks. Since the progress of a design tas...
107
click to vote
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Maintaining an asset with life-limited parts, e.g., a jet engine or an electric generator, may be costly. Certain costs, e.g., setup cost, can be shared if some parts of the asset ...