Sciweavers

2870 search results - page 304 / 574
» Synchronization of multi-agent systems
Sort
View
DATE
2004
IEEE
173views Hardware» more  DATE 2004»
15 years 8 months ago
Supporting Cache Coherence in Heterogeneous Multiprocessor Systems
In embedded system-on-a-chip (SoC) applications, the need for integrating heterogeneous processors in a single chip is increasing. An important issue in integrating heterogeneous ...
Taeweon Suh, Douglas M. Blough, Hsien-Hsin S. Lee
EDO
2000
Springer
15 years 8 months ago
Using Model Checking to Detect Deadlocks in Distributed Object Systems
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
Nima Kaveh
148
Voted
ICPPW
2009
IEEE
15 years 11 months ago
CkDirect: Unsynchronized One-Sided Communication in a Message-Driven Paradigm
A significant fraction of parallel scientific codes are iterative with barriers between iterations or even between phases of the same iteration. The sender of a message is assur...
Eric J. Bohm, Sayantan Chakravorty, Pritish Jetley...
134
Voted
LORI
2009
Springer
15 years 11 months ago
Dynamic Epistemic Temporal Logic
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in m...
Bryan Renne, Joshua Sack, Audrey Yap
IWPC
2007
IEEE
15 years 11 months ago
Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
Shaohua Xie, Eileen Kraemer, R. E. Kurt Stirewalt