J.P.M. Voeten, M.C.W. Geilen, L.J. van Bokhoven, P.H.A. van der Putten and M.P.J. Stevens. A Probabilistic Real-Time Calculus for Performance Evaluation. In: G. Horton, D. Moller and U. Rude, Eds., Proc. of ESS '99, pp. 608--617. Delft (Netherlands): SCS, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
System-Level Modeling and Performance Analysis - Theelen, Voeten, van.. (2000) Self-citation (Voeten Van bokhoven Van der putten Stevens) (Correct)
No context found.
J.P.M. Voeten, M.C.W. Geilen, L.J. van Bokhoven, P.H.A. van der Putten and M.P.J. Stevens. A Probabilistic Real-Time Calculus for Performance Evaluation. In: G. Horton, D. Moller and U. Rude, Eds., Proc. of ESS '99, pp. 608--617. Delft (Netherlands): SCS, 1999.
Alcatel -- TUE Frame Project - Project Performance Analysis Self-citation (Voeten Van bokhoven) (Correct)
No context found.
Voeten, J.P.M. and M.C.W. Geilen, L.J. van Bokhoven, P.H.A. van der Putten, M.P.J. Stevens. A Probabilistic Real-Time Calculus for Performance Evaluation. In: Proceedings of the European Simulation Symposium ESS'99, pp. 608-617, Erlangen (Germany). Delft (Netherlands): SCS, 1999.
Performance Evaluation With Temporal Rewards - Voeten (2002) (1 citation) Self-citation (Voeten) (Correct)
No context found.
J.P.M. Voeten, M.C.W. Geilen, L. van Bokhoven, P.H.A. van der Putten, M.P.J. Stevens, A probabilistic real-time calculus for performance evaluation, in: Proceedings of the 11th European Simulation Symposium, 1999, pp. 608--617.
Formal Models for Encapsulation, Structure and Hierarchy in.. - Geilen Self-citation (Geilen) (Correct)
.... techniques may eventually scale up to larger system, but in particular because it is also possible to perform (formal) nonexhaustive analysis on larger models, such as verifying temporal logic properties during simulations [9] or estimating performance figures from random state space traversals [23]. The developments in this paper are inspired by the use of the formal specification language POOSL ( 22] Parallel Object Oriented Specification Language) and its supporting tools. POOSL is a formal specification language for complex real time distributed systems. It is especially suited to ....
J.P.M. Voeten, M.C.W. Geilen, L.J. van Bokhoven, P.H.A. van der Putten, and M.P.J. Stevens. A probabilistic real-time calculus for performance evaluation. In G. Horton, D. M oller, and U. R ude, editors, Proceedings of the 11th European Simulation Symposium 1999, Erlangen, Germany, pages 608--617, Delft, The Netherlands, 1999. SCS.
Simulating System Level Designs - van Bokhoven, Voeten, Verhappen (1999) Self-citation (Voeten Van bokhoven) (Correct)
....language. Process execution trees are not restricted to POOSL, but are generically applicable to other languages process algebras as well [1] 2] Current models use additional behaviour (described in POOSL) to produce traces for performance analysis based on discrete time Markov chains [4]. If a designer is eager to produce other traces, the model requires adaptation. A more flexible approach is needed to simplify and speed up generating traces. A promising method uses the leaves of process execution trees to generate event information. The computational load will probably be low ....
J.P.M. Voeten, M.C.W. Geilen, L.J. van Bokhoven, P.H.A. van der Putten, M.P.J. Stevens, "A Probabilistic Real-Time Calculus for Performance Evaluation", To be published in Proceedings of European Simulation Symposium 1999, Erlangen (Germany).
Formal Models for Encapsulation, Structure and Hierarchy in.. - Geilen Self-citation (Geilen) (Correct)
.... techniques may eventually scale up to larger system, but in particular because it is also possible to perform (formal) nonexhaustive analysis on larger models, such as verifying temporal logic properties during simulations [9] or estimating performance figures from random state space traversals [23]. The developments in this paper are inspired by the use of the formal specification language POOSL ( 22] Parallel Object Oriented Specification Language) and its supporting tools. POOSL is a formal specification language for complex real time disISBN: 90 73461 18 9 155 c #STW, 1999 10 ....
J.P.M. Voeten, M.C.W. Geilen, L.J. van Bokhoven, P.H.A. van der Putten, and M.P.J. Stevens. A probabilistic RealTime calculus for performance evaluation. In Proceedings of European Simulation Symposium 1999, Erlangen, Germany (to be published), 1999.
Bibliography - Accellera Property Specification (Correct)
No context found.
J.P.M. Voeten, M.C.W. Geilen, L.J. van Bokhoven, P.H.A. van der Putten, and M.P.J. Stevens. A Probabilistic Real-Time Calculus for Performance Evaluation. In: G. Horton, D. M oller, and U. R ude (Eds.), Proceedings of the 11 Simulation Symposium (ESS'99) (Erlangen, Germany, October 26--28), pp. 608--617. SCS-Europe, Delft (The Netherlands), 1999.
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