943 search results - page 99 / 189 » Simulation based deadlock analysis for system level designs |
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper proposes an original model of the execution time of assembly instructions in superscalar architectures. The approach is based on a rigorous mathematical model and provi...
122
click to vote
ENTCS
2007
15 years 3 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
141
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper deals with hierarchical model predictive control (MPC) of distributed systems. A threelevel hierarchical approach is proposed, consisting of a high level MPC controller,...
123
click to vote
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
A key enabler of the recently adopted, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reusable building ...
134
click to vote
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
Recent developments in the field of object-based fault tolerance and the advent of the first OMG FTCORBA compliant middleware raise new requirements for the design process of dist...