285 search results - page 32 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
156
click to vote
ICIP
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we propose a Boosted Interactively Distributed Particle Filter (BIDPF) to address the problem of automatic multi-object tracking in the application of player tracki...
104
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
104
click to vote
GECCO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This paper describes the application of four evolutionary algorithms to the pruning of neural networks used in classification problems. Besides of a simple genetic algor...
IPPS
2005
IEEE
15 years 7 months ago
2005
IEEE
We introduce a set of techniques to both measure and optimize memory access locality of Java applications running on cc-NUMA servers. These techniques work at the object level and...
109
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...