2488 search results - page 471 / 498 » An improvement in formal verification |
132
click to vote
SOSP
2007
ACM
15 years 10 months ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...
203
click to vote
ICTAC
2010
Springer
14 years 11 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
CORR
2007
Springer
15 years 1 months ago
2007
Springer
The k-forest problem is a common generalization of both the k-MST and the dense-k-subgraph problems. Formally, given a metric space on n vertices V , with m demand pairs ⊆ V × ...
204
click to vote
ICDE
2007
IEEE
16 years 2 months ago
2007
IEEE
Entity matching (a.k.a. record linkage) plays a crucial role in integrating multiple data sources, and numerous matching solutions have been developed. However, the solutions have...
204
click to vote
ICDE
1998
IEEE
16 years 2 months ago
1998
IEEE
Discovery of functionaldependencies from relations has been identified as an important database analysis technique. In this paper, we present a new approach for finding functional...