871 search results - page 20 / 175 » Modular Design of Reactive Systems |
EUROMICRO
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
KI
1999
Springer
14 years 15 hour ago
1999
Springer
In modern societies the demand for mobility is increasing daily. Hence, one challenge to researchers dealing with traffic and transportation is to find efficient ways to model and ...
FPGA
2010
ACM
14 years 2 months ago
2010
ACM
Triple Modular Redundancy (TMR) is a common reliability technique for mitigating single event upsets (SEUs) in FPGA designs operating in radiation environments. For FPGA systems t...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
Multimedia and communication algorithms from embedded system domain often make extensive use of floating-point arithmetic. Due to the complexity and expense of the floating-poin...
SCL
2008
13 years 7 months ago
2008
This work studies the problem of design of nonlinear observers in the presence of exogenous disturbances. In particular, the present work proposes a systematic design method for no...