|
СТ |
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines |
2003 |
Ellmenreich N., Lengauer C. |
|
|
|
Lecture Notes in Computer Science |
19.06.2003 |
|
СТ |
A Transformational Approach which Combines Size Inference and Program Optimization (Position Paper) |
2001 |
Herrmann C. A., Lengauer C. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.10.2001 |
|
СТ |
Loop-Carrier Code Placement |
2001 |
Faber P., Griebl M., Lengauer C. |
|
|
|
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 |
|
СТ |
Application of the Polytope Model to Functional Programs |
2000 |
Ellmenreich N., Lengauer C., Griebl M. |
|
|
|
Lecture Notes in Computer Science |
09.09.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 |
|
П |
A Compiler for HDC |
1999 |
Herrmann C., Lengauer C., Gunz R., Laitenberger J., Schaller C. |
|
|
Univ.Passau |
|
13.01.2000 |
|
П |
Index Set Splitting |
1999 |
Griebl M., Feautrier P., Lengauer C. |
|
|
Univ.Passau |
|
13.01.2000 |
|
СТ |
Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining |
1999 |
Herrmann C. A., Laitenberger J., Lengauer C., Schaller C. |
|
|
|
Lecture Notes in Computer Science |
20.11.1999 |
|
П |
Optimization Rules for Programming with Collective Operations |
1998 |
Gorlatch S., Wedler C., Lengauer C. |
|
|
Univ.Passau |
|
13.01.1999 |
|
СТ |
On Linear List Recursion in Parallel |
1998 |
Wedler C., Lengauer C. |
|
|
|
Acta Informatica |
13.11.1998 |
|
СТ |
An Object-Oriented Airport: Specification and Refinement in Maude |
1995 |
Lechner U., Lengauer C., Wirsing M. |
|
|
|
Lecture Notes in Computer Science |
24.05.1995 |
|
П |
An Object-Oriented Airport |
1994 |
Lechner U., Lengauer C., Wirsing M. |
|
|
Univ.Passau |
|
31.01.1995 |
|
П |
On the Parallelization of Loop Nests Containing while Loops |
1994 |
Lengauer C., Griebl M. |
|
|
Univ.Passau |
|
31.01.1995 |
|
СТ |
On Scanning Space-Time Mapped while Loops |
1994 |
Griebl M., Lengauer C. |
|
|
|
Lecture Notes in Computer Science |
22.11.1994 |
|
П |
Parallelization of Divide-and-Conquer in the Bird-Meertens Formalism |
1993 |
Gorlatch S., Lengauer C. |
|
|
Univ.Passau |
|
18.11.1994 |
|
П |
A Communication Scheme for the Distributed Execution of while Loops |
1994 |
Griebl M., Lengauer C. |
|
|
Univ.Passau |
|
18.11.1994 |
|
П |
Loop Parallelization in the Polytope Model |
1993 |
Lengauer C. |
|
|
Univ.Passau |
Position Paper Collection - Second Intern. Workshop on Software Reusability |
25.12.1993 |
|
П |
On the Space-Time Mapping of WHILE-Loops |
1993 |
Griebl M., Lengauer C. |
|
|
Univ.Passau |
|
25.12.1993 |
|
СТ |
Unimodularity Considered Non-Essential (Extended Abstract) |
1992 |
Barnett M., Lengauer C. |
|
|
|
Lecture Notes in Computer Science |
01.10.1992 |
|
СТ |
A View of Systolic Arrays |
1991 |
Lengauer C. |
|
|
|
Parallel Computing Technologies |
24.09.1991 |
|
СТ |
On Denotational versus Predicative Semantics |
1991 |
Broy M., Lengauer C. |
|
|
|
J. Computer and System Sciences |
21.06.1991 |
