Sciweavers

4411 search results - page 81 / 883
» Communication Complexity and Its Applications
Sort
View
NFM
2011
335views Formal Methods» more  NFM 2011»
14 years 10 months ago
CORAL: Solving Complex Constraints for Symbolic PathFinder
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...
116
Voted
ICC
2007
IEEE
116views Communications» more  ICC 2007»
15 years 10 months ago
Interference Detection in Spread Spectrum Communication Using Polynomial Phase Transform
—In this paper we propose an interference detection technique for detecting time varying jamming signals in spread spectrum communication systems. The technique is based on Discr...
Randa Zarifeh, Nandini Alinier, Sridhar Krishnan, ...
109
Voted
IICS
2001
Springer
15 years 8 months ago
Reusing Single-User Applications to Create Multi-user Internet Applications
Although there are many groupware platforms existing nowadays, collaborative multi-user applications are not yet widely accepted by end-users. In contrast to single-user applicatio...
Stephan Lukosch, Jörg Roth
ATAL
2003
Springer
15 years 9 months ago
Minimizing communication cost in a distributed Bayesian network using a decentralized MDP
In complex distributed applications, a problem is often decomposed into a set of subproblems that are distributed to multiple agents. We formulate this class of problems with a tw...
Jiaying Shen, Victor R. Lesser, Norman Carver
PPOPP
2010
ACM
16 years 1 months ago
Scalable communication protocols for dynamic sparse data exchange
Many large-scale parallel programs follow a bulk synchronous parallel (BSP) structure with distinct computation and communication phases. Although the communication phase in such ...
Torsten Hoefler, Christian Siebert, Andrew Lumsdai...