Haverkort, Boudewijn R., 1964-....
Haverkort, Boudewijn R.
Haverkort, Boudewijn R. (Boudewijn Remigius Heinrich Maria), 1964-
VIAF ID: 64906532 ( Personal )
Permalink: http://viaf.org/viaf/64906532
Preferred Forms
-
-
-
-
- 100 1 0 ‡a Haverkort, Boudewijn R.
- 100 1 _ ‡a Haverkort, Boudewijn R.
-
-
- 100 1 _ ‡a Haverkort, Boudewijn R. ‡d 1964-
-
- 100 1 _ ‡a Haverkort, Boudewijn R., ‡d 1964-....
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
1988 overview of memoranda and PhD theses | |
Approximate performability analysis using generalized stochastic Petri nets | |
Computer performance evaluation : modelling techniques and tools : 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings | |
CSL model checking of Deterministic and Stochastic Petri Nets | |
Distributed computer systems and logistics systems: what do they have in common besides distribution? | |
Dynamic queueing networks | |
Dynamic workload modelling of high speed token rings in a metropolitan area network | |
Exploration de l'espace de design assistée par ordinateur pour les systèmes multi-coeurs. | |
A method for analysing the performance aspects of the fault-tolerance mechanisms in FDDI | |
MGMtool: a performance modelling tool based on matrix geomatric techniques | |
MMB 2001 | |
Model checking infinite-state Markov chains | |
On computer-aided design-space exploration for multi-cores | |
Performance evaluation of ATM cell scheduling policies using stochastic Petri nets | |
Performance of computer communication systems, 1998: | |
Polling models: theory and applications | |
Product forms for availability | |
Quantitative Evaluation of Systems : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings | |
Sensitivity and uncertainty analysis in performability modelling | |
Specification and generation of Markov reward models | |
Tagungsband : 11. GI/ITG Fachtagung über Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen : 11. bis 14. September 2001 in Aachen | |
A theory of describing performability models | |
TOOLS 2000 | |
Validation of stochastic systems a guide to current research | |
Verborgen verbonden |