2870 search results - page 328 / 574 » Synchronization of multi-agent systems |
121
click to vote
OSDI
1994
ACM
15 years 6 months ago
1994
ACM
Structural changes, such as file creation and block allocation, have consistently been identified as file system performance problems in many user environments. We compare several...
119
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper describes realtime and robust tracking of a planar motion target by matched filter implemented on the CMOS+FPGA vision system. It is required to obtain positional a...
144
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
137
click to vote
ICDM
2003
IEEE
15 years 10 months ago
2003
IEEE
We extend the problem of association rule mining – a key data mining problem – to systems in which the database is partitioned among a very large number of computers that are ...
143
click to vote
MEMOCODE
2003
IEEE
15 years 10 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...