Sciweavers

1816 search results - page 244 / 364
» Case study in modeling and simulation validation methodology
Sort
View
DSRT
2008
IEEE
15 years 11 months ago
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
ICIP
2002
IEEE
16 years 6 months ago
Error resilience property of multihypothesis motion-compensated prediction
Abstract - Multihypothesis motion-compensated prediction (MHMCP) approach has shown significant gain in terms of coding efficiency both in theory and practice. However, the fact th...
Shunan Lin, Yao Wang
IROS
2006
IEEE
146views Robotics» more  IROS 2006»
15 years 10 months ago
Balance Control of a Humanoid Robot Based on the Reaction Null Space Method
— A humanoid robot should be able to keep its balance even in the presence of disturbing forces. Studies of human body reaction patterns to sudden external forces are useful to d...
Akinori Nishio, Kentaro Takahashi, Dragomir N. Nen...
TSI
2008
89views more  TSI 2008»
15 years 4 months ago
RedGRID, un environnement pour la redistribution d'objets complexes
In the context of code coupling, efficient data redistribution is a crucial issue to reach high-performances. However, most of the works in this area have limited their studies to ...
Aurélien Esnard
ATVA
2007
Springer
153views Hardware» more  ATVA 2007»
15 years 11 months ago
Continuous Petri Nets: Expressive Power and Decidability Issues
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
Laura Recalde, Serge Haddad, Manuel Silva