Fachbereich Mathematik und Informatik

Suchen
Home
Mitarbeiter
Lehre
Forschung
Diplomarbeiten
Publikationen
/wwustyles/wwupics/bullet_orga.gif
2004
/wwustyles/wwupics/bullet_orga.gif
2003
/wwustyles/wwupics/bullet_orga.gif
2002
/wwustyles/wwupics/bullet_orga.gif
2001
/wwustyles/wwupics/bullet_orga.gif
2000
/wwustyles/wwupics/bullet_orga.gif
Earlier Papers
Intern
Startseite Mathematik und Informatik
Startseite
Universität Münster

Kontakt
Impressum

pvs.bib

@ARTICLE{GorGKL81,
  AUTHOR = {V.~Glushkov and Y.~Kapitonova and A.~Letichevsky
    and Sergei Gorlatch},
  JOURNAL = {Cybernetics},
  TITLE = {Macroconveyor Computation of Functions on Data Structures},
  NUMBER = {4},
  PAGES = {13--21. Plenum Publish. Corp., N.Y.},
  YEAR = {1981}
}

@ARTICLE{Gor83,
  AUTHOR = {Sergei Gorlatch},
  JOURNAL = {Cybernetics},
  TITLE = {Macroconveyor Asynchronous Computation of Structural
    Functions},
  NUMBER = {5},
  PAGES = {41--46. Plenum Publish. Corp., N.Y.},
  YEAR = {1983}
}

@ARTICLE{Gor84,
  AUTHOR = {Sergei Gorlatch},
  JOURNAL = {Cybernetics},
  TITLE = {Design Tools for Macropipeline Algorithms and
    Programs},
  NUMBER = {3},
  PAGES = {111--113. Plenum Publish. Corp., N.Y.},
  YEAR = {1984}
}

@ARTICLE{GorKS84,
  AUTHOR = {N.~Kuznetsov and A.~Shumskaya and Sergei Gorlatch},
  JOURNAL = {Cybernetics},
  TITLE = {A Model for Parallel Program Performance Evaluation},
  NUMBER = {6},
  PAGES = {46--51. Plenum Publish. Corp., N.Y.},
  YEAR = {1984}
}

@ARTICLE{GorM84,
  AUTHOR = {S.~Morozov and Sergei Gorlatch},
  JOURNAL = {Cybernetics},
  TITLE = {Using Simulation Tools in the Development of the
    Distributed Operating System},
  NUMBER = {6},
  PAGES = {115--117. Plenum Publish. Corp., N.Y.},
  YEAR = {1984}
}

@ARTICLE{GorKLG89,
  AUTHOR = {Y.~Kapitonova and A.~Letichevsky and Sergei Gorlatch and
    G.~Gorlatch},
  JOURNAL = {Cybernetics},
  TITLE = {Program Specification and Synthesis Using Systems of
    Equations Over Data Structures},
  NUMBER = {1},
  PAGES = {22--35. Plenum Publish. Corp., N.Y.},
  YEAR = {1989}
}

@ARTICLE{KLG89,
  AUTHOR = {Yu.~Kapitonova and A.~Letichevsky and Sergei Gorlatch and
    G.~Gorlatch},
  JOURNAL = {Cybernetics},
  NUMBER = {1},
  PAGES = {22-35},
  TITLE = {The use of the equations over data structures for
    program specification and synthesis},
  YEAR = {1989}
}

@ARTICLE{Gor90,
  AUTHOR = {Sergei Gorlatch},
  JOURNAL = {Cybernetics},
  TITLE = {Generation of Parallel Programs from Nonprocedural
    Specifications},
  NUMBER = {1},
  PAGES = {7--12. Plenum Publish. Corp., N.Y.},
  YEAR = {1990}
}

@INPROCEEDINGS{GorG91,
  AUTHOR = {Sergei Gorlatch and G.~Gorlatch},
  TITLE = {Distributed Memory Program Development in Declarative
    and Procedural Environment},
  BOOKTITLE = {Parallel Computing Technologies},
  YEAR = {1991},
  PUBLISHER = {World Scientific Publishing Co.},
  PAGES = {195--202}
}

