672 search results - page 109 / 135 » A compiler-based communication analysis approach for multipr... |
P2P
2005
IEEE
14 years 2 months ago
2005
IEEE
Among the open problems in P2P systems, support for non-trivial search predicates, standardized query languages, distributed query processing, query load balancing, and quality of...
GLVLSI
2003
IEEE
14 years 2 months ago
2003
IEEE
We propose an approach for reducing the energy consumption of address buses that targets both the switching and the crosstalk components of power dissipation. The method is based ...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
This paper unifies two recent strands of research in multiagent system design. One, commitments are widely recognized as capturing important aspects of interactions among agents,...
CAV
2006
Springer
14 years 14 days ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
The increasing amount of communication between individuals in e-formats (e.g. email, Instant messaging and the Web) has motivated computational research in social network analysis...