5170 search results - page 66 / 1034 » Consistency of the FastSLAM Algorithm |
CCS
2006
ACM
15 years 5 months ago
2006
ACM
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...
HPCA
2009
IEEE
16 years 1 months ago
2009
IEEE
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...
103
Voted
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Online collaboration and sharing is the central theme of many webbased services that create the so-called Web 2.0 phenomena. Using the Internet as a computing platform, many Web 2...
130
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
118
click to vote
EUROSYS
2009
ACM
15 years 5 months ago
2009
ACM
Weakly consistent replication of data has become increasingly important both for loosely-coupled collections of personal devices and for large-scale infrastructure services. Unfor...