1053 search results - page 128 / 211 » Shape as Memory Storage |
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Network visualisations use clustering approaches to simplify the presentation of complex graph structures. We present a novel application of clustering algorithms, which controls ...
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
— This work presents the design, fabrication, and testing of a novel hexapedal walking millirobot using only two actuators. Fabricated from S2-Glass reinforced composites and fl...
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
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 ...
110
click to vote
FMCO
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
PARA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper investigates two types of overhead due to duplicated local computations, which are frequently encountered in the parallel software of overlapping domain decomp...