8719 search results - page 106 / 1744 » Visualization of Distributed Processes Using |
ICDCS
2006
IEEE
15 years 8 months ago
2006
IEEE
Despite the large amount of Byzantine fault-tolerant algorithms for message-passing systems designed through the years, only recently algorithms for the coordination of processes ...
117
click to vote
CONCURRENCY
1998
15 years 2 months ago
1998
Collaborative visualization is an active area of research in computer science. Many di erent techniques and implementations have been proposed. However, most of today's syste...
123
click to vote
TACAS
2000
Springer
15 years 6 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
124
click to vote
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
In visual 3-D reconstruction tasks with mobile cameras, one wishes to move the cameras so that they provide the views that lead to the best reconstruction result. When the camera ...
150
click to vote
IWPSE
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a method to detect and visualize evolution patterns in C++ source code. Our method consists of three steps. First, we extract an annotated syntax tree (AST) from each v...