Sciweavers

1017 search results - page 90 / 204
» Radiosity on Graphics Hardware
Sort
View
CAV
2010
Springer
173views Hardware» more  CAV 2010»
14 years 2 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
FPLAY
2008
14 years 22 days ago
A low-cost infrastructure for tabletop games
Tabletop games provide an intimate gaming experience where groups of friends can interact in a shared space using shared physical props. Digital tabletop games show great promise ...
Christopher Wolfe, J. David Smith, T. C. Nicholas ...
TAP
2008
Springer
101views Hardware» more  TAP 2008»
13 years 11 months ago
A gaze-based study for investigating the perception of visual realism in simulated scenes
on the perception of visual realism. This study suggests that post-recall or simple abstraction of visual experience is not accurate and the use of eye tracking provides an effecti...
Mohamed A. ElHelw, Marios Nicolaou, Adrian James C...
ICCD
2004
IEEE
149views Hardware» more  ICCD 2004»
14 years 8 months ago
Adaptive Selection of an Index in a Texture Cache
For a specified application, there is an opportunity to improve cache performance by smart choosing of index bits of a cache. A texture cache for texture mapping of 3D computer gr...
Chun-Ho Kim, Lee-Sup Kim
ISCA
2002
IEEE
141views Hardware» more  ISCA 2002»
13 years 11 months ago
SADL: Simulation Architecture Description Language
This paper introduces the Simulation Architecture Description Language (SADL) developed at the National Aeronautics and Space Administration's Marshall Space Flight Center to...
Kenneth G. Ricks, John M. Weirs, B. Earl Wells