4108 search results - page 379 / 822 » DISCWorld: A Distributed High Performance Computing Environm... |
172
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
16 years 1 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
169
click to vote
IPPS
2003
IEEE
16 years 1 days ago
2003
IEEE
Graphic cards performance increase and fast Internet connections are popularising Networked Virtual Environments. This immature paradigm of real-time applications has still to sol...
293
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
Data is often collected over a distributed network, but in many cases, is so voluminous that it is impractical and undesirable to collect it in a central location. Instead, we mus...
185
click to vote
ICPP
1998
IEEE
15 years 11 months ago
1998
IEEE
To execute a shared memory program efficiently, we have to manage memory consistency with low overheads, and have to utilize communication bandwidth of the platform as much as pos...
253
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
This paper deals with the problem of tracking multiple targets in a distributed network of self-configuring pan-tilt-zoom cameras. We focus on applications where events unfold over...