7557 search results - page 51 / 1512 » Modeling Timed Concurrent Systems |
123
click to vote
IEEEINTERACT
2002
IEEE
15 years 6 months ago
2002
IEEE
Embedded systems require control of many concurrent real-time activities, leading to system designs which feature multiple hardware peripherals with each providing a specific, ded...
SIGSOFT
2000
ACM
15 years 5 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
CAD
2004
Springer
15 years 1 months ago
2004
Springer
A concurrent engineering-oriented design database representation model (CE-DDRM) is introduced in this research for supporting various life-cycle aspects in concurrent design. In ...
112
click to vote
ZUM
2000
Springer
15 years 5 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
MOMPES
2008
IEEE
15 years 7 months ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...