Sciweavers

1144 search results - page 28 / 229
» Protocol Implementation in a Vertically Structured Operating...
Sort
View
SAC
2009
ACM
14 years 2 months ago
ERIKA and open-ZB: an implementation for real-time wireless networking
IEEE 802.15.4/ZigBee and TinyOS have been playing an important role in leveraging a new generation of large-scale networked embedded systems. However, based on previous experience...
Paolo Pagano, Mangesh Chitnis, Antonio Romano, Giu...
ACTA
2005
104views more  ACTA 2005»
13 years 7 months ago
Subtyping for session types in the pi calculus
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
Simon J. Gay, Malcolm Hole
IBPRIA
2003
Springer
14 years 28 days ago
Robust Segmentation and Decoding of a~Grid Pattern for Structured Light
This paper describes the implementation details of a coded structured light system useful for one-shot measurements of a surface. Since a unique pattern is projected, the technique...
Jordi Pagès, Joaquim Salvi, Carles Matabosc...
DSL
2009
13 years 5 months ago
Operator Language: A Program Generation Framework for Fast Kernels
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
Franz Franchetti, Frédéric de Mesmay...
CDC
2009
IEEE
115views Control Systems» more  CDC 2009»
14 years 13 days ago
Quantized consensus via adaptive stochastic gossip algorithm
Abstract— This paper is concerned with the distributed averaging problem over a given undirected graph. To enable every vertex to compute the average of the initial numbers sitti...
Javad Lavaei, Richard M. Murray