7557 search results - page 53 / 1512 » Modeling Timed Concurrent Systems |
123
click to vote
JCSC
1998
15 years 1 months ago
1998
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
PDPTA
2003
15 years 2 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
118
click to vote
ICCAD
1994
IEEE
15 years 5 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
138
click to vote
TASE
2010
IEEE
14 years 8 months ago
2010
IEEE
Concurrent engineering (CE) is a methodology applied to product lifecycle development so that high quality, well designed products can be provided at lower prices and in less time....
120
click to vote
KES
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents an open, concurrent model of adaptive hypermedia all its functionality and data are completely distributed on a web of autonomous actors. The model that enable...