Sciweavers

6480 search results - page 1091 / 1296
» Proximity Communication and Time
Sort
View
MST
2002
169views more  MST 2002»
15 years 6 months ago
Bulk Synchronous Parallel Algorithms for the External Memory Model
Abstract. Blockwise access to data is a central theme in the design of efficient external memory (EM) algorithms. A second important issue, when more than one disk is present, is f...
Frank K. H. A. Dehne, Wolfgang Dittrich, David A. ...
SCP
1998
107views more  SCP 1998»
15 years 6 months ago
A Distributed Arc-Consistency Algorithm
Consistency techniques are an e cient way of tackling constraint satisfaction problems (CSP). In particular, various arc-consistency algorithms have been designed such as the time...
T. Nguyen, Yves Deville
SIGMOD
2002
ACM
127views Database» more  SIGMOD 2002»
15 years 6 months ago
Workflow management with service quality guarantees
Workflow management systems (WFMS) that are geared for the orchestration of business processes across multiple organizations are complex distributed systems: they consist of multi...
Michael Gillmann, Gerhard Weikum, Wolfgang Wonner
TROB
2002
127views more  TROB 2002»
15 years 6 months ago
Probabilistic pursuit-evasion games: theory, implementation, and experimental evaluation
We consider the problem of having a team of Unmanned Aerial Vehicles (UAV) and Unmanned Ground Vehicles (UGV) pursue a second team of evaders while concurrently building a map in a...
René Vidal, Omid Shakernia, H. Jin Kim, Dav...
TVLSI
2002
130views more  TVLSI 2002»
15 years 6 months ago
Incremental compilation for parallel logic verification systems
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
R. Tessier, S. Jana
« Prev « First page 1091 / 1296 Last » Next »