Sciweavers

695 search results - page 119 / 139
» Control in o-minimal Hybrid Systems
Sort
View
CVPR
1997
IEEE
14 years 3 days ago
Automated Model Acquisition from Range Images with View Planning
We present an incremental system that builds accurate CAD models of objects from multiple range images. Using a hybrid of surface mesh and volumetric representations, the system c...
Michael K. Reed, Peter K. Allen, Ioannis Stamos
ICECCS
2010
IEEE
196views Hardware» more  ICECCS 2010»
13 years 8 months ago
Implementing and Evaluating a Model Checker for Transactional Memory Systems
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
Woongki Baek, Nathan Grasso Bronson, Christos Kozy...
PPOPP
2010
ACM
14 years 5 months ago
Fast tridiagonal solvers on the GPU
We study the performance of three parallel algorithms and their hybrid variants for solving tridiagonal linear systems on a GPU: cyclic reduction (CR), parallel cyclic reduction (...
Yao Zhang, Jonathan Cohen, John D. Owens
VISUALIZATION
2002
IEEE
14 years 24 days ago
Tensor Field Visualisation using Adaptive Filtering of Noise Fields combined with Glyph Rendering
While many methods exist for visualising scalar and vector data, visualisation of tensor data is still troublesome. We present a method for visualising second order tensors in thr...
Andreas Sigfridsson, Tino Ebbers, Einar Heiberg, L...
CDC
2010
IEEE
135views Control Systems» more  CDC 2010»
13 years 2 months ago
Synchronous rendezvous of very-low-range wireless agents
In this paper, we address the problem of temporal synchronization of a team of mobile agents on a set of rendezvous points defined by the nodes of a bipartite network. In particula...
Michael M. Zavlanos