463 search results - page 35 / 93 » Using Observation and Refinement to Improve Distributed Syst... |
138
Voted
ICCD
2000
IEEE
15 years 6 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
167
Voted
ICIP
2008
IEEE
15 years 9 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...
WSC
2000
15 years 3 months ago
2000
This paper presents a logistic algorithm that improves traffic conditions in a network-like automated material handling system (AMHS). The algorithm uses a lookahead procedure and...
114
click to vote
SIGSOFT
2007
ACM
16 years 3 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...
122
click to vote
ICPP
2008
IEEE
15 years 9 months ago
2008
IEEE
Parallel I/O plays an increasingly important role in today’s data intensive computing applications. While much attention has been paid to parallel read performance, most of this...