@INCOLLECTION{GorP92,
  AUTHOR = {Sergei Gorlatch},
  BOOKTITLE = {Parallel Architectures and Languages Europe (PARLE
      '92)},
  PAGES = {945--946},
  PUBLISHER = {Springer-Verlag},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {605},
  TITLE = {A Case Study: Parallel Program Development for a
    Recursive Numerical Algorithm},
  YEAR = {1992}
}

@TECHREPORT{Gor92,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Parallel Program Development for a Recursive Numerical
    Algorithm: A Case Study},
  NUMBER = {SFB 342/7/92},
  INSTITUTION = {Institut f{\"u}r Informatik, TU M{\"u}nchen},
  YEAR = 1992
}

@TECHREPORT{SFB92,
  AUTHOR = {Sergei Gorlatch},
  INSTITUTION = {Institut f{\"ur} Informatik, TU M{\"u}nchen},
  MONTH = MAR,
  TITLE = {Parallel Program Development for a Recursive Numerical
    Algorithm: a Case Study},
  TYPE = {{SFB-Bericht Nr.} 342/7/92A},
  YEAR = {1992}
}

@TECHREPORT{Gor93,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Deriving Efficient Parallel Programs by Coarsening
    Specification Parallelism},
  NUMBER = {SFB 342/20/93 A},
  INSTITUTION = {Institut f{\"u}r Informatik, TU M{\"u}nchen},
  YEAR = 1993
}

@TECHREPORT{GoLe93,
  AUTHOR = {Sergei Gorlatch and Christian Lengauer},
  TITLE = {Parallelization of Divide-and-Conquer in the
  {B}ird-{M}eertens Formalism},
  INSTITUTION = {Fakult{\"a}t f{\"u}r Mathematik und Informatik,
  Universit{\"a}t Passau},
  YEAR = {1993},
  NUMBER = {MIP-9315},
  MONTH = DEC
}

@INPROCEEDINGS{Gor94a,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Formal Derivation and Implementation of
    Divide-and-Conquer on a Transputer Network},
  EDITOR = {A.~De Gloria and others},
  PAGES = {763--776},
  BOOKTITLE = {Transputer Applications and Systems. World Transputer
    Congress '94},
  YEAR = {1994},
  PUBLISHER = {IOS Press},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/Gor94a.ps.gz}
}

@INPROCEEDINGS{Gor94b,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Exploiting Divide-and-Conquer Parallelism of
    Functional Specifications},
  EDITOR = {L.~Dekker and others},
  PAGES = {397--404},
  BOOKTITLE = {Massively Parallel Processing Applications and
    Development},
  YEAR = 1994,
  PUBLISHER = {Elsevier}
}

@INPROCEEDINGS{GorLe94a,
  AUTHOR = {Sergei Gorlatch and Christian Lengauer},
  TITLE = {Systematic Development of an {SPMD} Implementation
    Schema for Mutually Recursive Divide-and-Conquer
    Specifications},
  EDITOR = {H.~Siegel},
  PAGES = {368--375},
  BOOKTITLE = {Proc. Eighth Int. Paral. Proc. Symp. (IPPS'94)},
  YEAR = {1994},
  PUBLISHER = {IEEE Computer Society Press}
}

@ARTICLE{GorLeFAC,
  AUTHOR = {Sergei Gorlatch and Christian Lengauer},
  TITLE = {Parallelization of Divide-and-Conquer in the
  {B}ird-{M}eertens Formalism},
  JOURNAL = {Formal Aspects of Computing},
  YEAR = 1995,
  VOLUME = 7,
  NUMBER = 6,
  PAGES = {663--682},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/GorLeFAC.ps.gz}
}

@TECHREPORT{Gor95a,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {From Transformations to Methodology in Parallel
    Program Development: A Case Study},
  INSTITUTION = {Universit{\"a}t Passau},
  YEAR = 1995,
  NUMBER = {MIP-9508},
  MONTH = MAY
}

@TECHREPORT{Gor95b,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Constructing List Homomorphisms},
  INSTITUTION = {Universit{\"a}t Passau},
  YEAR = 1995,
  NUMBER = {MIP-9512},
  MONTH = AUG,
  NOTE = {Available at http://pvs.uni-muenster.de/pvs/publikationen/papers/Gor95b.ps.gz},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/Gor95b.ps.gz}
}

@INPROCEEDINGS{GorLe95,
  AUTHOR = {Sergei Gorlatch and Christian Lengauer},
  TITLE = {N-Graphs: A Topology for Parallel Divide-and-Conquer
    on Transputer Networks},
  EDITOR = {B.~Cook and others},
  PAGES = {394--409},
  BOOKTITLE = {Transputer Applications and Systems. World Transputer
    Congress'95},
  YEAR = {1995},
  PUBLISHER = {IOS Press}
}

@INPROCEEDINGS{GorLeeds,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Stages and transformations in parallel programming},
  EDITOR = {M.~Kara and others},
  PAGES = {147--162},
  BOOKTITLE = {Abstract Machine Models for Parallel and Distributed
    Computing},
  YEAR = {1996},
  PUBLISHER = {IOS Press},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/GorLeeds.ps.gz}
}

@INCOLLECTION{GorEuro,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Systematic Efficient Parallelization of Scan and Other
    List Homomorphisms},
  EDITOR = {Luc~Boug{\'e} and Pierre Fraigniaud and Anne Mignotte
    and Yves Robert},
  PUBLISHER = {Springer-Verlag},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {1124},
  PAGES = {401--408},
  BOOKTITLE = { Euro-Par'96: Parallel Processing, Vol.~II},
  YEAR = 1996,
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/GorEuro.ps.gz}
}

@ARTICLE{GorMiMi,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {From transformations to methodology in parallel
    program development: a case study},
  JOURNAL = {Microprocessing and Microprogramming},
  YEAR = 1996,
  VOLUME = 41,
  PAGES = {571--588},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/GorMiMi.ps.gz}
}

@INCOLLECTION{GorPLILP,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Systematic Extraction and Implementation of
    Divide-and-Conquer Parallelism},
  EDITOR = {H.~Kuchen and D.~Swierstra},
  PUBLISHER = {Springer-Verlag},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {1140},
  PAGES = {274--288},
  BOOKTITLE = {Programming Languages: Implementation, Logics and
    Programs (PLILP'96)},
  YEAR = {1996},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/GorPLILP.ps.gz}
}

@ARTICLE{GorPARCO,
  AUTHOR = {Sergei Gorlatch},
  TITLE = { N-Graphs: scalable Topology and Design of Balanced
    Divide-and-Conquer Algorithms},
  JOURNAL = {Parallel Computing},
  YEAR = {1997},
  VOLUME = {23},
  NUMBER = {6},
  PAGES = {687--698}
}

@INPROCEEDINGS{GorBi97,
  AUTHOR = {Sergei Gorlatch and Holger Bischof},
  TITLE = {Formal Derivation of Divide-and-Conquer Programs: A
    Case Study in the Multidimensional {FFT}'s},
  EDITOR = {D.~Mery},
  PAGES = {80--94},
  BOOKTITLE = {Formal Methods for Parallel Programming: Theory and
    Applications. Workshop at IPPS'97},
  YEAR = 1997,
  NOTE = {Available at http://pvs.uni-muenster.de/pvs/publikationen/papers/GorBi97.html},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/GorBi97.ps.gz}
}

@TECHREPORT{GesGor97a,
  AUTHOR = {Alfons Geser and Sergei Gorlatch},
  TITLE = {Parallelizing functional programs by term rewriting},
  NUMBER = {MIP-9709},
  INSTITUTION = {Universit{\"a}t Passau},
  MONTH = APR,
  YEAR = 1997,
  NOTE = {Available at http://pvs.uni-muenster.de/pvs/publikationen/papers/GesGor97a.ps.gz},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/GesGor97a.ps.gz}
}

@INPROCEEDINGS{GesGor97b,
  AUTHOR = {Alfons Geser and Sergei Gorlatch},
  TITLE = {Parallelizing functional programs by generalization},
  EDITOR = {M.~Hanus and J.~Heering and K.~Meinke},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {1298},
  PAGES = {46--60},
  BOOKTITLE = {Algebraic and Logic Programming (ALP'97)},
  YEAR = 1997,
  PUBLISHER = {Springer-Verlag},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/GesGor97b.ps.gz}
}

@TECHREPORT{Gor97b,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Optimizing Compositions of Scans and Reductions in
    Parallel Program Derivation},
  NUMBER = {MIP-9711},
  INSTITUTION = {Universit{\"a}t Passau},
  MONTH = MAY,
  YEAR = 1997,
  NOTE = {Available at http://pvs.uni-muenster.de/pvs/publikationen/papers/Gor97b.ps.gz},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/Gor97b.ps.gz}
}

@ARTICLE{LeGorHer97b,
  AUTHOR = {Christian Lengauer and Sergei Gorlatch and Christoph Armin Herrmann},
  TITLE = {The static parallelization of loops and recursions},
  JOURNAL = {J. Supercomputing},
  YEAR = {1997},
  VOLUME = {11},
  PAGES = {333--353}
}

@INPROCEEDINGS{LeGorHer97a,
  AUTHOR = {Christian Lengauer and Sergei Gorlatch and Christoph Armin Herrmann},
  TITLE = {The static parallelization of loops and recursions},
  PAGES = {3--15},
  BOOKTITLE = {Proc. 11th Int. Symp. on High Performance Computing
    Systems (HPCS'97)},
  YEAR = {1997}
}

@INPROCEEDINGS{GorLe97a,
  AUTHOR = { Sergei Gorlatch and Christian Lengauer},
  TITLE = {Homomorphism (De)Compositions for Parallel
    Programming},
  BOOKTITLE = {Proc. 3rd Int. Working Conf. on Massively Parallel
    Programming Models (MPPM'97)},
  YEAR = {1997},
  ORGANIZATION = {Imperial College, London}
}

@BOOK{Dagstuhl,
  EDITOR = {M.~Cole and Sergei Gorlatch and Christian Lengauer and
    D.~Skillicorn},
  TITLE = {Theory and Practice of Higher-Order Parallel
    Programming},
  SERIES = {Dagstuhl-Seminar Report 169, Schlo{\ss} Dagstuhl},
  YEAR = 1997
}

@ARTICLE{GorSCP,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Extracting and Implementing List Homomorphisms in
    Parallel Program Development},
  JOURNAL = {Science of Computer Programming},
  YEAR = {1998},
  VOLUME = {33},
  NUMBER = {1},
  PAGES = {1--27},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/GorSCP.ps.gz}
}

@ARTICLE{Gor97a,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Programming with Divide-and-Conquer Skeletons: an
    Application to {FFT}},
  JOURNAL = {J. Supercomputing},
  YEAR = {1998},
  VOLUME = {12},
  NUMBER = {1-2},
  PAGES = {85--97}
}

@INPROCEEDINGS{GorLe97c,
  AUTHOR = {Sergei Gorlatch and Christian Lengauer},
  TITLE = {({D}e){C}omposition Rules for Parallel Scan and
    Reduction},
  BOOKTITLE = {Proc. 3rd Int. Working Conf. on Massively Parallel
    Programming Models (MPPM'97)},
  YEAR = {1998},
  PUBLISHER = {IEEE Computer Society Press},
  PAGES = {23--32},
  NOTE = {Available at http://pvs.uni-muenster.de/pvs/publikationen/papers/GorLe97c.ps.gz},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/GorLe97c.ps.gz}
}

@MISC{Gor98a,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Abstraction and Performance in the Design of Parallel
    Programs},
  HOWPUBLISHED = {Habilitation Thesis. Universit{\"a}t Passau. MIP-9802},
  YEAR = {1998},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/Gor98a.ps.gz}
}

@TECHREPORT{GorWeLe98,
  AUTHOR = {Sergei Gorlatch and Christoph Wedler and Christian
    Lengauer},
  TITLE = {Optimization Rules for Programming with Collective
    Operations},
  INSTITUTION = {Universit{\"a}t Passau},
  YEAR = {1998},
  NUMBER = {MIP-9813},
  MONTH = OCT,
  NOTE = {Available at
    \textsf{http://www.infosun.fmi.uni-passau.de/cl/papers/Gor.Wed.Len:report.oct98.html}}
}

@MISC{BisDipl,
  AUTHOR = {Holger Bischof},
  TITLE = {Formal Derivation and Implementation of Parallel
  {MPI}-Programs
  from Homomorphisms},
  HOWPUBLISHED = {M.Sc.~Thesis (in German), University of Passau},
  YEAR = {1998},
  NOTE = {Available at \textsf{http://www.infosun.fmi.uni-passau.de/cl/arbeiten/bischof-d.ps.gz}}
}

@ARTICLE{GorBi98,
  AUTHOR = {Sergei Gorlatch and Holger Bischof},
  TITLE = {A Generic {MPI} Implementation for a Data-Parallel
    Skeleton: Formal Derivation and Application to {FFT}},
  JOURNAL = {Parallel Processing Letters},
  VOLUME = {8},
  NUMBER = {4},
  YEAR = {1998},
  PAGES = {447--458},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/GorBi98.ps.gz}
}

@PROCEEDINGS{CMPP98,
  TITLE = {First Int.\ Workshop on Constructive Methods for
    Parallel Programming (CMPP'98)},
  YEAR = {1998},
  EDITOR = {Sergei Gorlatch},
  SERIES = {Techreport MIP-9805},
  MONTH = MAY,
  ORGANIZATION = {University of Passau}
}

@ARTICLE{GG-99,
  AUTHOR = {Alfons Geser and Sergei Gorlatch},
  TITLE = {Parallelizing functional programs by generalization},
  JOURNAL = {J.~Functional Programming},
  VOLUME = 9,
  NUMBER = 6,
  YEAR = 1999,
  PAGES = {649-673}
}

@INPROCEEDINGS{GWL99,
  AUTHOR = {Sergei Gorlatch and Christoph Wedler and Christian
    Lengauer},
  TITLE = {Optimization Rules for Programming with Collective
    Operations},
  BOOKTITLE = {Proc.\ IPPS/SPDP'99 },
  YEAR = 1999,
  PUBLISHER = {IEEE Computer Society Press},
  EDITOR = {Mikhail Atallah},
  PAGES = {492--499},
  OPTNOTE = {13th Int. Parallel Processing Symp. \& 10th Symp. on
    Parallel and Distributed Processing }
}

@INPROCEEDINGS{GorPel99a,
  AUTHOR = {Sergei Gorlatch and Susanna Pelagatti},
  TITLE = {A Transformational Framework for Skeletal Programs:
    Overview and Case Study},
  EDITOR = {Jose Rohlim and others},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {1586},
  PAGES = {123--137},
  BOOKTITLE = {Parallel and Distributed Processing. IPPS/SPDP'99
    Workshops Proceedings},
  YEAR = 1999,
  PUBLISHER = {Springer-Verlag}
}

@INPROCEEDINGS{BGLP99,
  AUTHOR = {Bruno Bacci and Sergei Gorlatch and Christian Lengauer
    and Susanna Pelagatti},
  TITLE = {Skeletons and Transformations in an Integrated
    Parallel Programming Environment},
  YEAR = 1999,
  BOOKTITLE = {Parallel Computing Technologies (PaCT-99)},
  EDITORS = {Victor Malyshkin},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {1662},
  PUBLISHER = {Springer-Verlag},
  PAGES = {13--27},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/BGLP99.ps.gz}
}

@BOOK{Dagstuhl99,
  EDITOR = {M.~Cole and Sergei Gorlatch and J.~Prins and
    D.~Skillicorn},
  TITLE = {High Level Parallel Programming: Applicability,
  Analysis and Performance},
  SERIES = {Dagstuhl-Seminar Report 238, Schlo{\ss} Dagstuhl},
  YEAR = 1999
}

@PROCEEDINGS{CMPP00,
  TITLE = {Second Int.\ Workshop on Constructive Methods for
    Parallel Programming (CMPP'2000)},
  YEAR = {2000},
  EDITOR = {Sergei Gorlatch and Christian Lengauer},
  SERIES = {Techreport MIP-0007},
  MONTH = JUN,
  ORGANIZATION = {University of Passau}
}

@ARTICLE{GorTSE,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Towards Formally-Based Design of Message Passing
    Programs},
  JOURNAL = {IEEE Trans.\ on Software Engineering},
  YEAR = {2000},
  VOLUME = {26},
  NUMBER = {3},
  PAGES = {276--288},
  MONTH = MAR,
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/GorTSE.ps.gz}
}

@ARTICLE{GorLenActa,
  AUTHOR = {Sergei Gorlatch and Christian Lengauer},
  TITLE = {Abstraction and performance in the design of parallel
    programs: overview of the {SAT} approach},
  JOURNAL = {Acta Informatica},
  YEAR = {2000},
  VOLUME = {36},
  NUMBER = {9},
  PAGES = {761--803}
}

@INPROCEEDINGS{KBG00,
  AUTHOR = {Thilo Kielmann and Henri E. Bal and Sergei Gorlatch},
  TITLE = {Bandwidth-efficient Collective Communication for
    Clustered Wide Area Systems},
  BOOKTITLE = {Parallel and Distributed Processing Symposium (IPDPS
        2000)},
  PAGES = {492--499},
  YEAR = {2000},
  OPTNOTE = {Available at:
        http://www.cs.vu.nl/\~{}kielmann/papers/ipdps.ps.gz},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/KBG00.ps.gz}
}

@ARTICLE{AGLP01,
  AUTHOR = {Marco Aldinucci and Sergei Gorlatch and Christian
    Lengauer and Susanna Pelagatti},
  TITLE = {Towards Parallel Programming by Transformation: The
    {FAN} Skeleton Framework},
  JOURNAL = {Parallel Algorithms and Applications},
  YEAR = {2001},
  VOLUME = {16},
  NUMBER = {2},
  PAGES = {87--113}
}

@ARTICLE{KBGVH01,
  AUTHOR = {Thilo Kielmann and Henri Bal and Sergei Gorlatch and
    Kees Verstoep and Rutger Hofman},
  TITLE = {Network performance-aware collective communication for
    clustered wide-area systems},
  JOURNAL = {Parallel Computing},
  YEAR = {2001},
  VOLUME = {27},
  PAGES = {1431--1456}
}

@INPROCEEDINGS{Gor01,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Send-{R}ecv considered harmful? {M}yths and truths
    about parallel programming},
  YEAR = 2001,
  BOOKTITLE = {Parallel Computing Technologies (PaCT 2001)},
  EDITORS = {Victor Malyshkin},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {2127},
  PUBLISHER = {Springer-Verlag},
  PAGES = {243--258}
}

@INPROCEEDINGS{BiGor01,
  AUTHOR = {Holger Bischof and Sergei Gorlatch},
  TITLE = {Parallelizing Tridiagonal System Solver by Adjustment
    to a Homomorphic Skeleton},
  BOOKTITLE = {Proceedings of the Fourth International Workshop on
    Advanced Parallel Processing Technologies},
  PAGES = {9--18},
  YEAR = {2001},
  EDITOR = {Stefan J{\"a}hnichen and Xingming Zhou},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/BiGor01.ps.gz}
}

@BOOK{GoLe02,
  EDITOR = {Sergei Gorlatch and Christian Lengauer},
  TITLE = {Constructive Methods for Parallel Programming},
  PUBLISHER = {Nova Science Publisher},
  YEAR = {2002},
  VOLUME = {10},
  SERIES = {Advances in Computation: Theory and Practice},
  MONTH = JUN,
  NOTE = {ISBN: 1-59033-374-8}
}

@ARTICLE{GorFGCS02,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Message Passing without Send-Receive},
  JOURNAL = {Future Generation Computer Systems},
  YEAR = {2002},
  VOLUME = {18},
  NUMBER = {6},
  PAGES = {797--805}
}

@INPROCEEDINGS{BiGor02a,
  AUTHOR = {Holger Bischof and Sergei Gorlatch},
  TITLE = {Double-Scan: Introducing and Implementing a New
    Data-Parallel Skeleton},
  BOOKTITLE = {Euro-Par~2002},
  PAGES = {640-647},
  YEAR = {2002},
  EDITOR = {Burkhard Monien and Rainer Feldmann},
  VOLUME = {2400},
  SERIES = {Lecture Notes in Computer Science},
  MONTH = AUG,
  PUBLISHER = {Springer-Verlag}
}

@TECHREPORT{BiGor02,
  AUTHOR = {Holger Bischof and Sergei Gorlatch and Emanuel
    Kitzelmann},
  TITLE = {The Double-Scan Skeleton and its Parallelization},
  INSTITUTION = {Technische Universit{\"a}t Berlin},
  YEAR = {2002},
  NUMBER = {2002/06}
}

@PROCEEDINGS{CMPP02,
  TITLE = {3rd Int.\ Workshop on Constructive 
                  Methods for Parallel Programming (CMPP'2002},
  YEAR = {2002},
  EDITOR = {Sergei Gorlatch and Christian Lengauer},
  VOLUME = {2002/07},
  SERIES = {Forschungsberichte der Fakult{\"a}t IV - Elektrotechnik und Informatik},
  MONTH = JUN,
  ORGANIZATION = {Technische Universi{\"a}t Berlin}
}

@INPROCEEDINGS{FiGo02,
  AUTHOR = {J{\"o}rg Fischer and Sergei Gorlatch},
  TITLE = {Turing Universality of Morphisms for Parallel
    Programming},
  BOOKTITLE = {Third Int.\ Workshop on Constructive Methods for
    Parallel Programming (CMPP\,2002)},
  PAGES = {81-98},
  YEAR = {2002},
  EDITOR = {Sergei Gorlatch and Christian Lengauer},
  VOLUME = {2002/07},
  SERIES = {Forschungsberichte der Fakult{\"a}t IV -
    Elektrotechnik und Informatik},
  MONTH = JUN,
  ORGANIZATION = {Technische Universit{\"a}t Berlin}
}

@ARTICLE{FiGo02a,
  AUTHOR = {J{\"o}rg Fischer and Sergei Gorlatch},
  TITLE = {Turing Universality of Morphisms for Parallel
    Programming},
  JOURNAL = {Parallel Processing Letters},
  YEAR = {2002},
  VOLUME = {12},
  NUMBER = {2},
  PAGES = {229-246},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/FiGo02a.ps.gz}
}

@INPROCEEDINGS{ABG02a,
  AUTHOR = {Martin Alt and Holger Bischof and Sergei Gorlatch},
  TITLE = {Program Development for Computational {G}rids Using
    Skeletons and Performance Prediction},
  BOOKTITLE = {Third Int.\ Workshop on Constructive Methods for
    Parallel Programming (CMPP\,2002)},
  PAGES = {17-32},
  YEAR = {2002},
  EDITOR = {Sergei Gorlatch and Christian Lengauer},
  VOLUME = {2002/07},
  SERIES = {Forschungsberichte der Fakult{\"a}t IV -
    Elektrotechnik und Informatik},
  MONTH = JUN,
  ORGANIZATION = {Technische Universit{\"a}t Berlin},
  URL = {http://pvs.uni-muenster.de/pvs/publikationen/papers/ABG02a.ps.gz}
}

@ARTICLE{PPL02a,
  AUTHOR = {Martin Alt and Holger Bischof and Sergei Gorlatch},
  TITLE = {Program Development for Computational {G}rids Using
    Skeletons and Performance Prediction},
  JOURNAL = {Parallel Processing Letters},
  YEAR = {2002},
  VOLUME = {12},
  NUMBER = {2},
  PAGES = {157--174}
}

@INPROCEEDINGS{mneuropar02,
  AUTHOR = {Martin Alt and Holger Bischof and Sergei Gorlatch},
  TITLE = {Algorithm Design and Performance Prediction in a
    {J}ava-Based {G}rid System with Skeletons},
  BOOKTITLE = {Euro-Par~2002},
  PAGES = {899-906},
  YEAR = {2002},
  EDITOR = {Burkhard Monien and Rainer Feldmann},
  VOLUME = {2400},
  SERIES = {Lecture Notes in Computer Science},
  MONTH = AUG,
  PUBLISHER = {Springer-Verlag}
}

@INPROCEEDINGS{mntictaa02,
  AUTHOR = {Martin Alt and Sergei Gorlatch},
  TITLE = {Performance Prediction of {J}ava Programs for
    Metacomputing},
  BOOKTITLE = {5th International Workshop: The Internet Challenge --
    Technology and Applications},
  YEAR = {2002},
  PUBLISHER = {Kluwer},
  PAGES = {111-119}
}

@INCOLLECTION{FGB03,
  AUTHOR = {J{\"o}rg Fischer and Sergei Gorlatch and Holger
    Bischof},
  TITLE = {Foundations of Data-Parallel Skeletons},
  BOOKTITLE = {Patterns and Skeletons for Parallel and Distributed
    Computing},
  PUBLISHER = {Springer-Verlag},
  YEAR = {2003},
  OPTCROSSREF = {RaGo03},
  PAGES = {1-27}
}

@INCOLLECTION{Gor03a,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {{SAT}: A programming methodology with skeletons and
    collective operations},
  OPTCROSSREF = {RaGo03},
  BOOKTITLE = {Patterns and Skeletons for Parallel and Distributed
    Computing},
  PUBLISHER = {Springer-Verlag},
  YEAR = {2003},
  PAGES = {29-63}
}

@BOOK{RaGo03,
  EDITOR = {Fethi A. Rabhi and Sergei Gorlatch},
  TITLE = {Patterns and Skeletons for Parallel and Distributed
    Computing},
  PUBLISHER = {Springer-Verlag},
  YEAR = {2003}
}

@INPROCEEDINGS{AlGo03c,
  AUTHOR = {Martin Alt and Sergei Gorlatch},
  TITLE = {A Prototype {G}rid System Using {J}ava and {RMI}},
  BOOKTITLE = {{P}arallel {C}omputing {T}echnologies (PACT~2003),
    Nizhni Novgorod, Russia},
  YEAR = {2003},
  EDITOR = {Victor Malyshkin},
  VOLUME = {2763},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag},
  PAGES = {401-414}
}

@ARTICLE{BiGoLe03,
  AUTHOR = {Holger Bischof and Sergei Gorlatch and Roman
    Leshchinskiy},
  TITLE = {{DatTeL}: A Data-Parallel {C++} Template Library},
  JOURNAL = {Parallel Processing Letters},
  YEAR = {2003},
  VOLUME = {13},
  NUMBER = {3},
  PAGES = {461-472},
  MONTH = SEP
}

@INPROCEEDINGS{BiGoLe03a,
  AUTHOR = {Holger Bischof and Sergei Gorlatch and Roman
    Leshchinskiy},
  TITLE = {{DatTeL}: A Data-Parallel {C++} Template Library},
  BOOKTITLE = {Second International Workshop on High Level Parallel
    Programming and Applications},
  PAGES = {165-177},
  YEAR = {2003},
  EDITOR = {Fr{\'e}deric Loulerge and Ga{\'e}tan Hains}
}

@ARTICLE{BiGoKi03a,
  AUTHOR = {Holger Bischof and Sergei Gorlatch and Emanuel
    Kitzelmann},
  TITLE = {Cost Optimality and Predictability of Parallel
    Programming with Skeletons},
  JOURNAL = {Parallel Processing Letters},
  YEAR = {2003},
  VOLUME = {13},
  NUMBER = {4},
  PAGES = {575-587},
  MONTH = DEC
}

@INPROCEEDINGS{BiGoKi03,
  AUTHOR = {Holger Bischof and Sergei Gorlatch and Emanuel
    Kitzelmann},
  TITLE = {Cost Optimality and Predictability of Parallel
    Programming with Skeletons},
  BOOKTITLE = {Euro-Par~2003},
  PAGES = {682-693},
  YEAR = {2003},
  EDITOR = {Harald Kosch and L{\'a}szl{\'o}
    B{\"o}sz{\"o}rm{\'e}nyi and Hermann Hellwagner},
  VOLUME = {2790},
  SERIES = {Lecture Notes in Computer Science},
  MONTH = AUG,
  PUBLISHER = {Springer-Verlag}
}

@INPROCEEDINGS{BiGoKi03b,
  AUTHOR = {Holger Bischof and Sergei Gorlatch and Emanuel
    Kitzelmann},
  TITLE = {Design and Implementation of a Cost-Optimal Parallel
    Tridiagonal System Solver Using Skeletons},
  BOOKTITLE = {Parallel Computing Technologies (PaCT~2003)},
  PAGES = {415-428},
  YEAR = {2003},
  EDITOR = {Victor Malyshkin},
  VOLUME = {2763},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag}
}

@TECHREPORT{GoAlTR03,
  AUTHOR = {Martin Alt and Sergei Gorlatch},
  TITLE = {Optimizing the Use of {J}ava {RMI} for {G}rid
    Application Programming},
  INSTITUTION = {Technische Universit{\"a}t},
  YEAR = {2003},
  NUMBER = {2003/08},
  ADDRESS = {Berlin},
  MONTH = MAR,
  NOTE = {ISSN 1436-9915}
}

@INPROCEEDINGS{AlGo03a,
  AUTHOR = {Martin Alt and Sergei Gorlatch},
  TITLE = {{F}uture-{B}ased {RMI}: Optimizing Compositions of
    Remote Method Calls on the {G}rid},
  BOOKTITLE = {Euro-Par~2003},
  PAGES = {682-693},
  YEAR = {2003},
  EDITOR = {Harald Kosch and L{\'a}szl{\'o}
    B{\"o}sz{\"o}rm{\'e}nyi and Hermann Hellwagner},
  VOLUME = {2790},
  SERIES = {Lecture Notes in Computer Science},
  MONTH = AUG,
  PUBLISHER = {Springer-Verlag}
}

@INPROCEEDINGS{AlGo03b,
  AUTHOR = {Martin Alt and Sergei Gorlatch},
  TITLE = {Using {S}keletons in a {J}ava-Based {G}rid System},
  BOOKTITLE = {Euro-Par~2003},
  PAGES = {682-693},
  YEAR = {2003},
  EDITOR = {Harald Kosch and L{\'a}szl{\'o}
    B{\"o}sz{\"o}rm{\'e}nyi and Hermann Hellwagner},
  VOLUME = {2790},
  SERIES = {Lecture Notes in Computer Science},
  MONTH = AUG,
  PUBLISHER = {Springer-Verlag}
}

@INPROCEEDINGS{AlGoAppt03,
  AUTHOR = {Martin Alt and Sergei Gorlatch},
  TITLE = {Algorithmic Skeletons for Metacomputing},
  BOOKTITLE = {Fifth International Workshop on Advanced Parallel
    Processing Technology},
  YEAR = {2003},
  VOLUME = {2934},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag},
  PAGES = {363-372}
}

@INCOLLECTION{Gor03,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {The {L}yee Programming Model: Analysis and Correctness in a Fixed-Point Setting},
  BOOKTITLE = {New Trends in Software Methodologies, Tools and Techniques},
  PAGES = {214--224},
  PUBLISHER = {IOS Press},
  YEAR = {2003},
  EDITOR = {Hamido Fujita and Paul Johannesson},
  VOLUME = {98},
  SERIES = {Frontiers in Artificial Intelligence and Applications}
}

@ARTICLE{GorToplas04,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Send-receive considered harmful: Myths and realities of message passing},
  JOURNAL = {ACM TOPLAS},
  YEAR = {2004},
  VOLUME = {26},
  NUMBER = {1},
  PAGES = {47--56}
}

@ARTICLE{AlGo04a,
  AUTHOR = {Martin Alt and Sergei Gorlatch},
  TITLE = {Adapting {J}ava {RMI} for Grid Computing},
  JOURNAL = {Future Generation Computer Systems},
  YEAR = {2004},
  NOTE = {Accepted for publication}
}

@ARTICLE{BiGo04a,
  AUTHOR = {Holger Bischof and Sergei Gorlatch},
  TITLE = {A Cost-Optimal Parallel Implementation of a
    Tridiagonal System Solver Using Skeletons},
  JOURNAL = {Future Generation Computer Systems},
  YEAR = {2004},
  NOTE = {Accepted for publication}
}

@INCOLLECTION{BiGoLe04,
  AUTHOR = {Holger Bischof and Sergei Gorlatch and Roman
    Leshchinskiy},
  TITLE = {Generic Parallel Programming Using {C++} Templates and
    Skeletons},
  BOOKTITLE = {Domain-Specific Program Generation},
  PUBLISHER = {Springer-Verlag},
  YEAR = {2004},
  EDITOR = {{Christian Lengauer et al.}},
  VOLUME = {3016},
  SERIES = {Lecture Notes in Computer Science},
  PAGES = {107-126}
}

@INCOLLECTION{Gor04a,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Declarative Programming with {L}yee for Distributed Systems},
  BOOKTITLE = {New Trends in Software Methodologies, Tools and Techniques},
  OPTCROSSREF = {},
  OPTKEY = {},
  PAGES = {129--137},
  PUBLISHER = {IOS Press},
  YEAR = {2004},
  EDITOR = {Hamido Fujita and Volker Gruhn},
  VOLUME = {111},
  SERIES = {Frontiers in Artificial Intelligence and Applications}
}

@INCOLLECTION{Gor04,
  AUTHOR = {Sergei Gorlatch},
  TITLE = {Optimizing Compositions of Components in Parallel and Distributed Programming},
  BOOKTITLE = {Domain-Specific Program Generation},
  PUBLISHER = {Springer-Verlag},
  YEAR = {2004},
  EDITOR = {{Christian Lengauer et al.}},
  VOLUME = {3016},
  SERIES = {Lecture Notes in Computer Science},
  PAGES = {274-290}
}

@INPROCEEDINGS{AD04a,
  AUTHOR = {Martin Alt and Jan D{\"u}nnweber and Jens M{\"u}ller and Sergei Gorlatch},
  TITLE = {{HOCs}: Higher-Order Components for Grids},
  BOOKTITLE = {Component Models and Systems for Grid Applications},
  PAGES = {157-166},
  YEAR = {2004},
  EDITOR = {Vladimir Getov and Thilo Kielmann},
  SERIES = {CoreGRID},
  PUBLISHER = {Springer-Verlag},
  MONTH = JUN
}

@INPROCEEDINGS{GD04,
  AUTHOR = {Jan D{\"u}nnweber and Sergei Gorlatch},
  TITLE = {{HOC-SA}: A {G}rid {S}ervice Architecture for {H}igher-{O}rder {C}omponents},
  BOOKTITLE = {{IEEE} {I}nternational {C}onference on Services Computing, Shanghai, China},
  PAGES = {288-294},
  YEAR = {2004},
  PUBLISHER = {IEEE Computer Society Press},
  MONTH = SEP,
  NOTE = {ISBN 0-7695-2225-4}
}

@INPROCEEDINGS{DAGGGF04,
  AUTHOR = {Jan D{\"u}nnweber and Martin Alt and Sergei Gorlatch},
  TITLE = {{APIs} for {G}rid {P}rogramming using {H}igher {O}rder {C}omponents},
  BOOKTITLE = {{GGF12} - The Twelfth {G}lobal {G}rid {F}orum, Brussels, Belgium},
  YEAR = {2004},
  EDITOR = {Simon J. Cox, Thilo Kielmann and Stephen Pickles},
  MONTH = SEP,
  OPTNOTE = {Proceedings of the Workshop on Grid Application Programming Interfaces}
}

@PROCEEDINGS{CMPP04,
  TITLE = {4th Int.\ Workshop on Constructive Methods for
    Parallel Programming (CMPP'2004)},
  YEAR = {2004},
  EDITOR = {Sergei Gorlatch},
  SERIES = {Technical Report},
  MONTH = JUL,
  ORGANIZATION = {Westf{\"a}lische Wilhelms-Universit{\"at} M{\"u}nster}
}

@INPROCEEDINGS{optLithium,
  AUTHOR = {Marco Aldinucci and Marco Danelutto and Jan
    D{\"u}nnweber},
  TITLE = {Optimization Techniques for Implementing Parallel Skeletons in Grid Environments},
  BOOKTITLE = {4th International Workshop on Constructive Methods for Parallel Programming (CMPP'04), Stirling, Scotland, UK},
  PAGES = {35-47},
  YEAR = {2004},
  EDITOR = {Sergei Gorlatch},
  OPTVOLUME = {2004},
  MONTH = JUL,
  OPTORGANIZATION = {Westf{\"a}lische Wilhelms-Universit{\"a}t M{\"u}nster},
  PUBLISHER = {Universit{\"a}t M{\"u}nster}
}

@INPROCEEDINGS{mfgmep04,
  AUTHOR = {Jens M{\"u}ller and Stefan Fischer and Sergei Gorlatch and Martin Mauve},
  TITLE = {{A} {P}roxy {S}erver-{N}etwork for {R}eal-time {C}omputer {G}ames},
  BOOKTITLE = {Euro-Par~2004 Parallel Processing},
  PAGES = {606--613},
  YEAR = {2004},
  EDITOR = {Marco Danelutto and Domenico Laforenza and Marco Vanneschi},
  VOLUME = {3149},
  MONTH = AUG,
  ADDRESS = {Pisa, Italy},
  PUBLISHER = {Springer-Verlag},
  SERIES = {Lecture Notes in Computer Science}
}

@INPROCEEDINGS{bhkllmcmpp04,
  AUTHOR = {Holger Bischof and Florian Hielscher and Oliver Kl\"{o}ssing and Hendrik Ladner and Roman Leshchinskiy and Jens M\"{u}ller},
  TITLE = {{D}ata {P}arallelism in {C}++ {T}emplate {P}rograms: {A} {B}arnes-{H}ut {C}ase {S}tudy},
  BOOKTITLE = {4th International Workshop on Constructive Methods for Parallel Programming (CMPP'04)},
  PAGES = {49--62},
  YEAR = {2004},
  EDITOR = {Sergei Gorlatch},
  OPTVOLUME = {2004},
  MONTH = JUL,
  ADDRESS = {Stirling, Scotland, UK},
  OPTORGANIZATION = {Westf{\"a}lische Wilhelms-Universit{\"a}t M{\"u}nster},
  PUBLISHER = {Universit{\"a}t M{\"u}nster}
}

@INPROCEEDINGS{mggiinf04,
  AUTHOR = {Jens M{\"u}ller and Sergei Gorlatch},
  TITLE = {{A} {S}calable {A}rchitecture for {M}ultiplayer {C}omputer {G}ames},
  BOOKTITLE = {INFORMATIK 2004 - Informatik verbindet, Band 1},
  PAGES = {154--158},
  YEAR = {2004},
  EDITOR = {Peter Dadam and Manfred Reichert},
  SERIES = {LNI},
  VOLUME = {50},
  MONTH = AUG,
  ADDRESS = {Ulm, Germany},
  PUBLISHER = {Gesellschaft f{\"u}r Informatik}
}

@UNPUBLISHED{mgic05,
  AUTHOR = {Jens M{\"u}ller and Sergei Gorlatch},
  TITLE = {{GSM:} {A} {G}ame {S}calability {M}odel for {M}ultiplayer {R}eal-time {G}ames},
  NOTE = {to appear in proceedings of IEEE Infocom 2005},
  YEAR = {2005},
  MONTH = MAR,
  ADDRESS = {Miami, Florida / USA}
}

@UNPUBLISHED{fgg05,
  AUTHOR = {Sergei Gorlatch and Jan D{\"u}nnweber},
  TITLE = {From Grid Middleware to Grid Applications: 
Bridging the Gap with {HOC}s},
  NOTE = {to appear in {Future Generation Grids}},
  YEAR = {2005},
  PUBLISHER = {Springer Verlag}
}

:: Seitenanfang

Seitenanfang

zurückblättern

Diese Seite:  :: Seite drucken   :: Seite empfehlen  :: Seite kommentieren

© FB 10 Mathematik und Informatik

© FB 10 Mathematik und Informatik der Universität Münster
Einsteinstrasse 62 · 48149 Münster
Tel.: +49 251 83-3 30 16 · Fax: +49 251 83-3 83 50
E-Mail: mathdek@math.uni-muenster.de