4520 search results - page 130 / 904 » Algebraic Techniques for Timed Systems |
185
click to vote
HIPC
2003
Springer
16 years 5 days ago
2003
Springer
Many complex real-time applications involve combined scheduling of hard and soft real-time tasks. In this paper, we propose a combined scheduling algorithm, called Emergency Algori...
164
Voted
HPCA
2000
IEEE
15 years 11 months ago
2000
IEEE
Prefetching offers the potential to improve the performance of linked data structure (LDS) traversals. However, previously proposed prefetching methods only work well when there i...
151
click to vote
ASYNC
2003
IEEE
16 years 7 days ago
2003
IEEE
The lack of proven mechanisms for transferring data between multiple synchronous islands has been a major impediment for applying globally asynchronous locally synchronous (GALS) ...
187
Voted
ENTCS
2008
15 years 7 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
144
click to vote
JC
2006
15 years 7 months ago
2006
We prove upper bounds on the order and degree of the polynomials involved in a resolvent representation of the prime differential ideal associated with a polynomial differential s...