with Automatic Symmetry Exploitation Markus Siegle Computer Science...  Home/Search
Context
Related
| www7.informatik.unierlan...wien94.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www7.informatik.unierlange...own (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we present a method and modelling framework following the concept of structured modelling. In particular, we address the state space explosion problem in the context of models which exhibit symmetries (Update)
Similar documents (at the sentence level):
7.2%: Using Structured Modelling for Efficient Performance.. - Markus Siegle (1994) (Correct)
Active bibliography (related documents): More All
0.3: On Efficient Markovian Modelling - Siegle (1992) (Correct)
0.2: Behaviour Analysis of Communication Systems: Compositional.. - Siegle (2002) (Correct)
0.2: Advances in Model Representations - Siegle (2001) (Correct)
Similar documents based on text: More All
0.4: Technique and Tool for Symbolic Representation and Manipulation.. - Siegle (1998) (Correct)
0.3: Observing Parallel Programs at a Flexible Level of Granularity - Klar, Quick, Siegle (Correct)
0.3: Bisimulation Algorithms for Stochastic Process Algebras and.. - Hermanns, Siegle (1999) (Correct)
BibTeX entry: (Update)
@misc{ symmetry-structured,
author = "With Automatic Symmetry",
title = "Structured Markovian Performance Modelling",
url = "citeseer.ist.psu.edu/618282.html" }
Citations (may not include all citations):276 Finite Markov Chains (context) - Kemeny, Snell - 1976
58 Reduced Base Model Construction Methods for Stochastic Activ.. - Sanders, Meyer - 1991
43 PEPS: A Package for Solving Complex Markov Models of Paralle.. (context) - Plateau, Fourneau et al. - 1988
27 On Well-Formed Coloured Nets and their Symbolic Reachability.. (context) - Chiola, Dutheillet et al. - 1990
25 Numerical Solution Methods Based on Structured Descriptions .. (context) - Buchholz - 1992
22 Hierarchical Markovian Models - Symmetries and Reduction - Buchholz - 1992
9 Solution of Large GSPN Models (context) - Ciardo, Trivedi - 1991
9 The Application of EB-Equivalence Rules to the Structural Re.. (context) - Simone, Ajmone-Marsan - 1992
7 the Synchronization Structure of Parallelism and Synchroniza.. (context) - Plateau - 1985
Documents on the same site (http://www7.informatik.uni-erlangen.de/~siegle/own.html): More
Technique and Tool for Symbolic Representation and.. - Markus Siegle (1998) (Correct)
The Interlocking Bus Network For Fault-Tolerant Processor.. - Siegle, Reeves, Kozminski (Correct)
BDD extensions for stochastic transition systems - Siegle (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC