Author of the publication

Balancing Load under Large and Fast Load Changes in Distributed Computing Systems - A Case Study.

, and . CONPAR, volume 854 of Lecture Notes in Computer Science, page 854-865. Springer, (1994)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Experiment on Parallel Model Checking of a CTL Fragment., , and . ATVA, volume 7561 of Lecture Notes in Computer Science, page 284-299. Springer, (2012)Process Calculi at Work - An Account of the LCS Project.. PSLS, volume 1068 of Lecture Notes in Computer Science, page 344-361. Springer, (1995)Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina., , and . CoRR, (2015)Sleptsov nets are Turing-complete., and . Theor. Comput. Sci., (February 2024)Modeling and Verification of Time Dependent Systems Using Time Petri Nets., and . IEEE Trans. Software Eng., 17 (3): 259-273 (1991)Presentation of the 9th Edition of the Model Checking Contest., , , , , , , , , and 9 other author(s). TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 50-68. Springer, (2019)Time Petri Nets Analysis with TINA., and . QEST, page 123-124. IEEE Computer Society, (2006)An Enumerative Approach for Analyzing Time Petri Nets., and . IFIP Congress, page 41-46. North-Holland/IFIP, (1983)Formal verification of complex robotic systems on resource-constrained platforms., , , , , and . FormaliSE@ICSE, page 2-9. ACM, (2018)Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction., , and . ISPDC, page 9-16. IEEE Computer Society, (2011)