4520 search results - page 584 / 904 » Algebraic Techniques for Timed Systems |
177
click to vote
EMSOFT
2007
Springer
16 years 29 days ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
208
click to vote
SAMT
2007
Springer
16 years 27 days ago
2007
Springer
Performing simple keyword-based search has long been the only way to access information. But for a truly comprehensive search on multimedia data, this approach is no longer su cien...
197
Voted
LPAR
2005
Springer
16 years 8 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
145
click to vote
DSN
2003
IEEE
16 years 2 days ago
2003
IEEE
—We formulate a notion of local stabilization, by which a system self-stabilizes in time proportional to the size of any perturbation that changes the network topology or the sta...
185
click to vote
EUROMICRO
2003
IEEE
16 years 2 days ago
2003
IEEE
True VoD systems provide interactive on-demand video service by allocating each client a dedicated stream. Such a scheme is inefficient when the system has a large number of users...