2468 search results - page 472 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
116
click to vote
INFOCOM
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— In this paper, we address the problem of determining an optimal topology for Bluetooth Wireless Personal Area Networks (BT-WPANs). In BT-WPANs, multiple communication c...
130
click to vote
SASO
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper describes, and evaluates benefits of, a design methodology to translate certain mathematical models into the design of novel, self-adaptive, peer-to-peer (p2p) distrib...
110
click to vote
IEEEPACT
2006
IEEE
15 years 9 months ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...
158
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
153
click to vote
ISLPED
2007
ACM
15 years 4 months ago
2007
ACM
We analyze the effect of thermal constraints on the performance and power of multi-core processors. We propose system-level power and thermal models, and derive expressions for (a...