Sciweavers

2643 search results - page 327 / 529
» Higher order messaging
Sort
View
ASIACRYPT
2009
Springer
16 years 1 months ago
Linearization Framework for Collision Attacks: Application to CubeHash and MD6
In this paper, an improved differential cryptanalysis framework for finding collisions in hash functions is provided. Its principle is based on linearization of compression functi...
Eric Brier, Shahram Khazaei, Willi Meier, Thomas P...
FM
2009
Springer
110views Formal Methods» more  FM 2009»
16 years 1 months ago
Reduced Execution Semantics of MPI: From Theory to Practice
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishn...
190
Voted
NOSSDAV
2009
Springer
16 years 1 months ago
A delaunay triangulation architecture supporting churn and user mobility in MMVEs
This article proposes a new distributed architecture for update message exchange in massively multi-user virtual environments (MMVE). MMVE applications require delivery of updates...
Mohsen Ghaffari, Behnoosh Hariri, Shervin Shirmoha...
GLOBECOM
2008
IEEE
16 years 1 months ago
One- and Two-Way Decode-and-Forward Relaying for Wireless Multiuser MIMO Networks
— In this paper, we propose multiuser multiple-input multiple-ouput (MIMO) one- and two-way relaying protocols. Several wireless MIMO node pairs are establishing either unidirect...
Celal Esli, Armin Wittneben
GLOBECOM
2008
IEEE
16 years 1 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