4305 search results - page 217 / 861 » The Test of Time |
170
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
175
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract--In this paper, we investigate possible timecorrelation of answered call arrivals in sets of real GSM telephone traffic data. Instead of attempting to model the empirical ...
179
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
—We study the problem of scheduling periodic real-time tasks which have individual minimum reward requirements. We consider situations where tasks generate jobs that can be provi...
195
click to vote
ECRTS
2009
IEEE
15 years 4 months ago
2009
IEEE
While hardware caches are generally effective at improving application performance, they greatly complicate performance prediction. Slight changes in memory layout or data access p...
173
Voted
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- This work focuses on decentralized decision making in a population of individuals each implementing the sequential probability ratio test. The individual decisions are c...