289 search results - page 24 / 58 » Production Scheduling by Reachability Analysis - A Case Stud... |
APPROX
2008
Springer
13 years 10 months ago
2008
Springer
In the field of robust optimization, the goal is to provide solutions to combinatorial problems that hedge against variations of the numerical parameters. This constitutes an effor...
ESTIMEDIA
2008
Springer
13 years 9 months ago
2008
Springer
The relentless increase in multimedia embedded system application requirements as well as improvements in IC design technology have motivated the deployment of chip multiprocessor ...
SEKE
2004
Springer
14 years 1 months ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
FORMATS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper describes a method for the "Analysis and Prediction of Performance for Evolving Architectures" (APPEAR). The method aims at performance estimation of adapted ...