Sciweavers

5831 search results - page 315 / 1167
» Distributed Dynamic Backtracking
Sort
View
ISLPED
2005
ACM
123views Hardware» more  ISLPED 2005»
15 years 9 months ago
Coordinated, distributed, formal energy management of chip multiprocessors
Designers are moving toward chip-multiprocessors (CMPs) to leverage application parallelism for higher performance while keeping design complexity under control. However, to date,...
Philo Juang, Qiang Wu, Li-Shiuan Peh, Margaret Mar...
ICCS
2004
Springer
15 years 9 months ago
Distributed Collaborative Adaptive Sensing for Hazardous Weather Detection, Tracking, and Predicting
A new data-driven approach to atmospheric sensing and detecting/ predicting hazardous atmospheric phenomena is presented. Dense networks of small high-resolution radars are deploye...
Jerry Brotzge, V. Chandresakar, Kelvin Droegemeier...
IWDC
2004
Springer
161views Communications» more  IWDC 2004»
15 years 9 months ago
Distributed Mobility Tracking for Ad Hoc Networks Based on an Autoregressive Model
Abstract. In ad hoc networks, node mobility causes the network topology to change dynamically over time, which complicates important tasks such as routing and flow control. We pro...
Zainab R. Zaidi, Brian L. Mark
CCGRID
2003
IEEE
15 years 9 months ago
Recovering Internet Symmetry in Distributed Computing
This paper describes two systems to recover the Internet connectivity impaired by private networks and firewalls. These devices cause asymmetry in the Internet, making peer-to-pee...
Se-Chang Son, Miron Livny
FM
2001
Springer
118views Formal Methods» more  FM 2001»
15 years 8 months ago
Avoiding State Explosion for Distributed Systems with Timestamps
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
Fabrice Derepas, Paul Gastin, David Plainfoss&eacu...