1271 search results - page 96 / 255 » On Simulation-Checking with Sequential Systems |
IPPS
2000
IEEE
14 years 3 months ago
2000
IEEE
Consider any known sequential algorithm for matrix multiplication over an arbitrary ring with time complexity O N , where 2 3. We show that such an algorithm can be parallelize...
ICDCS
1996
IEEE
14 years 2 months ago
1996
IEEE
This paper presents a detailed comparison of the relative importance of allowing concurrent writers versus the choice of the underlying consistency model. Our comparison is based ...
IJPP
2006
13 years 10 months ago
2006
Chip multiprocessors hold great promise for achieving scalability in future systems. Microthreaded chip multiprocessors add a means of exploiting legacy code in such systems. Usin...
RAS
2000
13 years 10 months ago
2000
A mobile agent with the task to classify its sensor pattern has to cope with ambiguous information. Active recognition of three-dimensional objects involves the observer in a sear...
PAMI
2002
13 years 10 months ago
2002
We introduce a formalism for optimal sensor parameter selection for iterative state estimation in static systems. Our optimality criterion is the reduction of uncertainty in the st...