Sciweavers

425 search results - page 62 / 85
» On the additive constant of the k-server Work Function Algor...
Sort
View
ICCAD
2007
IEEE
99views Hardware» more  ICCAD 2007»
14 years 4 months ago
Automating post-silicon debugging and repair
Modern IC designs have reached unparalleled levels of complexity, resulting in more and more bugs discovered after design tape-out However, so far only very few EDA tools for post...
Kai-Hui Chang, Igor L. Markov, Valeria Bertacco
VISUALIZATION
2005
IEEE
14 years 1 months ago
VolQD: Direct Volume Rendering of Multi-million Atom Quantum Dot Simulations
In this work we present a hardware-accelerated direct volume rendering system for visualizing multivariate wave functions in semiconducting quantum dot (QD) simulations. The simul...
Wei Qiao, David S. Ebert, Alireza Entezari, Marek ...
VR
2009
IEEE
167views Virtual Reality» more  VR 2009»
14 years 2 months ago
High Resolution Video Playback in Immersive Virtual Environments
High resolution 2D video content in High Definition or higher resolutions has become widespread and video playback of such media in immersive virtual environments (VE) will be a ...
Han Suk Kim, Jürgen P. Schulze
POPL
1997
ACM
13 years 12 months ago
Shape Types
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
Pascal Fradet, Daniel Le Métayer
AIIDE
2009
13 years 8 months ago
Demonstrating Automatic Content Generation in the Galactic Arms Race Video Game
In most modern video games, content (e.g. models, levels, weapons, etc.) shipped with the game is static and unchanging, or at best, randomized within a narrow set of parameters. ...
Erin J. Hastings, Ratan K. Guha, Kenneth O. Stanle...