Sciweavers

494 search results - page 86 / 99
» A Framework for Synchronous Tele-Cooperation
Sort
View
ICCI
1993
15 years 1 months ago
The Perfect and Imperfect Clocks Approach to Performance Analysis of Basic Timestamp Ordering in Distributed Databases
Locking and timestamping are two popular approaches to concurrency control in databases systems. Although more than a dozen analytic performance studies of locking techniques have...
Christos Bouras, Paul G. Spirakis
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 1 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
ATAL
2008
Springer
14 years 12 months ago
BnB-ADOPT: an asynchronous branch-and-bound DCOP algorithm
Distributed constraint optimization problems (DCOPs) are a popular way of formulating and solving agent-coordination problems. It is often desirable to solve DCOPs optimally with m...
William Yeoh, Ariel Felner, Sven Koenig
ACST
2006
14 years 11 months ago
Experimental study of hybrid-type distributed maximal constraint satisfaction algorithm
A constraint satisfaction problem (CSP) is a general framework that can formalize various application problems in artificial intelligence. However, practical real-world problems t...
Masato Noto, Masahito Kurihara
CSREAEEE
2006
189views Business» more  CSREAEEE 2006»
14 years 11 months ago
Management of Dynamic and Adaptive Workflow Business Processes
: Collaborative and dynamic workflow management systems in logistic companies require strong information systems and computer support. Business processes in such industries general...
Leo Pudhota, Elizabeth Chang