41 search results - page 4 / 9 » Synchronizing sequences on a class of unbounded systems usin... |
APN
2004
Springer
13 years 11 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
DAC
2000
ACM
14 years 6 months ago
2000
ACM
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...
ICSE
1998
IEEE-ACM
13 years 10 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
COMPSAC
2003
IEEE
13 years 11 months ago
2003
IEEE
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...
SRDS
1994
IEEE
13 years 10 months ago
1994
IEEE
We propose an improved probabilistic method for reading remote clocks in systems subject to unbounded communication delays and use this method to design a family of fault-tolerant...