230 search results - page 1 / 46 » C Dynamic Cast in Autonomous Space Systems |
54
Voted
ISORC
2008
IEEE
15 years 4 months ago
2008
IEEE
AICCSA
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
ERSA
2006
14 years 11 months ago
2006
Reconfigurable devices, such as FPGAs, introduce into the design workflow of embedded systems a new degree of freedom: the designer can have the system autonomously modify the fun...
MM
2003
ACM
15 years 3 months ago
2003
ACM
We present the design, implementation, and evaluation of PROMISE, a novel peer-to-peer media streaming system encompassing the key functions of peer lookup, peer-based aggregated ...
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
— This paper presents an operational space control approach for the general class of holonomically constrained multibody systems. As a point of departure, the general formulation...