Sciweavers

882 search results - page 114 / 177
» Analysis of Composite Corridors
Sort
View
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
AINA
2007
IEEE
15 years 10 months ago
Collision prevention using group communication for asynchronous cooperative mobile robots
The paper presents a fail-safe mobility management and a collision prevention platform for a group of asynchronous cooperative mobile robots. The fail-safe platform consists of a ...
Rami Yared, Xavier Défago, Matthias Wiesman...
APLAS
2007
ACM
15 years 10 months ago
Timed, Distributed, Probabilistic, Typed Processes
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
Martin Berger, Nobuko Yoshida
GECCO
2006
Springer
157views Optimization» more  GECCO 2006»
15 years 10 months ago
gLINC: identifying composability using group perturbation
We present two novel perturbation-based linkage learning algorithms that extend LINC [5]; a version of LINC optimised for decomposition tasks (oLINC) and a hierarchical version of...
David Jonathan Coffin, Christopher D. Clack
ICCAD
1995
IEEE
136views Hardware» more  ICCAD 1995»
15 years 9 months ago
A controller-based design-for-testability technique for controller-data path circuits
This paper investigates the effect of the controller on the testability of sequential circuits composed of controllers and data paths. It is shown that even when both the controll...
Sujit Dey, Vijay Gangaram, Miodrag Potkonjak