PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Größlinger, Armin"

Author of the publication

copydeleteadd this publication to your clipboard
Strategies for product-line verification: case studies and experiments.

, , , , and . ICSE, page 482-491. IEEE Computer Society, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Prof. Dr. Armin Hermann University of Stuttgart

Armin Kammer University of Stuttgart

Dr. Armin Weiß University of Stuttgart

Dr. -Ing. Armin Lechler University of Stuttgart

Prof. Dr. Armin Schmidt University of Stuttgart

 

Other publications of authors with the same name

Some Experiments on Tiling Loop Programs for Shared-Memory Multicore Architectures.. Programming Models for Ubiquitous Parallelism, volume 07361 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)The challenges of non-linear parameters and variables in automatic loop parallelisation.. University of Passau, (2009)PolyJIT: Polyhedral Optimization Just in Time., , , and . International Journal of Parallel Programming, 47 (5-6): 874-906 (2019)Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation., , and . Parallel Processing Letters, (2012)Quantifier Elimination in Automatic Loop Parallelization., , and . Algorithmic Algebra and Logic, page 123-128. Books on Demand, (2005)The DAO of Parallel Software Construction.. ICSOFT, page IS-9. SciTePress, (2013)Feature (De)composition in Functional Programming., , , and . Software Composition, volume 5634 of Lecture Notes in Computer Science, page 9-26. Springer, (2009)Guest Editors' Note: Special Issue On High-Performance Stencil Computations., and . Parallel Processing Letters, (2014)Strategies for product-line verification: case studies and experiments., , , , and . ICSE, page 482-491. IEEE Computer Society, (2013)Type-Safe Feature-Oriented Product Lines, , , and . CoRR, (2010)