Sciweavers

828 search results - page 32 / 166
» Modularity for Timed and Hybrid Systems
Sort
View
FPGA
2010
ACM
191views FPGA» more  FPGA 2010»
15 years 8 months ago
Voter insertion algorithms for FPGA designs using triple modular redundancy
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...
Jonathan M. Johnson, Michael J. Wirthlin
MAM
2008
138views more  MAM 2008»
15 years 1 months ago
FPGA based tester tool for hybrid real-time systems
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
Jan Krakora, Zdenek Hanzálek
ICCAD
2003
IEEE
123views Hardware» more  ICCAD 2003»
15 years 10 months ago
A Hybrid Approach to Nonlinear Macromodel Generation for Time-Varying Analog Circuits
Modeling frequency-dependent nonlinear characteristics of complex analog blocks and subsystems is critical for enabling efficient verification of mixed-signal system designs. Rece...
Peng Li, Xin Li, Yang Xu, Lawrence T. Pileggi
68
Voted
CLEF
2003
Springer
15 years 7 months ago
Cross Lingual QA: A Modular Baseline in CLEF 2003
We evaluate the feasibility of applying currently available research tools to the problem of cross lingual QA. We establish a task baseline by combining a cross lingual IR system w...
Lucian Vlad Lita, Monica Rogati, Jaime G. Carbonel...
140
Voted
HOTOS
2003
IEEE
15 years 7 months ago
Hardware Works, Software Doesn't: Enforcing Modularity with Mondriaan Memory Protection
Two big problems with operating systems written in unsafe languages are that they crash too often and that adding features becomes much more difficult over time. One cause of bot...
Emmett Witchel, Krste Asanovic