6308 search results - page 276 / 1262 » Modeling Urgency in Timed Systems |
182
click to vote
RTAS
2008
IEEE
16 years 29 days ago
2008
IEEE
Real-time schedulability theory requires a priori knowledge of the worst-case execution time (WCET) of every task in the system. Fundamental to the calculation of WCET is a schedu...
211
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
244
click to vote
VISUALIZATION
1996
IEEE
15 years 10 months ago
1996
IEEE
We present a method for producing real-time volume visualizations of continuously captured, arbitrarily-oriented 2D arrays (slices) of data. Our system constructs a 3D representat...
154
click to vote
ISMIR
2005
Springer
16 years 3 days ago
2005
Springer
This paper describes a music analyzing system called the automatic time-span tree analyzer (ATTA), which we have developed. The ATTA derives a time-span tree that assigns a hierar...
180
click to vote
RTSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Controlling the timing performance of a network server is a challenging problem. This paper presents a Queueing Model Based Feedback Control approach to keep the timing performanc...