5898 search results - page 962 / 1180 » Parallel Computing Environments and Methods |
113
click to vote
CAV
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
131
Voted
SIGCOMM
1995
ACM
15 years 7 months ago
1995
ACM
In most network models for quality of service support, the communication links interconnecting the switches and gateways are assumed to have fixed bandwidth and zero error rate. T...
110
Voted
RSS
2007
15 years 5 months ago
2007
— This paper presents BS-SLAM, a simultaneous localization and mapping algorithm for use in unstructured environments that is effective regardless of whether features correspond ...
121
Voted
AAMAS
2010
Springer
15 years 3 months ago
2010
Springer
This paper investigates cooperative search strategies for agents engaged in costly search in a complex environment. Searching cooperatively, several search goals can be satisfied w...
115
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, a method for efficient scheduling to obtain optimum job throughput in a distributed campus grid environment is presented; Traditional job schedulers determine job s...