Sciweavers

4270 search results - page 480 / 854
» Implementation of interactive poster
Sort
View
154
Voted
SWSTE
2005
IEEE
16 years 13 days ago
A Process-Complete Automatic Acceptance Testing Framework
We present a new automated software acceptance tests framework. The framework is novel in supporting the entire lifecycle and all QA activities, including test maintenance over mu...
David Talby, Ori Nakar, Noam Shmueli, Eli Margolin...
162
Voted
TPHOL
2005
IEEE
16 years 13 days ago
On the Correctness of Operating System Kernels
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach...
172
Voted
WCRE
2005
IEEE
16 years 13 days ago
Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages
— Chuck is a new code browser that allows navigation of a code base along semantic structures, such as data-flow and higher-order control-flow relationships. Employing the fast...
S. Alexander Spoon, Olin Shivers
166
Voted
SI3D
2005
ACM
16 years 13 days ago
A lighting model for general participating media
Efficient and visually compelling reproduction of effects due to multiple scattering in participating media remains one of the most difficult tasks in computer graphics. Althoug...
Kyle Hegeman, Michael Ashikhmin, Simon Premoze
191
Voted
VRST
2005
ACM
16 years 13 days ago
Real time tracking of high speed movements in the context of a table tennis application
In this paper we summarize the experiences we made with the implementation of a table tennis application. After describing the hardware necessities of our system we give insight i...
Stephan Rusdorf, Guido Brunnett