1275 search results - page 20 / 255 » time 1998 |
DT
1998
13 years 10 months ago
1998
CONCUR
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
ASPDAC
1998
ACM
14 years 2 months ago
1998
ACM
A hardware based approach to Fault Emulation independent of the logic emulation system in use has been developed and is presented in this paper. Fault injection into a targetted c...
WIA
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. LR parsers have long been known as being an efficient algorithm for recognizing deterministic context
ICPP
1998
IEEE
14 years 2 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...