3750 search results - page 150 / 750 » Timed Automata Patterns |
143
Voted
ICPP
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper presents a new schedulability analysis methodology for distributed hard real-time systems with bursty job arrivals. The schedulability is analyzed by comparing worst-ca...
128
Voted
FDL
2006
IEEE
15 years 8 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
118
Voted
PEPM
1994
ACM
15 years 6 months ago
1994
ACM
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard M...
129
Voted
DMIN
2006
15 years 4 months ago
2006
: Temporal data mining is concerned with the analysis of temporal data and finding temporal patterns, regularities, trends, clusters in sets of temporal data. Wavelet transform pro...
124
Voted
EOR
2008
15 years 2 months ago
2008
We study a scheduling problem, motivated by air-traffic control, in which a set of aircrafts are about to land on a single runway. When coming close to the landing area of the air...