Sciweavers

34202 search results - page 6698 / 6841
» The Tera computer system
Sort
View
ISCA
2007
IEEE
146views Hardware» more  ISCA 2007»
14 years 3 months ago
Hardware atomicity for reliable software speculation
Speculative compiler optimizations are effective in improving both single-thread performance and reducing power consumption, but their implementation introduces significant compl...
Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, ...
ISCA
2007
IEEE
196views Hardware» more  ISCA 2007»
14 years 3 months ago
Anton, a special-purpose machine for molecular dynamics simulation
The ability to perform long, accurate molecular dynamics (MD) simulations involving proteins and other biological macromolecules could in principle provide answers to some of the ...
David E. Shaw, Martin M. Deneroff, Ron O. Dror, Je...
ISMAR
2007
IEEE
14 years 3 months ago
An Industrial Augmented Reality Solution For Discrepancy Check
Construction companies employ CAD software during the planning phase, but what is finally built often does not match the original plan. The procedure of validating the model is c...
Pierre Georgel, Pierre Schroeder, Selim Benhimane,...
IV
2007
IEEE
157views Visualization» more  IV 2007»
14 years 3 months ago
Haptic Gaze-Tracking Based Perception of Graphical User Interfaces
This paper presents a novel human-computer interface that enables the computer display to be perceived without any use of the eyes. Our system works by tracking the user’s head ...
Simon Meers, Koren Ward
KBSE
2007
IEEE
14 years 3 months ago
Tools for model-based security engineering: models vs. code
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
Jan Jürjens, Yijun Yu
« Prev « First page 6698 / 6841 Last » Next »