1719 search results - page 283 / 344 » Scheduling with soft constraints |
155
click to vote
ISOLA
2007
Springer
15 years 11 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
162
Voted
DELTA
2006
IEEE
15 years 11 months ago
2006
IEEE
We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replicati...
174
click to vote
ECBS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
182
click to vote
ICICIC
2006
IEEE
15 years 11 months ago
2006
IEEE
Multiple travelling salesman problem (MTSP) is a typical computationally complex combinatorial optimization problem,which is an extension of the famous travelling salesman problem...
156
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
In heterogeneous distributed systems, such as Grids, a resource broker is responsible of automatically selecting resources, and mapping application tasks to them. A crucial aspect...