Sciweavers

13041 search results - page 374 / 2609
» Simulating space and time
Sort
View
CSCW
2002
ACM
15 years 6 months ago
The use of visual information in shared visual spaces: informing the development of virtual co-presence
A shared visual workspace is one where multiple people can see the same objects at roughly the same time. We present findings from an experiment investigating the effects of share...
Robert E. Kraut, Darren Gergle, Susan R. Fussell
NPAR
2009
ACM
16 years 1 months ago
Airbrush simulation for artwork and computer modeling
A computerized airbrush system with a full three dimensional airbrush interface is presented. The position and orientation of an electronic airbrush tool is tracked in space, and,...
Jonathan Konieczny, Gary W. Meyer
DATE
2008
IEEE
122views Hardware» more  DATE 2008»
16 years 1 months ago
Simulation-Directed Invariant Mining for Software Verification
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
Xueqi Cheng, Michael S. Hsiao
164
Voted
DATE
1999
IEEE
115views Hardware» more  DATE 1999»
15 years 11 months ago
EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability
We describe EXPRESSION, a language supporting architectural design space exploration for embedded Systems-onChip (SOC) and automatic generation of a retargetable compiler/simulato...
Ashok Halambi, Peter Grun, Vijay Ganesh, Asheesh K...
FCCM
2004
IEEE
143views VLSI» more  FCCM 2004»
15 years 10 months ago
Reconfigurable Molecular Dynamics Simulator
Current high-performance applications are typically implemented on large-scale general-purpose distributed or multiprocessing systems often based on commodity microprocessors. Fie...
Navid Azizi, Ian Kuon, Aaron Egier, Ahmad Darabiha...