13841 search results - page 2519 / 2769 » Algorithms and Constraint Programming |
132
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Power delivery, electricity consumption, and heat management are becoming key challenges in data center environments. Several past solutions have individually evaluated different ...
137
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
122
Voted
CAV
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
172
click to vote
CC
2008
Springer
15 years 5 months ago
2008
Springer
The polyhedral model provides powerful abstractions to optimize loop nests with regular accesses. Affine transformations in this model capture a complex sequence of execution-reord...
129
click to vote
CGO
2008
IEEE
15 years 5 months ago
2008
IEEE
Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex c...