Sciweavers

3544 search results - page 482 / 709
» Software Testing
Sort
View
99
Voted
CVPR
2006
IEEE
15 years 6 months ago
A Modular Approach to the Analysis and Evaluation of Particle Filters for Figure Tracking
This paper presents the first systematic empirical study of the particle filter (PF) algorithms for human figure tracking in video. Our analysis and evaluation follows a modula...
Ping Wang, James M. Rehg
109
Voted
ATAL
2003
Springer
15 years 4 months ago
An exploration of bugs and debugging in multi-agent systems
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...
David Poutakidis, Lin Padgham, Michael Winikoff
104
Voted
DAC
2007
ACM
16 years 1 months ago
Automatic Verification of External Interrupt Behaviors for Microprocessor Design
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang
90
Voted
OSDI
2008
ACM
16 years 1 months ago
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
Manjunath Kudlur, Scott A. Mahlke, Stéphane...
PVM
2004
Springer
15 years 6 months ago
Heterogeneous Parallel Computing Across Multidomain Clusters
We propose lightweight middleware solutions that facilitate and simplify the execution of MPI programs across multidomain clusters. The system described in this paper leverages H2O...
Peter Hwang, Dawid Kurzyniec, Vaidy S. Sunderam