Result 1 to 20 of 23 total
Random numbers ‒ how can we create randomness in computers? (English)
Vöcking, Berthold (ed.) et al., Algorithms unplugged. Berlin: Springer (ISBN 978-3-642-15327-3/hbk; 978-3-642-15328-0/ebook). 249-258 (2011).
1
Random numbers - how can we create randomness in computers? (English)
Algorithms Unplugged, 249-258 (2011).
2
DELTA: A web-based simulation training environment using JavaDEMOS. (English)
Müller-Clostermann, Bruno (ed.) et al., Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance. 15th international GI/ITG conference, MMB \& DFT 2010, Essen, Germany, March 15‒17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12103-6/pbk). Lecture Notes in Computer Science 5987, 319-322 (2010).
3
Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance. 15th international GI/ITG conference, MMB \& DFT 2010, Essen, Germany, March 15‒17, 2010. Proceedings. (English)
Lecture Notes in Computer Science 5987. Berlin: Springer (ISBN 978-3-642-12103-6/pbk). xi, 323~p. EUR~57.78 (2010).
4
DELTA: A web-based simulation training environment using javademos (English)
MMB/DFT, 319-322 (2010).
5
A simulation framework for the evaluation of scenarios and algorithms for common radio resource management (English)
SimuTools, 16 (2009).
6
Zufallszahlen: wie kommt der zufall in den rechner? (English)
Taschenbuch der Algorithmen, 255-265 (2008).
7
Capsys 2.0 - visual capacity planning for IBM mainframe systems (English)
MMB, 295-298 (2008).
8
Formal methods in concurrent systems engineering: survey and examples. (English)
Löwe, Benedikt (ed.), Algebra, logic, set theory. Festschrift für Ulrich Felgner zum 65. Geburtstag. London: King’s College Publications (ISBN 1-904987-28-1/hbk). Studies in Logic (London) 4, 157-174 (2007).
9
Modeling of common radio resource management scenarios (English)
SpringSim (1), 205-210 (2007).
10
Towards an efficient performance evaluation of communication systems described by message sequence charts. (English)
König, Hartmut (ed.) et al., Formal techniques for networked and distributed systems ‒ FORTE 2003. 23rd IFIP WG 6. 1 international conference, Berlin, Germany, September 29 ‒ October 2, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20175-0/pbk). Lect. Notes Comput. Sci. 2767, 415-429 (2003).
11
Towards an efficient performance evaluation of communication systems described by message sequence charts (English)
FORTE, 415-429 (2003).
12
VITO: A tool for capacity planning of computer systems (English)
MMB (Kurzvorträge), 115-119 (1999).
13
SDL-based performance evaluation - A survey (English)
FBT, 7-22 (1997).
14
QUEST performance evalution of SDL system (English)
MMB (Kurzbeiträge), 126-132 (1997).
15
The QUEST-approach for the performance evaluation of SDL-systems (English)
FORTE, 229-244 (1996).
16
Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols. (English)
IEEE Transactions on Computers 40, No.04, 500-513 (1991).
17
Hierarchical performance evaluation based on formally specified communication protocols (English)
IEEE Trans. Computers 40, No. 4, 500-513 (1991).
18
Modeling and analysis of communication systems based on computational methods for Markov chains (English)
IEEE Journal on Selected Areas in Communications 8, No. 9, 1630-1648 (1990).
19
An approximate product form for a class of degradable queueing networks. (English)
Performance Eval. 8, No.3, 165-172 (1988).
20
Result 1 to 20 of 23 total
Start
Contact
Print
General Help
