774 search results - page 100 / 155 » Experiences of low power design implementation and verificat... |
ICRA
2007
IEEE
14 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...
DCW
2000
Springer
14 years 1 months ago
2000
Springer
Intensional Programming involves the programming of expressions placed in an inherent multidimensional context space. It is an emerging and highly dynamic domain of general applica...
CASES
2004
ACM
14 years 2 months ago
2004
ACM
While the dynamic voltage scaling (DVS) techniques are efficient in reducing the dynamic energy consumption for the processor, varying voltage alone becomes less effective for t...
SIGCOMM
2009
ACM
14 years 3 months ago
2009
ACM
New protocols for the data link and network layer are being proposed to address limitations of current protocols in terms of scalability, security, and manageability. High-speed r...
POPL
2010
ACM
13 years 11 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...