1655 search results - page 91 / 331 » State, Event, Time and Diagram in System Modeling |
216
click to vote
ECRTS
2010
IEEE
15 years 7 months ago
2010
IEEE
Energy conservation is an important issue in the design of embedded systems. Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two widely used techniques for sav...
152
click to vote
WSC
2001
15 years 7 months ago
2001
The Washington State Ferries are one of the largest ferry systems in the world. Accidents involving Washington State Ferries are rare events. However, low probability, high conseq...
168
click to vote
CCGRID
2007
IEEE
16 years 15 days ago
2007
IEEE
The number of processors embedded on high performance computing platforms is continuously increasing to accommodate user desire to solve larger and more complex problems. However,...
159
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
143
click to vote
DEBS
2009
ACM
16 years 20 days ago
2009
ACM
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...