Sciweavers

4770 search results - page 474 / 954
» Using System-on-a-Programmable-Chip Technology to Design Emb...
Sort
View
FASE
2004
Springer
15 years 11 months ago
An Operational Semantics for Stateflow
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
Grégoire Hamon, John M. Rushby
ICRA
2005
IEEE
90views Robotics» more  ICRA 2005»
16 years 1 months ago
Genetic Optimization and Simulation of a Piezoelectric Pipe-Crawling Inspection Robot
- Using the Darwin2k development software, a genetic algorithm (GA) was used to design and optimize a pipecrawling robot for parameters such as mass, power consumption, and joint e...
Geoffrey Hollinger, Jeri Briscoe
GIS
2010
ACM
15 years 5 months ago
Using location based social networks for quality-aware participatory data transfer
The sensing systems that monitor physical environments rely on communication infrastructures (wired or wireless) to collect data from the sensors embedded in the environment. Howe...
Houtan Shirani-Mehr, Farnoush Banaei Kashani, Cyru...
ACSD
2010
IEEE
251views Hardware» more  ACSD 2010»
15 years 5 months ago
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, L...
ETFA
2005
IEEE
16 years 1 months ago
Fork-lift truck simulator for training in industrial environment
: Since their first usage simulators have been employed in training staff in civil aeronautics and in military fields to improve driving skills without compromising safety of peopl...
Massimo Bergamasco, S. Perotti, Carlo Alberto Aviz...