6308 search results - page 213 / 1262 » Modeling Urgency in Timed Systems |
135
Voted
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
To improve the whole dependability of large-scale cluster systems, an online fault detection mechanism is proposed in this paper. This mechanism can detect the fault in time befor...
137
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
137
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
122
Voted
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— In this paper, the performance of a downlink synchronous MC-CDMA system with joint frequency-time domain spreading over time-variant frequency-selective Rayleigh fading...
158
click to vote
ICAPR
2001
Springer
2001
Springer
A Time-Length Constrained Level Building Algorithm for Large Vocabulary Handwritten Word Recognition
15 years 9 months ago
In this paper we introduce a constrained Level Building Algorithm (LBA) in order to reduce the search space of a Large Vocabulary Handwritten Word Recognition (LVHWR) system. A ti...