Sciweavers

3281 search results - page 154 / 657
» An Approach to use Executable Models for Testing
Sort
View
PVM
2005
Springer
15 years 8 months ago
Calculation of Single-File Diffusion Using Grid-Enabled Parallel Generic Cellular Automata Simulation
Parallel execution of simulation runs has become indispensable in different research areas recently. One of the most promising and powerful models in science are cellular automata ...
Marcus Komann, Christian Kauhaus, Dietmar Fey
132
Voted
CHI
2007
ACM
16 years 3 months ago
Context & usability testing: user-modeled information presentation in easy and difficult driving conditions
A 2x2 enhanced Wizard-of-Oz experiment (N = 32) was conducted to compare two different approaches to presenting information to drivers in easy and difficult driving conditions. Da...
Jiang Hu, Andi Winterboer, Clifford Nass, Johanna ...
ICIP
2001
IEEE
16 years 4 months ago
Supervised segmentation and tracking of nonrigid objects using a "mixture of histograms" model
Segmentation and tracking of objects in video sequences is important for a number of applications. In the supervised variant, segmentation can be achieved by modelling the probabi...
Mark Everingham, Barry T. Thomas
DATE
2007
IEEE
155views Hardware» more  DATE 2007»
15 years 9 months ago
Design fault directed test generation for microprocessor validation
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
Deepak Mathaikutty, Sandeep K. Shukla, Sreekumar V...
SAC
2008
ACM
15 years 2 months ago
Automatic software fault localization using generic program invariants
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...
Rui Abreu, Alberto González 0002, Peter Zoe...