66 search results - page 6 / 14 » Low-Level Liquid Types |
POPL
2007
ACM
14 years 8 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— Robotic microhandling is a promising way to assemble microcomponents in order to manufacture new generation of Hybrid Micro ElectroMechanical Systems (HMEMS). However, at the s...
GRID
2007
Springer
13 years 8 months ago
2007
Springer
Abstract Service-oriented architectures and applications have gained wide acceptance in the Grid computing community. A number of tools and middleware systems have been developed t...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— This paper presents the design of a 14 degree-ofmotion forearm actuation unit for an upper extremity prosthesis. The forearm utilizes pneumatic type actuators which use...
BIOINFORMATICS
2011
13 years 5 days ago
2011
Abstract. This document is a preprint of the following publication: Bioinformatics (2011) 27(8): 1166-1167. Algorithms for sparse data require fast search and subset selection capa...