4755 search results - page 835 / 951 » An Implementation Model for Collaborative Applications |
150
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
190
click to vote
RTSS
2009
IEEE
16 years 29 days ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
181
click to vote
IEEECGIV
2009
IEEE
16 years 27 days ago
2009
IEEE
—We present a novel algorithm to segment a 3D surface mesh into visually meaningful regions. Our approach is based on an analysis of the local geometry of vertices. In particular...
163
click to vote
APPT
2009
Springer
16 years 25 days ago
2009
Springer
In this paper, a comprehensive performance review of an MPI-based high-order three-dimensional spectral element method C++ toolbox is presented. The focus is put on the performance...
172
click to vote
TRUST
2009
Springer
16 years 25 days ago
2009
Springer
UCON is a highly flexible and expressive usage control model which allows an object owner to specify detailed usage control policies to be evaluated on a remote platform. Assuranc...