Sciweavers

2523 search results - page 153 / 505
» Correct Development of Embedded Systems
Sort
View
IROS
2006
IEEE
117views Robotics» more  IROS 2006»
15 years 4 months ago
Distributed Control System of Humanoid Robots based on Real-time Ethernet
— In this paper we realize a real-time communication on Ethernet and develop an onbody distributed control system for a humanoid robot, HRP-3P. Real-time communication on Etherne...
Fumio Kanehiro, Yoichi Ishiwata, Hajime Saito, Kaz...
RE
2001
Springer
15 years 2 months ago
Virtual Environment Modeling for Requirements Validation of High Consequence Systems
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
Victor L. Winter, Dejan Desovski, Bojan Cukic
ICPR
2004
IEEE
15 years 11 months ago
An Integrated Decoding Framework for Audio Watermark Extraction
This paper proposes a blind audio watermark extraction technique that allows performing watermark decoding while installing data synchronization. The proposed decoding algorithm e...
Bilge Günsel, Yusuf Yaslan
CAISE
2004
Springer
15 years 3 months ago
Network-based Business Process Management: a Discussion on Embedding Business Logic in Communications Networks
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
Louis-François Pau, Peter H. M. Vervest
SCOPES
2007
Springer
15 years 4 months ago
Operating system integrated energy aware scratchpad allocation strategies for multiprocess applications
Various scratchpad allocation strategies have been developed in the past. Most of them target the reduction of energy consumption. These approaches share the necessity of having d...
Robert Pyka, Christoph Faßbach, Manish Verma...