Вы здесь

Gorlatch S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Two-Step Deductive Verification of Control Software Using Reflex 2020 Anureev I., Garanina N., Liakh T., Rozov A., Zyubin V., Gorlatch S. LNCS 28.01.2020
СТ Two-Step Deductive Verification of Control Software Using Reflex 2019 Anureev I., Garanina N., Liakh T., Rozov A., Zyubin V., Gorlatch S. PSI'19 Preliminary Proc. 14.08.2019
СТ Adapting JavaRMI for grid computing 2005 Alt M., Gorlatch S. FGCS 04.06.2005
СТ Generic Parallel Programming Using C++ Templates and Skeletons 2004 Bishof H., Gorlatch S., Leshchinskiy R. Lecture Notes in Computer Science Lecture Notes in Computer Science 24.07.2004
СТ Domain-Specific Optimizations of Composed Parallel Components 2004 Gorlatch S. Lecture Notes in Computer Science Lecture Notes in Computer Science 24.07.2004
СТ Cost Optimality and Predictability of Parallel Programming with Skeletons 2003 Bischof H., Gorlatch S., Kitzelmann E. Lecture Notes in Computer Science 23.09.2003
СТ Using Skeletons in a Java-Based Grid System 2003 Alt M., Gorlatch S. Lecture Notes in Computer Science 23.09.2003
СТ Message Passing without Send-Receive 2002 Gorlatch S. FGCS 23.07.2002
СТ Toward Formally-Based Design of Message Passing Programs 2000 Gorlatch S. IEEE Trans. on Software Engineering 02.04.2002
СТ Send-Recv Considered Harmful? Myths and Truths about Parallel Programming 2001 Gorlatch S. Lecture Notes in Computer Science 21.08.2001
СБ CMPP 2000: Second International Workshop on Constructive Methods for Parallel Programming 2000 Gorlatch S., Lengauer C.
  1. Gorlatch S.
  2. Lengauer C.
Univ.Passau 28.10.2000
СТ Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach 2000 Gorlatch S., Lengauer C. Acta Informatica 08.06.2000
П Optimization Rules for Programming with Collective Operations 1998 Gorlatch S., Wedler C., Lengauer C. Univ.Passau 13.01.1999
П Abstraction and Performance in the Design of Parallel Programs 1998 Gorlatch S. Univ.Passau 08.07.1998
П Optimizing Compositions of Scans and Reductions in Parallel Program Derivation 1997 Gorlatch S. Univ.Passau 30.04.1998
П Parallelizing Functional Programs by Term Rewriting 1997 Geser A., Gorlatch S. Univ.Passau 05.11.1997
П Constructing List Homomorphisms 1995 Gorlatch S. Univ.Passau 18.01.1996
П From Transformations to Methodology in Parallel Program Development: A Case Study 1995 Gorlatch S. Univ.Passau 05.07.1995
П Deriving Efficient Parallel Programs by Systemating Coarsing Specification Parallelism 1993 Gorlatch S. TUM 05.07.1995
П Parallelization of Divide-and-Conquer in the Bird-Meertens Formalism 1993 Gorlatch S., Lengauer C. Univ.Passau 18.11.1994
СТ A Case Study: Parallel Program Development for a Recursive Numerical Algorithm 1992 Gorlatch S. Lecture Notes in Computer Science 29.07.1992
СТ Distributed-Memory Programs Developmentin Declarative and Procedural Enviroment 1991 Gorlatch S., Corlatch G. Parallel Computing Technologies: Proc. Intern. Conf. 17.10.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ CMPP 2000: Second International Workshop on Constructive Methods for Parallel Programming 2000 Gorlatch S., Lengauer C.
  1. Gorlatch S.
  2. Lengauer C.
Univ.Passau 28.10.2000
П CMPP 98: First International Workshop on Constructive Methods for Parallel Programming 1998
  1. Gorlatch S.
Univ.Passau 24.03.2000
СБ CMPP 98: First Intern. Workshop on Constructive Methods for Parallel Programming. Marstrand, Sweden, June 18, 1998 1998
  1. Gorlatch S.
Univ.Passau 08.07.1998
СБ Euro-Par 97 Parallel Processing: Proc./Third Intern. Euro-Par Conf. Passau, Germany, August 1997 1997 Lecture Notes in Computer Science
  1. Lengauer C.
  2. Griebl M.
  3. Gorlatch S.
24.10.1997