3131 search results - page 321 / 627 » Generalized connection caching |
136
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
We consider groups of autonomous robots in which robots can help each other by offering information-producing functionalities. A functional configuration is a way to allocate and c...
172
click to vote
EUROSYS
2006
ACM
15 years 10 months ago
2006
ACM
This paper describes and evaluates Fireflies, a scalable protocol for supporting intrusion-tolerant network overlays.1 While such a protocol cannot distinguish Byzantine nodes fro...
219
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
228
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
A new technique for mapping combinational circuits to Fine-Grain Cellular-Architecture FPGAs is presented. The proposed tree restructuring algorithm preserves local connectivity a...
235
Voted
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...