Sciweavers

2786 search results - page 366 / 558
» A Practical Technique for Process Abstraction
Sort
View
ISOLA
2004
Springer
15 years 12 months ago
A Formal Analysis of Bluetooth Device Discovery
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman,...
SAMOS
2004
Springer
15 years 12 months ago
Modeling Loop Unrolling: Approaches and Open Issues
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
João M. P. Cardoso, Pedro C. Diniz
ICRA
2003
IEEE
90views Robotics» more  ICRA 2003»
15 years 11 months ago
Vision based shape estimation for continuum robots
Abstract– The investigation of continuum robots has become an area of considerable interest in the last several years. Unlike conventional robotic manipulators which bend in disc...
Michael W. Hannan, Ian D. Walker
INFOCOM
2003
IEEE
15 years 11 months ago
Cooperative Peer Groups in NICE
Abstract— We present a distributed scheme for trust inference in peer-to-peer networks. Our work is in context of the NICE system, which is a platform for implementing cooperativ...
Seungjoon Lee, Rob Sherwood, Samrat Bhattacharjee
ALS
2003
Springer
15 years 11 months ago
Anticipatory Behavioral Control
Despite recent successes in control theoretical programs for limb control, behavior-based cognitive approaches for control are somewhat lacking behind. Insights in psychology and ...
Joachim Hoffmann