Sciweavers

1318 search results - page 76 / 264
» Synchronous Elastic Networks
Sort
View
GLOBECOM
2007
IEEE
14 years 3 months ago
Impact of Noisy Carrier Phase Synchronization on Linear Amplify-and-Forward Relaying
—We consider a distributed wireless network where amplify-and-forward relays assist the communication between multiple source/destination pairs. To provide a global phase referen...
Stefan Berger, Armin Wittneben
IJCNN
2007
IEEE
14 years 3 months ago
Spectral Clustering of Synchronous Spike Trains
— In this paper a clustering algorithm that learns the groups of synchronized spike trains directly from data is proposed. Clustering of spike trains based on the presence of syn...
António R. C. Paiva, Sudhir Rao, Il Park, J...
SPIN
2000
Springer
14 years 20 days ago
Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
Nicholas Weininger, Darren D. Cofer
PODC
2009
ACM
14 years 6 months ago
The wireless synchronization problem
In this paper, we study the wireless synchronization problem which requires devices activated at different times on a congested single-hop radio network to synchronize their roun...
Shlomi Dolev, Seth Gilbert, Rachid Guerraoui, Fabi...
FM
2003
Springer
107views Formal Methods» more  FM 2003»
14 years 2 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard