4520 search results - page 862 / 904 » Algebraic Techniques for Timed Systems |
104
Voted
OSDI
2006
ACM
16 years 1 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
197
Voted
SIGMOD
2009
ACM
16 years 27 days ago
2009
ACM
The skyline of a d-dimensional dataset consists of all points not dominated by others. The incorporation of the skyline operator into practical database systems necessitates an ef...
80
Voted
ICDCS
2009
IEEE
15 years 9 months ago
2009
IEEE
A number of network path delay, loss, or bandwidth inference mechanisms have been proposed over the past decade. Concurrently, several network measurement services have been deplo...
120
click to vote
SC
2009
ACM
15 years 7 months ago
2009
ACM
Scientific workflow tools allow users to specify complex computational experiments and provide a good framework for robust science and engineering. Workflows consist of pipelines ...
119
Voted
IEEEPACT
2008
IEEE
15 years 7 months ago
2008
IEEE
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...