2663 search results - page 74 / 533 » How to Choose a Timing Model |
109
click to vote
DAC
2007
ACM
16 years 25 days ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
FORMATS
2003
Springer
15 years 5 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
141
click to vote
ICSOC
2010
Springer
14 years 9 months ago
2010
Springer
Service-Oriented Architecture enables the composition of loosely coupled services provided with varying Quality of Service (QoS) levels. Given a composition, finding the set of ser...
CAV
2001
Springer
15 years 4 months ago
2001
Springer
In this paper we show how the classical job-shop scheduling problem can be modeled as a special class of acyclic timed automata. Finding an optimal schedule corresponds, then, to n...
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...