570 search results - page 31 / 114 » Constructing reconfigurable software for machine control sys... |
69
Voted
DAC
1999
ACM
15 years 10 months ago
1999
ACM
While the number of embedded systems in consumer electronics is growing dramatically, several trends can be observed which challenge traditional codesign practice: An increasing s...
83
Voted
FCCM
2007
IEEE
15 years 1 months ago
2007
IEEE
While medium- and large-sized computing centers have increasingly relied on clusters of commodity PC hardware to provide cost-effective capacity and capability, it is not clear th...
90
Voted
MOBICOM
1997
ACM
15 years 1 months ago
1997
ACM
Hot swapping technology combined with pervasive heterogeneous networks empowers mobile laptop users to select the best network device for their current environment. Unfortunately,...
DSN
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
ICRA
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract— In this paper we present a design study and technical specifications of a high performance robotic manipulator to be used for ball catching experiments using commercia...