Sciweavers

3482 search results - page 259 / 697
» Cooperative Assembly Systems
Sort
View
ISORC
2009
IEEE
16 years 1 months ago
Resource Scopes: Toward Language Support for Compositional Determinism
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
Madhukar Anand, Sebastian Fischmeister, Insup Lee
ICRA
2006
IEEE
72views Robotics» more  ICRA 2006»
16 years 1 months ago
A Rapidly Prototyped 2-axis Positioning Stage for Microassembly using Large Displacement Compliant Mechanisms
Abstract— Compliant mechanisms provide an attractive alternative to conventional rigid mechanisms in the design of ultra low-cost precision positioning systems. The desirable per...
Aaron M. Hoover, Srinath Avadhanula, Richard E. Gr...
LICS
2005
IEEE
16 years 25 days ago
Certifying Compilation for a Language with Stack Allocation
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
Limin Jia, Frances Spalding, David Walker, Neal Gl...
HICSS
1994
IEEE
155views Biometrics» more  HICSS 1994»
15 years 11 months ago
Concurrent Simulation and Control of Robot Tasks
In the area of telerobotics, where remote systems are to be controlled, it is helpful to plan subsequent operations based on as much relevant data as possible. The simulation of t...
Ulrich Mehlhaus
DELTA
2002
IEEE
16 years 6 days ago
State Transition Based Supervisory Control for a Robot Soccer System
Distributed robot control systems consist of mechanical systems powered by actuators that are under the control of computer systems that rely on sensor input, such as vision, touc...
Gourab Sen Gupta, H. L. Sng, Chris H. Messom