289 search results - page 1 / 58 » Production Scheduling by Reachability Analysis - A Case Stud... |
IPPS
2005
IEEE
13 years 10 months ago
2005
IEEE
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...
SSS
2010
Springer
13 years 2 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
EUROMICRO
1996
IEEE
13 years 8 months ago
1996
IEEE
CORR
2011
Springer
12 years 11 months ago
2011
Springer
We study algorithmic problems in multi-stage open shop processing systems that are centered around reachability and deadlock detection questions. We characterize safe and unsafe s...
FTDCS
1997
IEEE
13 years 8 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...