Sciweavers

2021 search results - page 176 / 405
» COCO: Composition Model and Composition Model Implementation
Sort
View
COOPIS
2003
IEEE
15 years 11 months ago
From Distributed Objects to Hierarchical Grid Components
We propose a parallel and distributed component framework for building Grid applications, adapted to the hierarchical, highly distributed, highly heterogeneous nature of Grids. Thi...
Françoise Baude, Denis Caromel, Matthieu Mo...
VISUALIZATION
1994
IEEE
15 years 10 months ago
Parallel Performance Measures for Volume Ray Casting
We describe a technique for achieving fast volume ray casting on parallel machines, using a load balancing scheme and an e cient pipelined approach to compositing. We propose a ne...
Cláudio T. Silva, Arie E. Kaufman
FORTE
2010
15 years 7 months ago
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...
Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuen...
SPIN
2010
Springer
15 years 4 months ago
Nevertrace Claims for Model Checking
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
Zhe Chen, Gilles Motet
ICASSP
2011
IEEE
14 years 10 months ago
Accurate non-iterative depth layer extraction algorithm for image based rendering
Image based rendering is an attractive alternative for generating novel views compared to model based rendering due to its lower complexity and potential for photo-realistic resul...
James Pearson, Pier Luigi Dragotti, Mike Brookes