Sciweavers

570 search results - page 32 / 114
» Robustness and Implementability of Timed Automata
Sort
View
BROADNETS
2007
IEEE
15 years 6 months ago
Practical time synchronization for Bluetooth Scatternets
Abstract— By means of so-called Scatternets, Bluetooth provides the ability to construct robust wireless multi-hop networks. In this paper we propose a practical protocol for tim...
Matthias Ringwald, Kay Römer
JPDC
2008
138views more  JPDC 2008»
14 years 11 months ago
Efficient parallel implementation of iterative reconstruction algorithms for electron tomography
Electron tomography (ET) combines electron microscopy and the principles of tomographic imaging in order to reconstruct the threedimensional structure of complex biological specim...
José-Jesús Fernández, Dan Gor...
MOBISYS
2006
ACM
15 years 11 months ago
LIGER: implementing efficient hybrid security mechanisms for heterogeneous sensor networks
The majority of security schemes available for sensor networks assume deployment in areas without access to a wired infrastructure. More specifically, nodes in these networks are ...
Patrick Traynor, Raju Kumar, Hussain Bin Saad, Guo...
ICIP
1999
IEEE
15 years 4 months ago
Real-Time Image Mosaicing from a Video Sequence
This paper describes a fast and robust image registration method that can be used to create a panoramic image/video from video sequences. To estimate alignment parameters for imag...
Masakatsu Kourogi, Takeshi Kurata, Junichi Hoshino...
WDAG
2005
Springer
90views Algorithms» more  WDAG 2005»
15 years 5 months ago
Proving Atomicity: An Assertional Approach
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Jos...