289 search results - page 15 / 58 » Production Scheduling by Reachability Analysis - A Case Stud... |
HASE
2007
IEEE
14 years 2 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
CCE
2004
13 years 7 months ago
2004
The idea of cyclic scheduling is commonly utilized to address short-term scheduling problems for multiproduct batch plants under the assumption of relatively stable operations and...
DRM
2003
Springer
14 years 1 months ago
2003
Springer
Unauthorized copying of movies is a major concern for the motion picture industry. While unauthorized copies of movies have been distributed via portable physical media for some t...
TACAS
1998
Springer
14 years 5 days ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
ETFA
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents the incorporation of an auto-tuning real-time garbage collector into a feedback-based on-line scheduling system. The studied feedback scheduler is designed to ...