609 search results - page 53 / 122 » Computation of Homology Groups and Generators |
EDOC
2002
IEEE
15 years 4 months ago
2002
IEEE
The Object Management Group (OMG) is pursuing its new Model-Driven Architecture (MDA) strategy. The Meta-Object Facility (MOF) is an important technology to support the MDA, both ...
PPOPP
2009
ACM
16 years 11 days ago
2009
ACM
Message Passing Interface (MPI) is a widely used standard for managing coarse-grained concurrency on distributed computers. Debugging parallel MPI applications, however, has alway...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
109
click to vote
STACS
2009
Springer
15 years 6 months ago
2009
Springer
Motivated by the quantum algorithm for testing commutativity of black-box groups (Magniez and Nayak, 2007), we study the following problem: Given a black-box finite ring by an add...
109
click to vote
CAD
2005
Springer
14 years 11 months ago
2005
Springer
For generalized cylinders (GC) defined by contours of discrete curves, we propose two algorithms to generate GC surfaces (1) in polygonal meshes and (2) in cylindrical type of dev...