2500 search results - page 209 / 500 » Specifying Behavior in C |
124
Voted
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
Three fundamental problems in the study of grasping and dextrous manipulation with multifingered robotic hands are as follows. a) Given a robotic hand and a grasp characterized by ...
149
Voted
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
124
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we present a design space exploration flow to achieve energy efficiency for streaming applications on MPSoCs while meeting the specified throughput constraints. The ...
113
Voted
EWCG
2000
15 years 5 months ago
2000
We investigate the exploration problem of a short-sighted mobile robot moving about in an unknown cellular room. In order to explore a cell, the robot must enter it. Once inside, ...
142
Voted
MOBICOM
2010
ACM
15 years 3 months ago
2010
ACM
Stix is a platform managing emerging large-scale broadband wireless access (BWA) networks. It has been developed to make it easy to manage such networks for community deployments ...