2870 search results - page 282 / 574 » Synchronization of multi-agent systems |
101
click to vote
FMSD
2006
15 years 4 months ago
2006
Reductions that aggregate fine-grained transitions into coarser transitions can significantly reduce the cost of automated verification, by reducing the size of the state space. W...
174
click to vote
VTC
2010
IEEE
15 years 2 months ago
2010
IEEE
—This paper proposes a cooperative space-time coding (STC) protocol, amalgamating the concepts of asynchronous cooperation, non-coherent detection as well as Distributed Turbo Co...
129
click to vote
ANCS
2010
ACM
15 years 2 months ago
2010
ACM
Software packet processing is becoming more important to enable differentiated and rapidly-evolving network services. With increasing numbers of programmable processor and acceler...
126
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Due to resource constraints, Web archiving systems and search engines usually have difficulties keeping the entire local repository synchronized with the Web. We advance the state...
242
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
A minimal, bounded hardware transactional memory implementation significantly improves synchronization performance when used in an operating system kernel. We add HTM to Linux 2.4...