7311 search results - page 192 / 1463 » Time in State Machines |
176
click to vote
IPCO
1998
15 years 6 months ago
1998
Abstract. A well studied and difficult class of scheduling problems concerns parallel machines and precedence constraints. In order to model more realistic situations, we consider ...
146
click to vote
HPDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Advances in virtualization technology have focused mainly on strengthening the isolation barrier between virtual machines (VMs) that are co-resident within a single physical machi...
122
click to vote
RTAS
1996
IEEE
15 years 8 months ago
1996
IEEE
Real-time programmers have to deal with the problem of relating timing constraints associated with source code to sequences of machine instructions. This paper describes an enviro...
146
click to vote
SCHEDULING
2008
15 years 4 months ago
2008
This paper considers the scheduling problems arising in two- and three-machine manufacturing cells configured in a flowshop which repeatedly produces one type of product and where ...
148
click to vote
CAV
1992
Springer
15 years 8 months ago
1992
Springer
State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storin...