7557 search results - page 68 / 1512 » Modeling Timed Concurrent Systems |
EURODAC
1994
IEEE
15 years 5 months ago
1994
IEEE
A set of concurrent processes communicating through shared variables is an often used model for hardware systems. This paper presents three modeling techniques for representing su...
126
click to vote
INFOCOM
2010
IEEE
14 years 12 months ago
2010
IEEE
—Despite much research on the throughput of relaying networks under idealized interference models, many practical wireless networks rely on physical-layer protocols that preclude...
115
click to vote
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
120
click to vote
PADS
1999
ACM
15 years 5 months ago
1999
ACM
In an attempt to cope with time-varying workload, traditional adaptive Time Warp protocols are designed to react in response to performance changes by altering control parameter c...
111
click to vote
ACSD
2009
IEEE
15 years 5 months ago
2009
IEEE
A number of algorithms are available for computing the simulation relation on Kripke structures and on labelled transition systems representing concurrent systems. Among them, the...