Sciweavers

1753 search results - page 196 / 351
» State Machines
Sort
View
DCC
2004
IEEE
16 years 4 months ago
Periodicity and Correlation Properties of d-FCSR Sequences
A d-feedback-with-carry shift register (d-FCSR) is a finite state machine, similar to a linear feedback shift register, in which a small amount of memory and a delay (by d-clock c...
Mark Goresky, Andrew Klapper
129
Voted
ICCAD
2008
IEEE
127views Hardware» more  ICCAD 2008»
16 years 1 months ago
System-level power estimation using an on-chip bus performance monitoring unit
In this paper we propose an on-chip bus PMU which makes accurate estimates of system power consumption from a first-order linear power model by utilizing system-level activity in...
Youngjin Cho, Younghyun Kim, Sangyoung Park, Naehy...
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
15 years 11 months ago
Towards a formal semantics for the AADL behavior annex
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi
IROS
2009
IEEE
195views Robotics» more  IROS 2009»
15 years 11 months ago
Optical flow-based controller for reactive and relative navigation dedicated to a four rotor rotorcraft
— Autonomous navigation of an unmanned aerial vehicle (UAV) can be achieved with a reactive system which allows the robot to overcome all the unexpected changes in its environmen...
Eduardo Rondon, Isabelle Fantoni-Coichot, Anand Sa...
CAISE
2009
Springer
15 years 11 months ago
Verifying Action Semantics Specifications in UML Behavioral Models
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
Elena Planas, Jordi Cabot, Cristina Gómez