Sciweavers

543 search results - page 89 / 109
» Controlling gaze with an embodied interactive control archit...
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
14 years 11 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
NOCS
2007
IEEE
15 years 6 months ago
Transaction-Based Communication-Centric Debug
Abstract— The behaviour of systems on chip (SOC) is complex because they contain multiple processors that interact through concurrent interconnects, such as networks on chip (NOC...
Kees Goossens, Bart Vermeulen, Remco van Steeden, ...
VIS
2007
IEEE
181views Visualization» more  VIS 2007»
16 years 1 months ago
Shadow-Driven 4D Haptic Visualization
Just as we can work with two-dimensional floor plans to communicate 3D architectural design, we can exploit reduced-dimension shadows to manipulate the higher-dimensional objects ...
Hui Zhang, Andrew J. Hanson
VISUALIZATION
1992
IEEE
15 years 3 months ago
Display of Scientific Data Structures for Algorithm Visualization
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...
William L. Hibbard, Charles R. Dyer, Brian E. Paul
CHI
2007
ACM
16 years 8 days ago
Computational composites
A computational composite is a material in which computations contribute to the properties of the material through their capability to control transitions between states in the oth...
Anna Vallgårda, Johan Redström