1161 search results - page 201 / 233 » Resource Modeling for Timed Creol Models |
133
Voted
RTSS
1999
IEEE
15 years 7 months ago
1999
IEEE
Despite the significant body of results in real-time scheduling, many real world problems are not easily supported. While algorithms such as Earliest Deadline First, Rate Monotoni...
136
Voted
ECAI
1998
Springer
15 years 7 months ago
1998
Springer
Progressive processing allows a system to satisfy a set of requests under time pressure by limiting the amount of processing allocated to each task based on a predefined hierarchic...
140
Voted
INFOCOM
1996
IEEE
15 years 7 months ago
1996
IEEE
: We consider the combined control problem of connection admission, flow rate, and bandwidth allocation (capacity, service-rate) under nonstationary conditions. A fluid flow model ...
136
Voted
ICPP
1994
IEEE
15 years 7 months ago
1994
IEEE
We assert that in order to perform well, a shared-memory multiprocessorinter-process communication (IPC)facility mustavoid a) accessing any shared data, and b) acquiring any locks...
161
Voted
LICS
1993
IEEE
15 years 7 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...