Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Griebl, Martin"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Quantifier elimination in automatic loop parallelization
Armin Größlinger
,
Martin Griebl
,
Christian Lengauer
Journal Symbolic Computation
41
(11), 2006, pp. 1206-1221
Quantifier elimination in automatic loop parallelization
Armin Größlinger
,
Martin Griebl
,
Christian Lengauer
Proceedings of the Algorithmic Algebra and Logic Conference in Honor of the 60th Birthday of Volker Weispfenning, A3L'2005 (Passau, Germany, April 3-6, 2005)
, 2005, pp. 123-128
Compilers for high performance (compilation and parallelization techniques)
Martin Griebl
Lecture Notes in Computer Science
2400
, 2002, pp. 253-254
A closer look at loop-carried code placement
Peter Faber
,
Martin Griebl
,
Christian Lengauer
Mitteilungen - Gesellschaft für Informatik e.V., Parallel-Algorithmen und Rechnerstrukturen
(18), 2001, pp. 109-118
On tiling space-time mapped loop nests
Martin Griebl
Proceedings of the 13th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA'2001 (Crete Island, Greece, July 3-6, 2001)
, 2001, pp. 322-323
Termination detection in parallel loop nests with while loops
Max Geigl
,
Martin Griebl
,
Christian Lengauer
Parallel Computing
25
(12), 1999, pp. 1489-1510
A scheme for detecting the termination of a parallel loop nest
Max Geigl
,
Martin Griebl
,
Christian Lengauer
Mitteilungen - Gesellschaft für Informatik E.V., Parallel-Algorithmen und Rechnerstrukturen
17
, 1998, pp. 166-175
OCEANS: Optimizing compilers for embedded applications
Bas Aarts
,
Michel Barreteau
,
François Bodin
,
Peter Brinkhaus
,
Zbigniew Chamski
,
Henri-Pierre Charles
,
Christine Eisenbeis
,
John Gurd
,
Jan Hoogerbrugge
,
Ping Hu
,
William Jalby
,
Peter M.W. Knijnenburg
,
Michael F.P. O'Boyle
,
Erven Rohou
,
Rizos Sakellariou
,
Henk Schepers
,
André Seznec
,
Elena Stöhr
,
Marco Verhoeven
,
Harry A.G. Wijshoff
Lecture Notes in Computer Science
1300
, 1997, pp. 1351-1356
Exploiting atomic broadcast in replicated databases
Divyakant Agrawal
,
Gustavo Alonso
,
Amr El Abbadi
,
Ioana Stanoi
Lecture Notes in Computer Science
1300
, 1997, pp. 496-503
A processors management system for PVM
Jose Aguilar
,
Tania Jimenez
Lecture Notes in Computer Science
1300
, 1997, pp. 158-161
Schedulers for age constraint tasks and their performance evaluation
Wolfgang Albrecht
,
Ralf Wisser
Lecture Notes in Computer Science
1300
, 1997, pp. 1282-1289
Experiences in analyzing data dependences for programs with pointers and structures
W. Amme
,
E. Zehendner
Lecture Notes in Computer Science
1300
, 1997, pp. 342-346
RAIN: Redundant array of inexpensive workstations for neurocomputing
Davide Anguita
,
Marco Chirico
,
Anna Marina Scapolla
,
Giancarlo Parodi
Lecture Notes in Computer Science
1300
, 1997, pp. 1340-1345
Distributed self-stabilizing algorithm for minimum spanning tree construction
Gheorghe Antonoiu
,
Pradip K. Srimani
Lecture Notes in Computer Science
1300
, 1997, pp. 480-487
Static granularity optimization of a committed-choice language Fleng
Takuya Araki
,
Hidehiko Tanaka
Lecture Notes in Computer Science
1300
, 1997, pp. 1191-1200
Towards full Prolog on a distributed architecture
Lourdes Araujo
Lecture Notes in Computer Science
1300
, 1997, pp. 1173-1180
Scheduling instructions with uncertain latencies in asynchronous architectures
D.K. Arvind
,
S. Sotelo-Salazar
Lecture Notes in Computer Science
1300
, 1997, pp. 771-778
Workshop 17: Instruction-level parallelism
D.K. Arvind
Lecture Notes in Computer Science
1300
, 1997, pp. 1041-1042
Treegion scheduling for highly parallel processors
Sanjeev Banerjia
,
William A. Havanki
,
Thomas M. Conte
Lecture Notes in Computer Science
1300
, 1997, pp. 1074-1078
Experiments on using WPVM for industrial visual inspection problems
J.G. Barbosa
,
A.J. Padilha
,
J.-P. Madier
,
T. Neubert
Lecture Notes in Computer Science
1300
, 1997, pp. 828-831
Hamiltonian recurrence for ILP
Cristina Barrado
,
Jesús Labarta
Lecture Notes in Computer Science
1300
, 1997, pp. 352-355
Synchronized DSM models
Jordi Bataller
,
Josep Bernabeu
Lecture Notes in Computer Science
1300
, 1997, pp. 468-475
Runtime interprocedural data placement optimisation for lazy parallel libraries
Olav Beckman
,
Paul H.J. Kelly
Lecture Notes in Computer Science
1300
, 1997, pp. 306-309
Workshop 20: Real-time systems and constraints
Gérard Berry
Lecture Notes in Computer Science
1300
, 1997, pp. 1229-1230
Dependence-free clustering of shift-invariant data structures
Matthias Besch
,
Hans Werner Pohl
Lecture Notes in Computer Science
1300
, 1997, pp. 338-341
Seiten 1
2
3
4
5
6
7
8
9
>