11121 search results - page 2133 / 2225 » Computing with Continuous Change |
123
click to vote
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
Among the many techniques for system-level power management, it is not currently possible to guarantee timing constraints and have a comprehensive system model at the same time. S...
209
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
107
click to vote
OSDI
2006
ACM
16 years 1 months ago
2006
ACM
Mismanagement of the persistent state of a system--all the executable files, configuration settings and other data that govern how a system functions--causes reliability problems,...
OSDI
2006
ACM
16 years 1 months ago
2006
ACM
Existing virtual memory systems usually work well with applications written in C and C++, but they do not provide adequate support for garbage-collected applications. The performa...
123
click to vote
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
Traditionally, combinatorial optimization problems (such as maximum flow, maximum matching, etc.) have been studied for networks where each link has a fixed capacity. Recent resear...