Sciweavers

6796 search results - page 1036 / 1360
» Java for Embedded Systems
Sort
View
ICPPW
2006
IEEE
15 years 10 months ago
Model Checking Control Communication of a FACTS Device
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
David A. Cape, Bruce M. McMillin, James K. Townsen...
IEEECIT
2006
IEEE
15 years 10 months ago
The Partitioning Methodology in Hardware/Software Co-Design Using Extreme Programming: Evaluation through the Lego Robot Project
This paper argues about the partitioning in hardware/software co-design and suggests the methodology applying extreme programming to complement the co-design. This approach, contr...
Heeseo Chae, Dong-hyun Lee, Jiyong Park, Hoh Peter...
IROS
2006
IEEE
143views Robotics» more  IROS 2006»
15 years 10 months ago
Design of 3D Swim Patterns for Autonomous Robotic Fish
: To realise fish-like swim patterns by a robotic system poses tremendous challenges. This requires fully understanding of fish biomechanics and the way to mimic it. This paper pre...
Huosheng Hu, Jindong Liu, Ian Dukes, George Franci...
IWIA
2006
IEEE
15 years 10 months ago
High Robustness Requirements in a Common Criteria Protection Profile
The development of a Common Criteria protection profile for high-robustness separation kernels requires explicit modifications of several Common Criteria requirements as well as e...
Thuy D. Nguyen, Timothy E. Levin, Cynthia E. Irvin...
RTCSA
2006
IEEE
15 years 10 months ago
Characterization and Analysis of Tasks with Offsets: Monotonic Transactions
This article introduces the concept of monotonic transactions. A monotonic transaction is a particular case of transactions for which the load arrival pattern is (or can be by rot...
Karim Traore, Emmanuel Grolleau, Francis Cottet
« Prev « First page 1036 / 1360 Last » Next »