415 search results - page 8 / 83 » time 1994 |
AUTOMATICA
2008
13 years 9 months ago
2008
This paper addresses a supervisory control problem for uncertain timed discrete event systems (DESs) under partial observation. An uncertain timed DES to be controlled is represen...
ICMCS
1994
IEEE
14 years 1 months ago
1994
IEEE
Abstract
ASPLOS
1994
ACM
14 years 1 months ago
1994
ACM
Despite improvements in network interfaces and software messaging layers, software communication overhead still dominates the hardware routing cost in most systems. In this study,...
ECOOP
1994
Springer
14 years 1 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...
ICCAD
1994
IEEE
14 years 1 months ago
1994
IEEE
For a logic design with level-sensitive latches, we need to validate timing signal paths which may flush through several latches. We developed efficient algorithms based on the mo...