3565 search results - page 140 / 713 » Modeling a system controller for timing analysis |
157
click to vote
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
132
Voted
ICMCS
1996
IEEE
15 years 7 months ago
1996
IEEE
The most notable characteristic of continuous-media data is the existence of timing constraints. To handle such data appropriately, some system support for resource management and...
135
click to vote
NCA
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper proposes the modeling and the performance analysis of a high-level control protocol – COCOP, which enables cooperative groups of clients to control a shared server de...
131
click to vote
ETFA
2008
IEEE
15 years 10 months ago
2008
IEEE
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...
130
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Today’s wirelessly networked embedded systems underlie a vast array of electronic devices, performing computation, communication, and input/output. A major design goal...