-
1
-
-
0027796306
-
SURF-2: A program for dependability evaluation of complex hardware and software systems
-
C. Béounes, M. Aguéra, J. Arlat, S. Bachmann, C. Bourdeau, J.-E. Doucet, K. Kanoun, J.-C. Laprie, S. Metge, J.M. de Souza, D. Powell, P. Spiesser, SURF-2: A program for dependability evaluation of complex hardware and software systems, in: Proc. 23rd Int. Symp. on Fault-Tolerant Computing, 1993, pp. 668-673.
-
(1993)
Proc. 23rd Int. Symp. on Fault-Tolerant Computing
, pp. 668-673
-
-
Béounes, C.1
Aguéra, M.2
Arlat, J.3
Bachmann, S.4
Bourdeau, C.5
Doucet, J.-E.6
Kanoun, K.7
Laprie, J.-C.8
Metge, S.9
De Souza, J.M.10
Powell, D.11
Spiesser, P.12
-
2
-
-
0039069180
-
An object oriented methodology for the specification of Markov models
-
Marcel Dekker, New York
-
S. Berson, E. de Souza e Silva, R.R. Muntz, An object oriented methodology for the specification of Markov models, in: Numerical Solution of Markov Chains, Marcel Dekker, New York, 1991, pp. 11-36.
-
(1991)
Numerical Solution of Markov Chains
, pp. 11-36
-
-
Berson, S.1
De Souza E Silva, E.2
Muntz, R.R.3
-
3
-
-
0348155177
-
Adding performance aspects to specification languages
-
S. Aggarwal, K. Sabnani (Eds.), North-Holland, Amsterdam
-
G.V. Bochmann, J. Vaucher, Adding performance aspects to specification languages, in: S. Aggarwal, K. Sabnani (Eds.). Proc. Protocol Specification, Testing and Verification VIII - IFIP, North-Holland, Amsterdam, 1988, pp. 19-31.
-
(1988)
Proc. Protocol Specification, Testing and Verification VIII - IFIP
, pp. 19-31
-
-
Bochmann, G.V.1
Vaucher, J.2
-
4
-
-
0022565795
-
METFAC: Design and implementation of a software tool for modeling and evaluation of complex fault-tolerant computing systems
-
J.A. Carrasco, J. Figueras, METFAC: Design and implementation of a software tool for modeling and evaluation of complex fault-tolerant computing systems, FTCS 16 (1986) 424-429.
-
(1986)
FTCS
, vol.16
, pp. 424-429
-
-
Carrasco, J.A.1
Figueras, J.2
-
6
-
-
0022203536
-
A software package for analysis of generalized stochastic Petri net models
-
Torino, Italy
-
G. Chiola, A software package for analysis of generalized stochastic Petri net models, in: Proc. Int. Workshop on Timed Petri Net Models, Torino, Italy, 1985, pp. 136-143.
-
(1985)
Proc. Int. Workshop on Timed Petri Net Models
, pp. 136-143
-
-
Chiola, G.1
-
7
-
-
0024908784
-
SPNP: Stochastic Petri net package
-
G. Ciardo, J. Muppala, K.S. Trivedi, SPNP: stochastic Petri net package, in: Proc. 3rd Int. Workshop on Petri-nets and Performance Models, 1989, pp. 142-151.
-
(1989)
Proc. 3rd Int. Workshop on Petri-nets and Performance Models
, pp. 142-151
-
-
Ciardo, G.1
Muppala, J.2
Trivedi, K.S.3
-
8
-
-
0022704334
-
Calculating cumulative operational time distributions of repairable computer systems
-
E. de Souza e Silva, H.R. Gail, Calculating cumulative operational time distributions of repairable computer systems, IEEE Trans. Comput. C 35 (4) (1986) 322-332.
-
(1986)
IEEE Trans. Comput. C
, vol.35
, Issue.4
, pp. 322-332
-
-
De Souza E Silva, E.1
Gail, H.R.2
-
10
-
-
0348155179
-
An algorithm to calculate transient distributions of cumulative rate and impulse based reward
-
to appear
-
E. de Souza e Silva, H.R. Gail, An algorithm to calculate transient distributions of cumulative rate and impulse based reward, Comm. Statist. Stochastic Models, to appear.
-
Comm. Statist. Stochastic Models
-
-
De Souza E Silva, E.1
Gail, H.R.2
-
11
-
-
0043028726
-
Efficient solutions for a class of non-Markovian models
-
Kluwer Academic, Dordrecht
-
E. de Souza e Silva, H.R. Gail, R.R. Muntz, Efficient solutions for a class of non-Markovian models, in: Computations with Markov Chains, Kluwer Academic, Dordrecht, 1995, pp. 483-506.
-
(1995)
Computations with Markov Chains
, pp. 483-506
-
-
De Souza E Silva, E.1
Gail, H.R.2
Muntz, R.R.3
-
12
-
-
85015476742
-
Calculating transient distributions of cumulative reward
-
E. de Souza e Silva, H.R. Gail, R. Vallejos Campos, Calculating transient distributions of cumulative reward, in: Proc. Performance'95 and 1995 ACM SIGMETRICS Conf., 1995, pp. 231-240.
-
(1995)
Proc. Performance'95 and 1995 ACM Sigmetrics Conf.
, pp. 231-240
-
-
De Souza E Silva, E.1
Gail, H.R.2
Vallejos Campos, R.3
-
13
-
-
0004236492
-
-
The John Hopkins University Press, Baltimore
-
G.H. Golub, C.F. van Loan, Matrix Computation, 2nd ed., The John Hopkins University Press, Baltimore, 1989.
-
(1989)
Matrix Computation, 2nd Ed.
-
-
Golub, G.H.1
Van Loan, C.F.2
-
14
-
-
0022614685
-
The system availability estimator
-
A. Goyal, W.C. Carter, E. de Souza e Silva, S.S. Lavenberg, K.S. Trivedi, The system availability estimator, FTCS 16 (1986) 84-89.
-
(1986)
FTCS
, vol.16
, pp. 84-89
-
-
Goyal, A.1
Carter, W.C.2
De Souza E Silva, E.3
Lavenberg, S.S.4
Trivedi, K.S.5
-
15
-
-
0000572102
-
Equilibrium distribution of block-structured markov chains with repealing rows
-
W.K. Grassmann, D.P. Heyman, Equilibrium distribution of block-structured markov chains with repealing rows, J. Appl. Probab. 27 (1990) 557-576.
-
(1990)
J. Appl. Probab.
, vol.27
, pp. 557-576
-
-
Grassmann, W.K.1
Heyman, D.P.2
-
16
-
-
0022131573
-
Regenerative analysis and steady state distributions for Markov chains
-
W.K. Grassmann, M.I. Taksar, D.P. Heyman, Regenerative analysis and steady state distributions for Markov chains, Oper. Res. 33 (5) (1985) 1107-1116.
-
(1985)
Oper. Res.
, vol.33
, Issue.5
, pp. 1107-1116
-
-
Grassmann, W.K.1
Taksar, M.I.2
Heyman, D.P.3
-
17
-
-
0030110228
-
Performability modelling tools and techniques
-
B.R. Haverkort, I.G. Niemegeers, Performability modelling tools and techniques, Perform. Eval. 25 (1) (1996) 17-40.
-
(1996)
Perform. Eval.
, vol.25
, Issue.1
, pp. 17-40
-
-
Haverkort, B.R.1
Niemegeers, I.G.2
-
18
-
-
0024133009
-
Survey of software tools for evaluating reliability, availability and serviceability
-
A.M. Johnson Jr., M. Malek, Survey of software tools for evaluating reliability, availability and serviceability, ACM Comput. Surveys 20 (1988) 227-271.
-
(1988)
ACM Comput. Surveys
, vol.20
, pp. 227-271
-
-
Johnson A.M., Jr.1
Malek, M.2
-
20
-
-
0027929689
-
Integrating performance analysis in the context of LOTOS-based design
-
Durham, NC, USA, January
-
M. A. Marsan, A. Bianco, L. Ciminiera, R. Sisto, A. Valenzano, Integrating performance analysis in the context of LOTOS-based design, in: Proc. 2nd MASCOTS, Durham, NC, USA, January 1994.
-
(1994)
Proc. 2nd Mascots
-
-
Marsan, M.A.1
Bianco, A.2
Ciminiera, L.3
Sisto, R.4
Valenzano, A.5
-
21
-
-
0348155180
-
Peformance evaluation of distributed systems specified in Estelle
-
P. Mejia Ochoa, E. de Souza e Silva, A. Pedrosa, Peformance evaluation of distributed systems specified in Estelle (in Portuguese), in: Proc. 10th Brazilian Symp. on Computer Networks, 1992, pp. 19-34.
-
(1992)
Proc. 10th Brazilian Symp. on Computer Networks
, pp. 19-34
-
-
Mejia Ochoa, P.1
De Souza E Silva, E.2
Pedrosa, A.3
-
22
-
-
0030257406
-
Efficient solution for a class of Markov chain models of telecommunication systems
-
M. Meo, E. de Souza e Silva, M. Ajmone-Marsan, Efficient solution for a class of Markov chain models of telecommunication systems, in: Perform. Eval. 27/28 (1996) 603-625.
-
(1996)
Perform. Eval.
, vol.27-28
, pp. 603-625
-
-
Meo, M.1
De Souza E Silva, E.2
Ajmone-Marsan, M.3
-
23
-
-
0024680811
-
Stochastic complementation, uncoupling Markov chains, and the theory of nearly reducible systems
-
C.D. Meyer, Stochastic complementation, uncoupling Markov chains, and the theory of nearly reducible systems, SIAM Rev. 31 (2) (1989) 240-272.
-
(1989)
SIAM Rev.
, vol.31
, Issue.2
, pp. 240-272
-
-
Meyer, C.D.1
-
24
-
-
0027880984
-
Interval availability distribution computation
-
G. Rubino, B. Sericola, Interval availability distribution computation, in: FTCS 23 (1993) 48-55.
-
(1993)
FTCS
, vol.23
, pp. 48-55
-
-
Rubino, G.1
Sericola, B.2
-
27
-
-
0008873307
-
MARCA Markov chain analyzer, a software package for Markov chains
-
Marcel Dekker, New York
-
W.J. Stewart, MARCA Markov chain analyzer, a software package for Markov chains, in: Numerical Solution of Markov Chains, Marcel Dekker, New York, 1991, pp. 37-61.
-
(1991)
Numerical Solution of Markov Chains
, pp. 37-61
-
-
Stewart, W.J.1
-
29
-
-
0347525349
-
From queueing networks to Markov chains: The XMARCA interface
-
North Carolina State University
-
W.J. Stewart, R.L. Klevans, From queueing networks to Markov chains: The XMARCA interface, Technical Report, North Carolina State University, 1996.
-
(1996)
Technical Report
-
-
Stewart, W.J.1
Klevans, R.L.2
|