1411 search results - page 260 / 283 » A Value Analysis for C Programs |
138
click to vote
CP
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
154
Voted
SIAMREV
2010
14 years 8 months ago
2010
The affine rank minimization problem consists of finding a matrix of minimum rank that satisfies a given system of linear equality constraints. Such problems have appeared in the ...
207
Voted
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
Miss rate curves (MRCs) are useful in a number of contexts. In our research, online L2 cache MRCs enable us to dynamically identify optimal cache sizes when cache-partitioning a s...
113
click to vote
EUROSYS
2007
ACM
15 years 11 months ago
2007
ACM
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
108
click to vote
SOSP
2003
ACM
15 years 10 months ago
2003
ACM
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...