Sciweavers

1472 search results - page 197 / 295
» Technique Integration for Requirements Assessment
Sort
View
EGH
2007
Springer
16 years 17 days ago
Programmable shaders for deformation rendering
In this paper, we present a method for rendering deformations as part of the programmable shader pipeline of contemporary Graphical Processing Units. In our method, we allow gener...
Carlos D. Correa, Deborah Silver
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
16 years 14 days ago
Static and Dynamic Weaving in System Software with AspectC++
— System software strongly relies on the availability of static as well as dynamic adaptation techniques. With AspectOriented Programming (AOP) it is now possible to adapt even p...
Wolfgang Schröder-Preikschat, Daniel Lohmann,...
IPPS
2006
IEEE
16 years 13 days ago
A framework to develop symbolic performance models of parallel applications
Performance and workload modeling has numerous uses at every stage of the high-end computing lifecycle: design, integration, procurement, installation and tuning. Despite the trem...
Sadaf R. Alam, Jeffrey S. Vetter
CP
2005
Springer
15 years 12 months ago
Using SAT in QBF
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
Horst Samulowitz, Fahiem Bacchus
SG
2005
Springer
15 years 12 months ago
VR-Mirror: A Virtual Reality System for Mental Practice in Post-Stroke Rehabilitation
Developments in basic neurological research and techniques used to train professional athletes suggest that one way of facilitating this learning process of motor schemas is throug...
José Antonio Lozano, Javier Montesa, Mari C...