( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Large-Scale System Monitoring Experiences and Recommendations.

, , , , , , , , , , , , , , , , , , , , , , , , , , , , и . CLUSTER, стр. 532-542. IEEE Computer Society, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Richard Gerber

Helmut Richard Gerber

Adolf Gerber

Hanns Gerber

Hans Gerber

 

Другие публикации лиц с тем же именем

A process algebraic approach to the specification and analysis of resource-bound real-time systems., , и . Proc. IEEE, 82 (1): 158-171 (1994)Appropriate Interfaces Between Design Tools, Languages, Compilers and Runtimes in Real-Time Systems (Panel)., , , , и . Workshop on Languages, Compilers, & Tools for Real-Time Systems, стр. 124. ACM, (1995)Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach., , и . ISSTA, стр. 113-123. ACM, (1998)A Proof System for Communicating Shared Resources., и . RTSS, стр. 288-299. IEEE Computer Society, (1990)Specification and Analysis of Resource-Bound Real-Time Systems., и . REX Workshop, том 600 из Lecture Notes in Computer Science, стр. 371-396. Springer, (1991)Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic., , и . CAV, том 1254 из Lecture Notes in Computer Science, стр. 400-411. Springer, (1997)Slicing Real-Time Programs for Enhanced Schedulability., и . ACM Trans. Program. Lang. Syst., 19 (3): 525-555 (1997)ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities., , и . CONCUR, том 715 из Lecture Notes in Computer Science, стр. 417-431. Springer, (1993)Implementing a Real-Time Process Algebra in HOL., , и . TPHOLs, стр. 144-154. IEEE Computer Society, (1991)Distributed Genetic Programming In Java, , и . Late Breaking Papers at the 1997 Genetic Programming Conference, стр. 81--86. Stanford University, CA, USA, Stanford Bookstore, (13--16 July 1997)