7557 search results - page 134 / 1512 » Modeling Timed Concurrent Systems |
106
Voted
ICONIP
2007
15 years 6 months ago
2007
Abstract. The present paper addresses a general diagram to investigate the real-time parallel computation mechanism in the brain, using an idea of “Gantt chart.” This diagram e...
125
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
130
click to vote
TII
2008
15 years 4 months ago
2008
Embedded control systems are often implemented in small microprocessors enabled with real-time technology. In this context, control laws are often designed according to discrete-ti...
170
Voted
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
148
click to vote
LICS
1990
IEEE
15 years 8 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...