Sciweavers

2421 search results - page 385 / 485
» Message from the Co-Chairs
Sort
View
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
14 years 3 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
CDC
2008
IEEE
198views Control Systems» more  CDC 2008»
14 years 3 months ago
Performance analysis of different routing protocols in Wireless Sensor Networks for real-time estimation
— In this paper we analyze the performance of two different routing protocols specifically designed for Wireless Sensor Networks (WSNs) for real-time estimation, control, and mo...
Damiano Varagnolo, Phoebus Chen, Luca Schenato, Sh...
CISS
2008
IEEE
14 years 3 months ago
Unsupervised distributional anomaly detection for a self-diagnostic speech activity detector
— One feature that classification algorithms typically lack is the ability to know what they do not know. With this knowledge an algorithm would be able to operate in any domain...
Nash M. Borges, Gerard G. L. Meyer
GLOBECOM
2008
IEEE
14 years 3 months ago
Interference Forwarding in Multiuser Networks
—We study communication in networks with multiple source-destination pairs and relays. In such networks, the channel output at any destination receiver consists of both the desir...
Ron Dabora, Ivana Maric, Andrea J. Goldsmith
IPPS
2008
IEEE
14 years 3 months ago
Introducing gravel: An MPI companion library
A non-trivial challenge in high performance, cluster computing is the communication overhead introduced by the cluster interconnect. A common strategy for addressing this challeng...
Anthony Danalis, Aaron Brown, Lori L. Pollock, D. ...