2365 search results - page 129 / 473 » Data access in distributed simulations of multi-agent system... |
217
Voted
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
165
click to vote
DL
1995
Springer
15 years 10 months ago
1995
Springer
We have constructed a proof-of-principle system for supporting collaborative forensic medicine. The early prototype is built on ABC/DGS, a graph-server and collaborative hypermedi...
174
Voted
SRDS
1998
IEEE
15 years 11 months ago
1998
IEEE
Optimistically replicated systems provide highly available data even when communication between data replicas is unreliable or unavailable. The high availability comes at the cost...
229
click to vote
SG
2005
Springer
16 years 13 days ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
171
Voted
JACM
2006
15 years 7 months ago
2006
Parallel independent disks can enhance the performance of external memory (EM) algorithms, but the programming task is often di cult. In this paper we develop randomized variants ...