Sciweavers

410 search results - page 48 / 82
» Embedded Operating System Energy Analysis and Macro-Modeling
Sort
View
ICRA
2006
IEEE
166views Robotics» more  ICRA 2006»
15 years 5 months ago
Analysis, Design and Control of a Planar Micro-robot Driven by two Centripetal-force Actuators
– This paper presents the motion analysis, design and position control of a novel, low cost, sliding micro-robot, which is actuated by centripetal forces generated by robot mount...
P. Vartholomeos, Evangelos Papadopoulos
NETCOOP
2009
Springer
15 years 6 months ago
Probabilistic Analysis of Hierarchical Cluster Protocols for Wireless Sensor Networks
Wireless sensor networks are designed to extract data from the deployment environment and combine sensing, data processing and wireless communication to provide useful information ...
Ingemar Kaj
FMCAD
2007
Springer
15 years 3 months ago
A Mechanized Refinement Framework for Analysis of Custom Memories
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
Sandip Ray, Jayanta Bhadra
SENSYS
2005
ACM
15 years 5 months ago
Intelligent light control using sensor networks
Increasing user comfort and reducing operation costs have always been two primary objectives of building operations and control strategies. Current building control strategies are...
Vipul Singhvi, Andreas Krause, Carlos Guestrin, Ja...
CODES
2008
IEEE
15 years 1 months ago
A time-predictable system initialization design for huge-capacity flash-memory storage systems
The capacity of flash-memory storage systems grows at a speed similar to many other storage systems. In order to properly manage the product cost, vendors face serious challenges ...
Chin-Hsien Wu