Sciweavers

3905 search results - page 624 / 781
» Teaching Design Patterns
Sort
View
IPPS
2006
IEEE
16 years 12 days ago
A segment-based DSM supporting large shared object space
This paper introduces a software DSM that can extend its shared object space exceeding 4GB in a 32bit commodity cluster environment. This is achieved through the dynamic memory ma...
Benny Wang-Leung Cheung, Cho-Li Wang
IROS
2006
IEEE
112views Robotics» more  IROS 2006»
16 years 12 days ago
A Novel Water Running Robot Inspired by Basilisk Lizards
— This paper introduces a novel robot which can run on the surface of water in a manner similar to basilisk lizards. Previous studies on the lizards themselves have characterized...
Steven Floyd, Terence Keegan, John Palmisano, Meti...
IROS
2006
IEEE
168views Robotics» more  IROS 2006»
16 years 12 days ago
Scanning the Environment with Two Independent Cameras - Biologically Motivated Approach
— In this paper we present a novel method for visual scanning and target tracking by means of independent pan-tilt cameras which mimic the chameleon visual system. We present a s...
Ofir Avni, Francesco Borrelli, Gadi Katzir, Ehud R...
SEW
2006
IEEE
16 years 11 days ago
Retrenching the Purse: Finite Exception Logs, and Validating the Small
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
Richard Banach, Michael Poppleton, Susan Stepney
VTC
2006
IEEE
16 years 11 days ago
Store-and-Forward Performance in a DTN
—Delay and disruption tolerant networks have been proposed to address data communication challenges in network scenarios where an instantaneous end-to-end path between a source a...
Mooi Choo Chuah, Peng Yang, Brian D. Davison, Lian...