18 search results - page 3 / 4 » Computing Modular Invariants of p-groups |
CHARME
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
ANTS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We describe the invariants of plane quartic curves -- nonhyperelliptic genus 3 curves in their canonical model -- as determined by Dixmier and Ohno, with application to t...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
ECCV
2002
Springer
14 years 9 months ago
2002
Springer
Principal ComponentAnalysis (PCA) has been successfully applied to construct linear models of shape, graylevel, and motion. In particular, PCA has been widely used to model the var...
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...