A Temporal Logic for Programmable Logic Controllers
Garanina, N. O., Anureev, I. S., Zyubin, V. E., Staroletov, S. M., Liakh, T. V., Rozov, A. S., Gorlatch, S. P.
Published in Automatic control and computer sciences (01.12.2021)
Published in Automatic control and computer sciences (01.12.2021)
Get full text
Journal Article
Dedicative Verification of Reflex Programs
Anureev, I. S., Garanina, N. O., Lyakh, T. V., Rozov, A. S., Zyubin, V. E., Gorlatch, S. P.
Published in Programming and computer software (01.07.2020)
Published in Programming and computer software (01.07.2020)
Get full text
Journal Article
Optimization rules for programming with collective operations
Gorlatch, S., Wedler, C., Lengauer, C.
Published in Proceedings - International Parallel Processing Symposium (1999)
Published in Proceedings - International Parallel Processing Symposium (1999)
Get full text
Conference Proceeding
Journal Article
Efficient load balancing for multicast traffic in data center networks using SDN
Nithin, V, Rathod, A., Badarla, V., Humernbrum, T., Gorlatch, S.
Published in 2018 10th International Conference on Communication Systems & Networks (COMSNETS) (01.01.2018)
Published in 2018 10th International Conference on Communication Systems & Networks (COMSNETS) (01.01.2018)
Get full text
Conference Proceeding
A status report on VisPar: a visual tool for designing parallel programs
Gorlatch, S., Kehbel, H.
Published in Proceedings of the International Workshop on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications. IDAACS'2001 (Cat. No.01EX510) (2001)
Published in Proceedings of the International Workshop on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications. IDAACS'2001 (Cat. No.01EX510) (2001)
Get full text
Conference Proceeding
Dynamic service provisioning for multiplayer online games
MÜLLER, Jens, SCHWERDT, Rafael, GORLATCH, Sergei
Published in Lecture notes in computer science (2005)
Get full text
Published in Lecture notes in computer science (2005)
Conference Proceeding
Towards a Scalable Real-Time Cyberinfrastructure for Online Computer Games
Gorlatch, S., Glinka, F., Ploss, A.
Published in 2009 15th International Conference on Parallel and Distributed Systems (01.12.2009)
Published in 2009 15th International Conference on Parallel and Distributed Systems (01.12.2009)
Get full text
Conference Proceeding
Network performance-aware collective communication for clustered wide-area systems
Kielmann, Thilo, Bal, Henri E., Gorlatch, Sergei, Verstoep, Kees, Hofman, Rutger F.H.
Published in Parallel computing (01.10.2001)
Published in Parallel computing (01.10.2001)
Get full text
Journal Article