10051 search results - page 1895 / 2011 » A Dynamic Separator Algorithm |
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...
119
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
In the past decades, parallel I/O systems have been used widely to support scientific and commercial applications. New data centers today employ huge quantities of I/O systems, wh...
136
click to vote
EDBT
2009
ACM
15 years 9 months ago
2009
ACM
Keyword searches are attractive because they facilitate users searching structured databases. On the other hand, tag clouds are popular for navigation and visualization purposes o...
124
click to vote
ICALP
2009
Springer
15 years 9 months ago
2009
Springer
Speed scaling is a power management technique that involves dynamically changing the speed of a processor. This gives rise to dualobjective scheduling problems, where the operating...
115
Voted
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—With the increasing scaling of manufacturing technology, process variation is a phenomenon that has become more prevalent. As a result, in the context of Chip Multiproce...