675 search results - page 111 / 135 » Biased Range Trees |
73
Voted
ISLPED
2006
ACM
15 years 4 months ago
2006
ACM
—The thermal gradients existing in high-performance circuits may significantly affect their timing behavior, in particular, by increasing the skew of the clock net and/or alteri...
99
Voted
LICS
2005
IEEE
15 years 4 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
89
Voted
SIGCOMM
2005
ACM
15 years 4 months ago
2005
ACM
Recent research has shown that one can use Distributed Hash Tables (DHTs) to build scalable, robust and efficient applications. One question that is often left unanswered is that ...
72
Voted
BIRTHDAY
2005
Springer
15 years 4 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
95
Voted
ICN
2005
Springer
15 years 4 months ago
2005
Springer
Data dissemination is a fundamental task in wireless sensor networks. Because of the radios range limitation and energy consumption constraints, sensor data is commonly disseminate...