default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristian Lengauer
Person information
- affiliation: University of Passau, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c60]Christian Lengauer, Jacques Carette:
Eelco Visser as a Founding Member of the IFIP WG 2.11. Eelco Visser Commemorative Symposium 2023: 19:1-19:3- 2022
- [p4]Christian Lengauer:
A Personal View of Edsger W. Dijkstra and His Stance on Software Construction. Edsger Wybe Dijkstra 2022: 205-214 - 2020
- [p3]Christian Lengauer, Sven Apel, Matthias Bolten
, Shigeru Chiba, Ulrich Rüde, Jürgen Teich, Armin Größlinger, Frank Hannig, Harald Köstler, Lisa Claus, Alexander Grebhahn, Stefan Groth, Stefan Kronawitter, Sebastian Kuckuk, Hannah Rittich, Christian Schmitt, Jonas Schmitt:
ExaStencils: Advanced Multigrid Solver Generation. Software for Exascale Computing 2020: 405-452 - [i6]Paolo Bientinesi, David A. Ham, Furong Huang, Paul H. J. Kelly, Christian Lengauer, Saday Sadayappan:
Tensor Computations: Applications and Optimization (Dagstuhl Seminar 20111). Dagstuhl Reports 10(3): 58-70 (2020)
2010 – 2019
- 2019
- [j62]Andreas Simburger, Sven Apel, Armin Größlinger, Christian Lengauer:
PolyJIT: Polyhedral Optimization Just in Time. Int. J. Parallel Program. 47(5-6): 874-906 (2019) - [j61]Stefan Kronawitter, Christian Lengauer:
Polyhedral Search Space Exploration in the ExaStencils Code Generator. ACM Trans. Archit. Code Optim. 15(4): 40:1-40:25 (2019) - [j60]Stefan Ganser, Armin Größlinger, Norbert Siegmund, Sven Apel, Christian Lengauer:
Speeding up Iterative Polyhedral Schedule Optimization with Surrogate Performance Models. ACM Trans. Archit. Code Optim. 15(4): 56:1-56:27 (2019) - 2018
- [j59]Christian Schmitt, Stefan Kronawitter, Frank Hannig, Jürgen Teich, Christian Lengauer:
Automating the Development of High-Performance Multigrid Solvers. Proc. IEEE 106(11): 1969-1984 (2018) - [j58]Stefan Kronawitter, Sebastian Kuckuk, Harald Köstler, Christian Lengauer:
Automatic Data Layout Transformations in the ExaStencils Code Generator. Parallel Process. Lett. 28(3): 1850009:1-1850009:18 (2018) - [i5]Sebastian Hack, Paul H. J. Kelly, Christian Lengauer:
Loop Optimization (Dagstuhl Seminar 18111). Dagstuhl Reports 8(3): 39-59 (2018) - 2017
- [j57]Christian Lengauer, Luc Bougé, Denis Trystram:
Special issue: Euro-Par 2016. Concurr. Comput. Pract. Exp. 29(15) (2017) - [j56]Matthias Bolten, Franz Franchetti, Paul H. J. Kelly, Christian Lengauer, Marcus Mohr:
Algebraic description and automatic generation of multigrid methods in SPIRAL. Concurr. Comput. Pract. Exp. 29(17) (2017) - [j55]Christian Lengauer, Matthias Bolten, Robert D. Falgout, Olaf Schenk:
Special issue: Advanced stencil-code engineering. Concurr. Comput. Pract. Exp. 29(17) (2017) - [j54]Harald Köstler, Christian Schmitt, Sebastian Kuckuk, Stefan Kronawitter, Frank Hannig, Jürgen Teich, Ulrich Rüde, Christian Lengauer:
A Scala prototype to generate multigrid solver implementations for different problems and target multi-core platforms. Int. J. Comput. Sci. Eng. 14(2): 150-163 (2017) - [j53]Stefan Ganser, Armin Größlinger, Norbert Siegmund, Sven Apel, Christian Lengauer:
Iterative Schedule Optimization for Parallelization in the Polyhedron Model. ACM Trans. Archit. Code Optim. 14(3): 23:1-23:26 (2017) - 2016
- [j52]Christian Lengauer, Luc Bougé, Jesper Larsson Träff:
Special issue: Euro-Par 2015. Concurr. Comput. Pract. Exp. 28(12): 3445-3446 (2016) - [c59]Stefan Kronawitter, Sebastian Kuckuk, Christian Lengauer:
Redundancy Elimination in the ExaStencils Code Generator. ICA3PP Workshops 2016: 159-173 - [p2]Christian Schmitt, Sebastian Kuckuk, Frank Hannig, Jürgen Teich, Harald Köstler, Ulrich Rüde, Christian Lengauer:
Systems of Partial Differential Equations in ExaSlang. Software for Exascale Computing 2016: 47-67 - 2015
- [j51]Olaf Leßenich, Sven Apel, Christian Lengauer:
Balancing precision and performance in structured merge. Autom. Softw. Eng. 22(3): 367-397 (2015) - [j50]Jens Dörre, Sven Apel, Christian Lengauer:
Modeling and optimizing MapReduce programs. Concurr. Comput. Pract. Exp. 27(7): 1734-1766 (2015) - [j49]Christian Lengauer, Luc Bougé, Fernando M. A. Silva:
Special Issue: Euro-Par 2014. Concurr. Comput. Pract. Exp. 27(16): 4073-4074 (2015) - [c58]Jörg Liebig, Andreas Janker, Florian Garbe, Sven Apel, Christian Lengauer:
Morpheus: Variability-Aware Refactoring in the Wild. ICSE (1) 2015: 380-391 - [i4]Christian Lengauer, Matthias Bolten, Robert D. Falgout, Olaf Schenk:
Advanced Stencil-Code Engineering (Dagstuhl Seminar 15161). Dagstuhl Reports 5(4): 56-75 (2015) - 2014
- [j48]Christian Lengauer, Luc Bougé, Felix Wolf:
Special issue: Euro-Par 2013. Concurr. Comput. Pract. Exp. 26(14): 2345-2346 (2014) - [j47]Stefan Kronawitter, Holger Stengel, Georg Hager, Christian Lengauer:
Domain-Specific Optimization of Two Jacobi Smoother Kernels and Their Evaluation in the ECM Performance Model. Parallel Process. Lett. 24(3) (2014) - [c57]Christian Lengauer, Sven Apel, Matthias Bolten, Armin Größlinger, Frank Hannig, Harald Köstler, Ulrich Rüde, Jürgen Teich, Alexander Grebhahn, Stefan Kronawitter, Sebastian Kuckuk, Hannah Rittich, Christian Schmitt:
ExaStencils: Advanced Stencil-Code Engineering. Euro-Par Workshops (2) 2014: 553-564 - [e6]Luís M. B. Lopes, Julius Zilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, José Gracia, Sascha Hunold, Stephen L. Scott, Stefan Lankes, Christian Lengauer, Jesús Carretero, Jens Breitbart, Michael Alexander:
Euro-Par 2014: Parallel Processing Workshops - Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I. Lecture Notes in Computer Science 8805, Springer 2014, ISBN 978-3-319-14324-8 [contents] - [e5]Luís M. B. Lopes, Julius Zilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, José Gracia, Sascha Hunold, Stephen L. Scott, Stefan Lankes, Christian Lengauer, Jesús Carretero, Jens Breitbart, Michael Alexander:
Euro-Par 2014: Parallel Processing Workshops - Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II. Lecture Notes in Computer Science 8806, Springer 2014, ISBN 978-3-319-14312-5 [contents] - 2013
- [j46]Luc Bougé, Christian Lengauer:
Special Issue: Euro-Par 2011. Concurr. Comput. Pract. Exp. 25(4): 510-512 (2013) - [j45]Luc Bougé, Christian Lengauer:
Special Issue: Euro-Par 2012. Concurr. Comput. Pract. Exp. 25(17): 2343-2344 (2013) - [j44]Sven Apel, Christian Kästner, Christian Lengauer:
Language-Independent and Automated Software Composition: The FeatureHouse Experience. IEEE Trans. Software Eng. 39(1): 63-79 (2013) - [c56]Andreas Simburger, Sven Apel, Armin Größlinger, Christian Lengauer:
The potential of polyhedral optimization: An empirical study. ASE 2013: 508-518 - [c55]Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, Christian Lengauer:
Scalable analysis of variable software. ESEC/SIGSOFT FSE 2013: 81-91 - 2012
- [j43]Tobias Grosser, Armin Größlinger, Christian Lengauer:
Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation. Parallel Process. Lett. 22(4) (2012) - [j42]Sven Apel, Christian Lengauer, Julia Lawall:
Preface to the special issue on feature-oriented software development (FOSD 2009). Sci. Comput. Program. 77(3): 129-130 (2012) - [c54]Sven Apel, Olaf Leßenich, Christian Lengauer:
Structured merge with auto-tuning: balancing precision and performance. ASE 2012: 120-129 - 2011
- [j41]Luc Bougé, Christian Lengauer:
Special Issue: Euro-Par 2009. Concurr. Comput. Pract. Exp. 23(2): 143-144 (2011) - [j40]Luc Bougé, Christian Lengauer:
Special Issue: Euro-Par 2010. Concurr. Comput. Pract. Exp. 23(17): 2137-2139 (2011) - [j39]Christian Lengauer, Sven Apel:
Feature-Oriented System Design and Engineering. Int. J. Softw. Informatics 5(1-2): 231-244 (2011) - [c53]Sven Apel, Jörg Liebig, Benjamin Brandl, Christian Lengauer, Christian Kästner:
Semistructured merge: rethinking merge in revision control systems. SIGSOFT FSE 2011: 190-200 - [c52]Wolfgang Scholz, Thomas Thüm, Sven Apel, Christian Lengauer:
Automatic detection of feature interactions using the Java modeling language: an experience report. SPLC Workshops 2011: 7 - [r4]Christian Lengauer:
Monitors, Axiomatic Verification of. Encyclopedia of Parallel Computing 2011: 1173-1177 - [r3]Christian Lengauer:
Owicki-Gries Method of Axiomatic Verification. Encyclopedia of Parallel Computing 2011: 1401-1406 - [r2]Paul Feautrier, Christian Lengauer:
Polyhedron Model. Encyclopedia of Parallel Computing 2011: 1581-1592 - [r1]Martin Fränzle, Christian Lengauer:
Semantic Independence. Encyclopedia of Parallel Computing 2011: 1803-1810 - 2010
- [j38]Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer:
Type safety for feature-oriented product lines. Autom. Softw. Eng. 17(3): 251-300 (2010) - [j37]Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner:
An algebraic foundation for automatic feature-based program synthesis. Sci. Comput. Program. 75(11): 1022-1047 (2010) - [c51]Sven Apel, Wolfgang Scholz, Christian Lengauer, Christian Kästner:
Language-independent reference checking in software product lines. FOSD 2010: 65-71 - [c50]Jörg Liebig, Sven Apel, Christian Lengauer, Christian Kästner, Michael Schulze:
An analysis of the variability in forty preprocessor-based software product lines. ICSE (1) 2010: 105-114 - [c49]Sven Apel, Wolfgang Scholz, Christian Lengauer, Christian Kästner:
Detecting Dependences and Interactions in Feature-Oriented Design. ISSRE 2010: 161-170 - [c48]Sven Apel, Jörg Liebig, Christian Lengauer, Christian Kästner, William R. Cook:
Semistructured Merge in Revision Control Systems. VaMoS 2010: 13-19 - [i3]Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer:
Type-Safe Feature-Oriented Product Lines. CoRR abs/1001.3604 (2010)
2000 – 2009
- 2009
- [j36]Luc Bougé, Christian Lengauer:
Special Issue: Euro-Par 2007. Concurr. Comput. Pract. Exp. 21(7): 855-857 (2009) - [j35]Luc Bougé, Christian Lengauer:
Special Issue: Euro-Par 2008. Concurr. Comput. Pract. Exp. 21(14): 1757-1759 (2009) - [c47]Sven Apel, Christian Kästner, Christian Lengauer:
FEATUREHOUSE: Language-independent, automated software composition. ICSE 2009: 221-231 - [c46]Jörg Liebig, Sven Apel, Christian Lengauer, Thomas Leich:
RobbyDBMS: a case study on hardware/software product line engineering. FOSD 2009: 63-68 - [c45]Sven Apel, Christian Kästner, Christian Lengauer:
Vergleich und Integration von Komposition und Annotation zur Implementierung von Produktlinien. Software Engineering 2009: 101-112 - [c44]Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer:
Feature (De)composition in Functional Programming. SC@TOOLS 2009: 9-26 - 2008
- [c43]Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner:
An Algebra for Features and Feature Composition. AMAST 2008: 36-50 - [c42]Johannes Tomasoni, Jan Dünnweber, Sergei Gorlatch, Michael Claßen, Philipp Claßen, Christian Lengauer:
LooPo-HOC: A Grid Component with Embedded Loop Parallelization. CoreGRID Integration Workshop 2008: 261-273 - [c41]Sven Apel, Christian Kästner, Christian Lengauer:
Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement. GPCE 2008: 101-112 - [c40]Sven Apel, Christian Kästner, Christian Lengauer:
Research challenges in the tension between features and services. SDSOA@ICSE 2008: 53-58 - [c39]Sven Apel, Christian Lengauer:
Superimposition: A Language-Independent Approach to Software Composition. SC@ETAPS 2008: 20-35 - [e4]Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff:
Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007. Dagstuhl Seminar Proceedings 07361, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 2007
- [j34]Nils Ellmenreich, Christian Lengauer:
Costing stepwise refinements of parallel programs. Comput. Lang. Syst. Struct. 33(3-4): 134-167 (2007) - [i2]David Chi-Leung Wong, Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff:
07361 Introduction -- Programming Models for Ubiquitous Parallelism. Programming Models for Ubiquitous Parallelism 2007 - [i1]David Chi-Leung Wong, Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff:
07361 Abstracts Collection -- Programming Models for Ubiquitous Parallelism. Programming Models for Ubiquitous Parallelism 2007 - 2006
- [j33]Armin Größlinger, Martin Griebl, Christian Lengauer:
Quantifier elimination in automatic loop parallelization. J. Symb. Comput. 41(11): 1206-1221 (2006) - [j32]Christian Lengauer, Walid Taha:
Preface. Sci. Comput. Program. 62(1): 1-2 (2006) - [c38]Jia Liu, Don S. Batory, Christian Lengauer:
Feature oriented refactoring of legacy applications. ICSE 2006: 112-121 - [c37]Roberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer:
A disciplined approach to aspect composition. PEPM 2006: 68-77 - 2005
- [c36]Armin Größlinger, Martin Griebl, Christian Lengauer:
Quantifier Elimination in Automatic Loop Parallelization. Algorithmic Algebra and Logic 2005: 123-128 - 2004
- [j31]Martin Griebl, Peter Faber, Christian Lengauer:
Space-time mapping and tiling: a helpful combination. Concurr. Comput. Pract. Exp. 16(2-3): 221-246 (2004) - [e3]Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky:
Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers. Lecture Notes in Computer Science 3016, Springer 2004, ISBN 3-540-22119-0 [contents] - 2003
- [c35]Christian Lengauer:
Program Optimization in the Domain of High-Performance Parallelism. Domain-Specific Program Generation 2003: 73-91 - [c34]Peter Faber, Martin Griebl, Christian Lengauer:
Replicated Placements in the Polyhedron Model. Euro-Par 2003: 303-308 - [p1]Christoph A. Herrmann, Christian Lengauer:
Transforming Rapid Prototypes to Efficient Parallel Programs. Patterns and Skeletons for Parallel and Distributed Computing 2003: 65-94 - 2002
- [j30]Christoph A. Herrmann, Christian Lengauer:
Using Metaprogramming to Parallelize Functional Specifications. Parallel Process. Lett. 12(2): 193-210 (2002) - [c33]Nils Ellmenreich, Christian Lengauer:
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines. IFL 2002: 118-133 - 2001
- [j29]Cherri M. Pancake, Christian Lengauer:
High-performance Java - introduction. Commun. ACM 44(10): 98-101 (2001) - [j28]Christoph Wedler, Christian Lengauer:
On the parallel implementation of a generalized broadcast. Parallel Algorithms Appl. 16(1): 65-82 (2001) - [j27]Marco Aldinucci, Sergei Gorlatch, Christian Lengauer, Susanna Pelagatti:
Towards parallel programming by transformation: the FAN skeleton framework. Parallel Algorithms Appl. 16(2-3): 87-121 (2001) - [c32]Peter Faber, Martin Griebl, Christian Lengauer:
Loop-Carried Code Placement. Euro-Par 2001: 230-234 - [c31]Christoph A. Herrmann, Christian Lengauer:
A Transformational Approach which Combines Size Inference and Program Optimization. SAIG 2001: 199-218 - 2000
- [j26]Sergei Gorlatch, Christian Lengauer:
Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach. Acta Informatica 36(9/10): 761-803 (2000) - [j25]Martin Griebl, Paul Feautrier, Christian Lengauer:
Index Set Splitting. Int. J. Parallel Program. 28(6): 607-631 (2000) - [j24]Christoph A. Herrmann, Christian Lengauer:
HDC: A Higher-Order Language for Divide-and-Conquer. Parallel Process. Lett. 10(2/3): 239-250 (2000) - [c30]Peter Faber, Martin Griebl, Christian Lengauer:
Issues of the Automatic Generation of HPF Loop Programs. LCPC 2000: 359-362
1990 – 1999
- 1999
- [j23]Christoph A. Herrmann, Christian Lengauer:
Parallelization of Divide-and-Conquer by Translation to Nested Loops. J. Funct. Program. 9(3): 279-310 (1999) - [j22]Max Geigl, Martin Griebl, Christian Lengauer:
Termination detection in parallel loop nests with while loops. Parallel Comput. 25(12): 1489-1510 (1999) - [c29]Martin Griebl, Paul Feautrier, Christian Lengauer:
On Index Set Splitting. IEEE PACT 1999: 274-282 - [c28]Christoph A. Herrmann, Jan Laitenberger, Christian Lengauer, Christian Schaller:
Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining. Euro-Par 1999: 930-934 - [c27]Sergei Gorlatch, Christoph Wedler, Christian Lengauer:
Optimization Rules for Programming with Collective Operations. IPPS/SPDP 1999: 492-499 - [c26]Nils Ellmenreich, Christian Lengauer, Martin Griebl:
Application of the Polytope Model to Functional Programs. LCPC 1999: 219-235 - [c25]Bruno Bacci, Sergei Gorlatch, Christian Lengauer, Susanna Pelagatti:
Skeletons and Transformations in an Integrated Parallel Programming Environment. PaCT 1999: 13-27 - 1998
- [j21]Christoph Wedler, Christian Lengauer:
On Linear List Recursion in Parallel. Acta Informatica 35(10): 875-909 (1998) - [c24]Martin Griebl, Christian Lengauer, Sabine Wetzel:
Code Generation in the Polytope Model. IEEE PACT 1998: 106-111 - 1997
- [j20]Christian Lengauer, Sergei Gorlatch, Christoph A. Herrmann:
The Static Parallelization of Loops and Recursions. J. Supercomput. 11(4): 333-353 (1997) - [c23]Christoph Wedler, Christian Lengauer:
Parallel Implementations of Combinations of Broadcast, Reduction and Scan. PDSE 1997: 108-119 - [c22]Christoph A. Herrmann, Christian Lengauer:
Transformation of Divide & Conquer to Nested Parallel Loops. PLILP 1997: 95-109 - [e2]Christian Lengauer, Martin Griebl, Sergei Gorlatch:
Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings. Lecture Notes in Computer Science 1300, Springer 1997, ISBN 3-540-63440-1 [contents] - 1996
- [j19]Christoph Armin Herrmann, Christian Lengauer:
On the Space-Time Mapping of a Class of Divide-and-Conquer Recursions. Parallel Process. Lett. 6(4): 525-537 (1996) - [c21]Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing:
(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly. ECOOP 1996: 232-247 - [c20]Martin Griebl, Christian Lengauer:
Classifying Loops for Space-Time Mapping. Euro-Par, Vol. I 1996: 467-474 - [c19]Martin Griebl, Christian Lengauer:
The Loop Parallelizer LooPo-Announcement. LCPC 1996: 603-604 - [e1]Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek:
Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995). Kluwer Academic Publishers 1996, ISBN 0-7923-9770-3 [contents] - 1995
- [j18]Sergei Gorlatch, Christian Lengauer:
Parallelisation of Divide-and-Conquer in the Bird-Meertens Formalism. Formal Aspects Comput. 7(6): 663-682 (1995) - [j17]Martin Griebl, Christian Lengauer:
A communication scheme for the distributed execution of loop nests with while loops. Int. J. Parallel Program. 23(5): 471-496 (1995) - [c18]Ulrike Lechner, Christian Lengauer:
Modal-µ-Maude: Specification and Properties of Concurrent Objects. Object Orientation with Parallelism and Persistence 1995: 43-62 - 1994
- [j16]Martin Griebl, Christian Lengauer:
On the Space-Time Mapping of While-Loops. Parallel Process. Lett. 4: 221-232 (1994) - [c17]Ulrike Lechner, Christian Lengauer, Martin Wirsing:
An Object-Oriented Airport: Specification and Refinement in Maude. COMPASS/ADT 1994: 351-367 - [c16]Martin Griebl, Christian Lengauer:
On Scanning Space-Time Mapped While Loops. CONPAR 1994: 677-688 - [c15]Sergei Gorlatch, Christian Lengauer:
Systematic Development of an SPMD Implementation Schema for Mutually Recursive Divide-and-Conquer Specifications. IPPS 1994: 368-375 - 1993
- [c14]Christian Lengauer:
Loop Parallelization in the Polytope Model. CONCUR 1993: 398-416 - [c13]Michael Barnett, Christian Lengauer:
A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 374-398 - 1992
- [j15]Jingling Xue, Christian Lengauer:
The synthesis of control signals for one-dimensional systolic arrays. Integr. 14(1): 1-32 (1992) - [j14]Michael Barnett, Christian Lengauer:
Unimodularity and the Prallelization of Loops. Parallel Process. Lett. 2: 273-281 (1992) - [j13]Christian Lengauer, Jingling Xue:
A systolic array for pyramidal algorithms. J. VLSI Signal Process. 4(1): 89 (1992) - [c12]Michael Barnett, Christian Lengauer:
Unimodularity Considered Non-Essential. CONPAR 1992: 659-664 - 1991
- [j12]Christian Lengauer, Michael Barnett, Duncan G. Hudson III:
Towards Systolizing Compilation. Distributed Comput. 5: 7-24 (1991) - [j11]Manfred Broy, Christian Lengauer:
On Denotational versus Predicative Semantics. J. Comput. Syst. Sci. 42(1): 1-29 (1991) - [j10]Christian Lengauer, Jingling Xue:
A systolic array for pyramidal algorithms. J. VLSI Signal Process. 3(3): 237-257 (1991) - [c11]Jingling Xue, Christian Lengauer:
Specifying control signals for one-dimensional systolic arrays by uniform recurrence equations. Algorithms and Parallel VLSI Architectures 1991: 181-186 - [c10]Michael Barnett, Christian Lengauer:
The Synthesis of Systolic Programs. Research Directions in High-Level Parallel Programming Languages 1991: 309-325 - [c9]Michael Barnett, Christian Lengauer:
A Systolizing Compilation Scheme: Abstract. ICPP (2) 1991: 296-297 - 1990
- [j9]Christian Lengauer, Jeff W. Sanders:
The Projection of Systolic Programs. Formal Aspects Comput. 2(3): 273-293 (1990) - [j8]Christian Lengauer:
Code Generation for a Systolic Computer. Softw. Pract. Exp. 20(3): 261-282 (1990) - [c8]Christian Lengauer:
Wie kann man imperative Programme auf eine Systolisierung vorbereiten? GI Jahrestagung (2) 1990: 527-536
1980 – 1989
- 1989
- [j7]Chua-Huang Huang, Christian Lengauer:
An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem. Acta Informatica 27(2): 97-124 (1989) - [j6]Eike Best, Christian Lengauer:
Semantic Independence. Sci. Comput. Program. 13(1): 23-50 (1989) - [c7]Christian Lengauer, Jeff W. Sanders:
The Projection of Systolic Programs. MPC 1989: 307-324 - [c6]Christian Lengauer, Bikash Sabata, Farshid Arman:
A Mechanically Derived Systolic Implementation of Pyramid Initialization. Hardware Specification, Verification and Synthesis 1989: 90-105 - [c5]Christian Lengauer:
Towards Systolizing Compilation: An Overview. PARLE (2) 1989: 253-272 - 1987
- [j5]Chua-Huang Huang, Christian Lengauer:
The Derivation of Systolic Implementations of Programs. Acta Informatica 24(6): 595-632 (1987) - [c4]Chua-Huang Huang, Christian Lengauer:
An Implemented Method for Incremmental Systolic Design. PARLE (1) 1987: 160-177 - 1986
- [j4]Chua-Huang Huang, Christian Lengauer:
The automated proof of a trace transformation for a bitonic sort. Theor. Comput. Sci. 46: 261-284 (1986) - [c3]Christian Lengauer, Chua-Huang Huang:
A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks. POPL 1986: 307-317 - 1985
- [j3]Christian Lengauer:
On the Role of Automated Theorem Proving in the Compile-Time Derivation of Concurrency. J. Autom. Reason. 1(1): 75-101 (1985) - 1984
- [c2]Christian Lengauer, Chua-Huang Huang:
The Static Derivation of Concurrency and its Mechanzed Certification. Seminar on Concurrency 1984: 131-150 - 1982
- [b1]Christian Lengauer:
A methodology for programming with concurrency. University of Toronto, Canada, 1982 - [j2]Christian Lengauer, Eric C. R. Hehner:
A Methodology for Programming with Concurrency: An Informal Presentation. Sci. Comput. Program. 2(1): 1-18 (1982) - [j1]Christian Lengauer:
A Methodology for Programming with Concurrency: The Formalism. Sci. Comput. Program. 2(1): 19-52 (1982) - 1981
- [c1]Christian Lengauer, Eric C. R. Hehner:
A methodolgy for programming with concurrency. CONPAR 1981: 259-270
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
