1421 search results - page 166 / 285 » Satisfying KBO Constraints |
192
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper addresses the allocation of link capacities in the automated design process of a network-on-chip based system. Communication resource costs are minimized under Quality-...
194
click to vote
DELTA
2006
IEEE
16 years 1 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...
216
click to vote
ECBS
2006
IEEE
16 years 1 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 ...
192
click to vote
ETFA
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, the effect of network-induced delay introduced into the control loop is modelled as time-varying disturbance. Based on this model, a fault isolation filter (FIF) f...
188
click to vote
ICAT
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we propose a visual assistance system that shows the scene behind a vehicle to its driver in the form of a virtual mirror by utilizing a surveillance camera. The vir...