|
СТ |
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. |
|
- Gorlatch S.
- 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 |
