3575 search results - page 25 / 715 » Modeling Concurrency with Geometry |
VMV
2001
2001
Compression of Large 3D Engineering Models using Automatic Discovery of Repeating Geometric Features
14 years 11 months ago
In this paper, we present a new geometry compression technique particularly suitable for 3D mesh models of engineering class
113
click to vote
CAV
2006
Springer
15 years 1 months ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
84
Voted
MASCOTS
1993
14 years 11 months ago
1993
This work presents a model of a distributed database system which provides the framework to study the performance of timestamp ordering concurrency control. We exhibit an analytic...
UAI
2004
14 years 11 months ago
2004
We develop the necessary theory in computational algebraic geometry to place Bayesian networks into the realm of algebraic statistics. We present an algebra
100
click to vote
HPCC
2007
Springer
15 years 1 months ago
2007
Springer
A wide class of geometry processing and PDE resolution methods needs to solve a linear system, where the non-zero pattern of the matrix is dictated by the connectivity matrix of th...