7557 search results - page 76 / 1512 » Modeling Timed Concurrent Systems |
106
click to vote
ACSD
2003
IEEE
15 years 6 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
181
click to vote
ESEC
1999
Springer
15 years 5 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
104
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
We consider multiprocessor distributed real-time systems where concurrency control is managed using software transactional memory (or STM). For such a system, we propose an algori...
CDC
2009
IEEE
14 years 11 months ago
2009
IEEE
We present a discrete-time adaptive control law that is effective for systems that are MIMO and either minimum phase or nonminimum phase. The adaptive control algorithm provides gu...
CODAS
2001
15 years 2 months ago
2001
An error-comprising workflow dejinition might provoke serious problems to an enterprise especially when it is involved with mission critical business processes. Concurrency of wor...