6308 search results - page 203 / 1262 » Modeling Urgency in Timed Systems |
140
click to vote
WSC
2000
15 years 5 months ago
2000
The use of System Dynamics Modeling in Supply Chain Management has only recently re-emerged after a lengthy slack period. Current research on System Dynamics Modelling in supply c...
138
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...
152
click to vote
IANDC
2006
15 years 4 months ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
121
click to vote
EUROMICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
118
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...