6829 search results - page 1191 / 1366 » Quantitative Generalizations of Languages |
153
click to vote
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
139
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
118
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Data center power infrastructure incurs massive capital costs, which typically exceed energy costs over the life of the facility. To squeeze maximum value from the infrastructure,...
132
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Contention for shared resources on multicore processors remains an unsolved problem in existing systems despite significant research efforts dedicated to this problem in the past...
131
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
A large number of user requests execute (often concurrently) within a server system. A single request may exhibit fluctuating hardware characteristics (such as instruction comple...