Sciweavers

3 search results - page 1 / 1
» Oz Scheduler: A Workbench for Scheduling Problems
Sort
View
SAC
1998
ACM
13 years 9 months ago
Off-line scheduling of a real-time system
This paper shows how a recently introduced class of applications can be solved by constraint programming. This new type of application is due to the emergence of special real-time...
Klaus Schild, Jörg Würtz
FTCS
1997
99views more  FTCS 1997»
13 years 6 months ago
Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools
Fast turnaroundtime independabilityevaluation iscrucialfor e cient fault-tolerant system design and dependability of the resulting product since timely feedbacks will allow more i...
Ann T. Tai, Herbert Hecht, Kishor S. Trivedi, Bing...