Sciweavers

230 search results - page 5 / 46
» C Dynamic Cast in Autonomous Space Systems
Sort
View
ISSE
2007
13 years 8 months ago
Specifying real-time properties in autonomic systems
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K...
VLSI
2010
Springer
13 years 3 months ago
SESAM extension for fast MPSoC architectural exploration and dynamic streaming applications
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
Nicolas Ventroux, Tanguy Sassolas, Raphael David, ...
ICRA
2002
IEEE
141views Robotics» more  ICRA 2002»
14 years 1 months ago
Movement Imitation with Nonlinear Dynamical Systems in Humanoid Robots
This article presents a new approach to movement planning, on-line trajectory modiļ¬cation, and imitation learning by representing movement plans based on a set of nonlinear diļ¬...
Auke Jan Ijspeert, Jun Nakanishi, Stefan Schaal
IWMM
2010
Springer
173views Hardware» more  IWMM 2010»
14 years 1 months ago
CETS: compiler enforced temporal safety for C
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...
Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Mar...
IROS
2006
IEEE
146views Robotics» more  IROS 2006»
14 years 2 months ago
Formation Control of Underactuated Surface Vessels using the Null-Space-Based Behavioral Control
ā€” In this paper the application of a behavior-based control approach, namely the Null-Space-based Behavioral control, to coordinate a ļ¬‚eet of autonomous surface vessels is pres...
Filippo Arrichiello, Stefano Chiaverini, Thor I. F...