Ulrich Herzog - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 31 from 31

2002

Unified specification and performance evaluation using stochastic process algebrasRoberto Gorrieri, Ulrich Herzog, Jane Hillston. pe, 50(2/3):79-82, 2002.

Process algebra for performance evaluationHolger Hermanns, Ulrich Herzog, Joost-Pieter Katoen. TCS, 274(1-2):43-87, 2002. [doi]

2001

Performance validation tools for software/hardware systemsUlrich Herzog, Jerome A. Rolia. pe, 45(2-3):125-146, 2001.

2000

Compositional performance modelling with the TIPPtoolHolger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle. pe, 39(1-4):5-35, 2000.

Formal Methods for Performance EvaluationUlrich Herzog. eef 2001: 1-37 [doi]

1999

Process algebras are getting mature for performance evaluation?!Ulrich Herzog. sigmetrics, 27(3):15-18, 1999. [doi]

1998

1997

Exploiting stochastic process algebra achievements for generalized stochastic Petri netsHolger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach. pnpm 1997: 183-192 [doi]

1995

The Mothod of Moments for Higher Moments and the Usefulness of Formula Manipulation SystemsMartin Paterok, Peter Dauphin, Ulrich Herzog. mmb 1995: 56-70

1994

Stochastic process algebras: integrating qualitative and quantitative modellingJane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach. forte 1995: 449-451

1993

Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process AlgebrasNorbert Götz, Ulrich Herzog, Michael Rettelbach. sigmetrics 1993: 121-146

Constructive modelling and design basic research within the European QMIPS-projectUlrich Herzog. pnpm 1993: 88-95 [doi]

1992

TIPP - Introduction and Application to Protocol Performance AnalysisNorbert Götz, Ulrich Herzog, Michael Rettelbach. fbt 1993: 105-125

1990

Formal Description, Time and Performance Analysis. A FrameworkUlrich Herzog. Dagstuhl 1990: 172-190

1989

Leistungsbewertung und Modellbildung für ParallelrechnerUlrich Herzog. it, 31(1):31-38, 1989. [doi]

1988

Performance evaluation principles for vector- and multiprocessor systemsUlrich Herzog. pc, 7(3):425-438, 1988. [doi]

1987

Der Einfluß des Wiederholrufeffekts auf die Leistungsgrößen von VerlustsystemenUlrich Herzog, Martin Paterok, C. Vogel. mmb 1987: 65-78

1983

Experiences with Performance Measurement and Modeling of a Processor ArrayHansjörg Fromm, Uwe Hercksen, Ulrich Herzog, Karl-Heinz John, Rainer Klar, Wolfgang Kleinöder. TC, 32(1):15-31, 1983.

1979

Synchronization Problems in Hierarchically Organized Multiprocessor Computer SystemsUlrich Herzog, W. Hoffmann. performance 1979: 29-48

1977

Approximation von verteilungsfunktionen, ein wichtiger Schritt bei der Modellbildung für RechensystemeWerner Bux, Ulrich Herzog. mmb 1977: 1-15

1975

Approximate Analysis of General Queuing NetworksK. Mani Chandy, Ulrich Herzog, Lin S. Woo. ibmrd, 19(1):43-49, 1975.

Parametric Analysis of Queuing NetworksK. Mani Chandy, Ulrich Herzog, Lin S. Woo. ibmrd, 19(1):36-42, 1975.

Optimal Scheduling Strategies for Real-Time ComputersUlrich Herzog. ibmrd, 19(5):494-504, 1975.

Solution of Queuing Problems by a Recursive TechniqueUlrich Herzog, Lin S. Woo, K. Mani Chandy. ibmrd, 19(3):295-300, 1975.

1974

Message-switching networks with alternate routingUlrich Herzog. it, 16(5):174-181, 1974.

Analyse von Betriebssystem- Modellen für Rechnersysteme mit Multiprogramming and PagingUlrich Herzog, W. Krämer, Paul J. Kühn, M. Wizgall. arcs 1974: 266-288

1973

Verkehrsfluss in Datennetzen: Traffic flow in data networksUlrich Herzog. PhD thesis, University of Stuttgart, Germany, 1973. [doi]

Sign in or sign up to see more results.

runs on WebDSL

翻译：