2922 search results - page 116 / 585 » Scalable Algorithms for Distribution Search |
141
Voted
SASO
2007
IEEE
15 years 10 months ago
2007
IEEE
Multi-agent systems (MAS) provide a promising technology for addressing problems such as search and rescue missions, mine sweeping, and surveillance. These problems are a form of ...
134
click to vote
FORTE
2000
15 years 5 months ago
2000
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...
165
Voted
AAIM
2005
Springer
15 years 5 months ago
2005
Springer
The idea of active networks has been emerged in recent years to increase the processing power inside the network. The intermediate nodes such as routers will be able to host mobile...
129
Voted
PDP
2005
IEEE
15 years 9 months ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
109
Voted
ENTCS
2006
15 years 3 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...