Sciweavers

4411 search results - page 630 / 883
» Communication Complexity and Its Applications
Sort
View
VLDB
2004
ACM
96views Database» more  VLDB 2004»
16 years 6 months ago
Multidimensional data modeling for location-based services
With the recent and continuing advances in areas such as wireless communications and positioning technologies, mobile, locationbased services are becoming possible. Such services ...
Christian S. Jensen, Augustas Kligys, Torben Bach ...
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...
GLOBECOM
2008
IEEE
16 years 1 months ago
Characterization of Relay Channels Using the Bhattacharyya Parameter
—Relay systems have large and complex parameter spaces, which makes it difficult to determine the parameter region where the system achieves a given performance criterion, such ...
Josephine P. K. Chu, Andrew W. Eckford, Raviraj S....
ICCCN
2007
IEEE
16 years 28 days ago
A SpaceTime Oriented Macroprogramming Paradigm for Push-Pull Hybrid Sensor Networking
This paper proposes a spatio-temporal macroprogramming paradigm for push-pull hybrid wireless sensor networks (WSNs). The proposed paradigm, called SpaceTime Oriented Programming ...
Hiroshi Wada, Pruet Boonma, Junichi Suzuki
145
Voted
GLOBECOM
2006
IEEE
16 years 20 days ago
High-rate, Double-Symbol-Decodable STBCs from Clifford Algebras
— For the number of transmit antennas N = 2a the maximum rate (in complex symbols per channel use) of all the Quasi-Orthogonal Designs (QODs) reported in the literature is a 2a...
Sanjay Karmakar, B. Sundar Rajan