-
1
-
-
0006762984
-
-
Thèse de Docteur de l'Institut National Polytechnique de Grenoble, 24 September Grenoble, France
-
K. ATIF, Modélisation du Parallélisme et de la Synchronisation. Thèse de Docteur de l'Institut National Polytechnique de Grenoble, 24 September 1992, Grenoble, France.
-
(1992)
Modélisation du Parallélisme et de la Synchronisation
-
-
Atif, K.1
-
2
-
-
1842763093
-
Quantitative Methods in Parallel Systems, Part I: Stochastic Process Algebras
-
pF. BACCELLI, A. JEAN-MARIE and I. MITRANI, Eds., Quantitative Methods in Parallel Systems, Part I: Stochastic Process Algebras; Basic Research Series, Springer, 1995.
-
(1995)
Basic Research Series, Springer
-
-
Baccelli, Pf.1
Jean-Marie, A.2
Mitrani, I.3
-
3
-
-
0000840867
-
Equivalence Relations for Stochastic Automata Networks
-
W.J. Stewart, Ed., Kluwer International Publishers, Boston
-
P. BUCHHOLZ, Equivalence Relations for Stochastic Automata Networks. Computations with Markov Chains; Proceedings of the 2nd International Meeting on the Numerical Solution of Markov Chains, W.J. Stewart, Ed., Kluwer International Publishers, Boston, 1995.
-
(1995)
Computations with Markov Chains; Proceedings of the 2nd International Meeting on the Numerical Solution of Markov Chains
-
-
Buchholz, P.1
-
4
-
-
1842813479
-
Hierarchical Markovian Models - Symmetries and Aggregation
-
Ed. R. Pooley, J. Hillston, Edinburgh, Scotland
-
P. BUCHHOLZ, Hierarchical Markovian Models - Symmetries and Aggregation; Modelling Techniques and Tools for Computer Performance Evaluation, Ed. R. Pooley, J. Hillston, Edinburgh, Scotland, 1992, pp. 234-246.
-
(1992)
Modelling Techniques and Tools for Computer Performance Evaluation
, pp. 234-246
-
-
Buchholz, P.1
-
5
-
-
0019530364
-
Kronecker Products and Shuffle Algebra
-
M. DAVIO, Kronecker Products and Shuffle Algebra. IEEE Trans. Comput, C-30, No. 2, 1981, pp. 1099-1109.
-
(1981)
IEEE Trans. Comput
, vol.C-30
, Issue.2
, pp. 1099-1109
-
-
Davio, M.1
-
6
-
-
0027626274
-
Superposed Stochastic Automata: A Class of Stochastic Petri Nets with Parallel Solution and Distributed State Space
-
S. DONATELLI, Superposed Stochastic Automata: A Class of Stochastic Petri Nets with Parallel Solution and Distributed State Space. Performance Evaluation, 18, 1993, pp. 21-36.
-
(1993)
Performance Evaluation
, vol.18
, pp. 21-36
-
-
Donatelli, S.1
-
7
-
-
11744363755
-
Numerical Issues for Stochastic Automata Networks
-
Edited by Marina Ribaudo, Published by CLUT, Torino, July
-
P. FERNANDES, B. PLATEAU and W. J. STEWART, Numerical Issues for Stochastic Automata Networks. Proceeding of the Fourth Process Algebras and Performance Modelling Workshop. Edited by Marina Ribaudo, Published by CLUT, Torino, July 1996.
-
(1996)
Proceeding of the Fourth Process Algebras and Performance Modelling Workshop
-
-
Fernandes, P.1
Plateau, B.2
Stewart, W.J.3
-
8
-
-
84957826665
-
Efficient Vector-Descriptor Multiplications in Stochastic Automata Networks
-
P. FERNANDES, B. PLATEAU and W. J. STEWART, Efficient Vector-Descriptor Multiplications in Stochastic Automata Networks. INRIA Report # 2935. Anonymous ftp ftp ftp.inria.fr/INRIA/Publication/RR.
-
INRIA Report # 2935
-
-
Fernandes, P.1
Plateau, B.2
Stewart, W.J.3
-
9
-
-
0002430788
-
Graphs and Stochastic Automata Networks
-
W.J. Stewart, Ed., Kluwer Int. Publishers, Boston
-
J.-M. FOURNEAU and F. QUESSETTE, Graphs and Stochastic Automata Networks. Computations with Markov Chains; Proceedings of the 2nd International Meeting on the Numerical Solution of Markov Chains, W.J. Stewart, Ed., Kluwer Int. Publishers, Boston, 1995.
-
(1995)
Computations with Markov Chains; Proceedings of the 2nd International Meeting on the Numerical Solution of Markov Chains
-
-
Fourneau, J.-M.1
Quessette, F.2
-
10
-
-
0001828543
-
Syntax, Semantics, Equivalences, and Axioms for MTIPP
-
U. Herzog, M. Rettelbach, Ed., Arbeitsberichte, Erlangen
-
H. HERMANNS and M. RETTELBACH, Syntax, Semantics, Equivalences, and Axioms for MTIPP. Proc. of the 2nd Workshop on Process Algebras and Performance Modelling, U. Herzog, M. Rettelbach, Ed., Arbeitsberichte, Band 27, No. 4, Erlangen, 1994.
-
(1994)
Proc. of the 2nd Workshop on Process Algebras and Performance Modelling
, vol.27
, Issue.4
-
-
Hermanns, H.1
Rettelbach, M.2
-
11
-
-
1842763094
-
Computational Markovian Modelling using a Process Algebra
-
W.J. Stewart, Ed., Kluwer Int. Publishers, Boston
-
J. HILLSTON, Computational Markovian Modelling using a Process Algebra. Computations with Markov Chains; Proceedings of the 2nd International Meeting on the Numerical Solution of Markov Chains, W.J. Stewart, Ed., Kluwer Int. Publishers, Boston, 1995.
-
(1995)
Computations with Markov Chains; Proceedings of the 2nd International Meeting on the Numerical Solution of Markov Chains
-
-
Hillston, J.1
-
12
-
-
0003909482
-
Closing the Gap between Classical and Tensor Based Iteration Techniques
-
W.J. Stewart, Ed., Kluwer Int. Publishers, Boston
-
P. KEMPER, Closing the Gap between Classical and Tensor Based Iteration Techniques. Computations with Markov Chains; Proc. of the 2nd International Meeting on the Numerical Solution of Markov Chains, W.J. Stewart, Ed., Kluwer Int. Publishers, Boston, 1995.
-
(1995)
Computations with Markov Chains; Proc. of the 2nd International Meeting on the Numerical Solution of Markov Chains
-
-
Kemper, P.1
-
14
-
-
0026239753
-
Stochastic Automata Network for Modelling Parallel Systems
-
B. PLATEAU and K. ATIF, Stochastic Automata Network for Modelling Parallel Systems. IEEE Trans. on Software Engineering, 17, No. 10, 1991, pp. 1093-1108.
-
(1991)
IEEE Trans. on Software Engineering
, vol.17
, Issue.10
, pp. 1093-1108
-
-
Plateau, B.1
Atif, K.2
-
16
-
-
0002669609
-
PEPS: A Package for Solving Complex Markov Models of Parallel Systems
-
R. Puigjaner, D. Potier, Eds., Spain, September
-
B. PLATEAU, J. M. FOURNEAU and K. H. LEE, PEPS: A Package for Solving Complex Markov Models of Parallel Systems. In R. Puigjaner, D. Potier, Eds., Modelling Techniques and Tools for Computer Performance Evaluation, Spain, September 1988.
-
(1988)
Modelling Techniques and Tools for Computer Performance Evaluation
-
-
Plateau, B.1
Fourneau, J.M.2
Lee, K.H.3
-
17
-
-
1842712621
-
On Efficient Markov Modelling
-
Sophia-Antipolis, France, November
-
M. SIEGLE, On Efficient Markov Modelling. In Proc. QMIPS Workshop on Stochastic Petri Nets, pp. 213-225. Sophia-Antipolis, France, November 1992.
-
(1992)
Proc. QMIPS Workshop on Stochastic Petri Nets
, pp. 213-225
-
-
Siegle, M.1
-
19
-
-
35248896056
-
Marca: Markov Chain Analyzer
-
Also IRISA Publication Interne No. 45, Université de Rennes, France
-
W. J. STEWART, Marca: Markov Chain Analyzer. IEEE Computer Repository No. R76 232, 1976. Also IRISA Publication Interne No. 45, Université de Rennes, France.
-
(1976)
IEEE Computer Repository No. R76 232
-
-
Stewart, W.J.1
-
20
-
-
0000392810
-
The Numerical Solution of Stochastic Automata Networks
-
W. J. STEWART, K. ATIF and B. PLATEAU, The Numerical Solution of Stochastic Automata Networks. European Journal of Operations Research, 86, No. 3, 1995, pp. 503-525.
-
(1995)
European Journal of Operations Research
, vol.86
, Issue.3
, pp. 503-525
-
-
Stewart, W.J.1
Atif, K.2
Plateau, B.3
-
21
-
-
0001189029
-
Numerical analysis of superposed GSPNs
-
Sept. 96
-
P. KEMPER, Numerical analysis of superposed GSPNs. IEEE Trans. on Software Engineering, Vol. 22(9), Sept. 96.
-
IEEE Trans. on Software Engineering
, vol.22
, Issue.9
-
-
Kemper, P.1
|