1872 search results - page 63 / 375 » The Art of Granular Computing |
CONCURRENCY
1998
13 years 9 months ago
1998
The JPVM library is a software system for explicit message-passing based distributed memory MIMD parallel programming in Java. The library supports an interface similar to the C a...
MM
2005
ACM
14 years 3 months ago
2005
ACM
“diorama table “ is an interactive table installation. People place physical objects on the table and projected elements such as trains, cars, houses, and trees appear and are...
ARTS
1999
Springer
14 years 2 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
ARTS
1999
Springer
14 years 2 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
CG
1998
Springer
13 years 9 months ago
1998
Springer
State of the art multiresolution modeling allows to selectively refine a coarse mesh of an object on the visually important parts. In this way it is possible to render the geomet...