72 search results - page 15 / 15 » Hierarchical Correctness Proofs for Distributed Algorithms |
HICSS
2005
IEEE
13 years 11 months ago
2005
IEEE
— Structured peer-to-peer systems have emerged as infrastructures for resource sharing in large-scale, distributed, and dynamic environments. One challenge in these systems is to...
DAC
1997
ACM
13 years 10 months ago
1997
ACM
: Academic clock routing research results has often had limited impact on industry practice, since such practical considerations as hierarchical buffering, rise-time and overshoot ...