1399 search results - page 218 / 280 » Multi-party Finite Computations |
133
click to vote
HPDC
2002
IEEE
15 years 9 months ago
2002
IEEE
Performance models provide significant insight into the performance relationships between an application and the system used for execution. The major obstacle to developing perfor...
159
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
148
click to vote
KBSE
1999
IEEE
15 years 9 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
143
click to vote
CA
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper presents a voxel-based animation technique which employs either a massspring modelor a niteelementmodel. The voxel-basedmeshis generated in a pre-processing step. Two v...
147
click to vote
CGI
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we present an indirect volume visualization method, based on the deformable surface model, which is a three dimensional extension of the snake segmentation method. I...