860 search results - page 51 / 172 » A Process Algebra Based Verification of a Production System |
ICFEM
2007
Springer
14 years 25 days ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
FPL
2010
Springer
13 years 7 months ago
2010
Springer
Heterogeneous or co-processor architectures are becoming an important component of high productivity computing systems (HPCS). In this work the performance of a GPU based HPCS is c...
SIGMOD
2009
ACM
14 years 9 months ago
2009
ACM
We present a complete XPath cost-based optimization and execution framework and demonstrate its effectiveness and efficiency for a variety of queries and datasets. The framework i...
ICIAP
2007
ACM
14 years 3 months ago
2007
ACM
Fusion of multiple face and fingerprint matchers based on different biometrics for personal authentication has been investigated in the last years. However, the performance achiev...
SIGMOD
2004
ACM
14 years 9 months ago
2004
ACM
XML is widely praised for its flexibility in allowing repeated and missing sub-elements. However, this flexibility makes it challenging to develop a bulk algebra, which typically ...