Aßmann, Uwe: Generierung von Programmoptimierungen mit Graphersetzungssystemen
/ Uwe Assmann. GMD-Forschungszentrum Informationstechnik GmbH. - München : Oldenbourg, 1996. - 151 S. : graph. Darst.; 24 cm - (GMD-Bericht; Nr. 262)
ISBN 978-3-486-23877-8 / 3-486-23877-9 kart. : DM 46.00
Quelle: DNB
Rüthing, Oliver: Interacting code motion transformations
: their impact and their complexity / Oliver Rüthing. - Berlin : Springer, 1998. - XII, 225 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1539)
ISBN 978-3-540-65510-7 / 3-540-65510-7 kart. : DM 58.00
Literaturverz. S. 215 - 220
Quelle: DNB
Interacting code motion transformations
: their impact and their complexity / Oliver Rüthing. - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1539)
ISBN 978-3-540-49209-2
Lizenzpflichtig
Quelle: DNB
Optimal interprocedural program optimization
: a new framework and its application / Jens Knoop. - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1428)
ISBN 978-3-540-49639-7
Lizenzpflichtig
Quelle: DNB
Knoop, Jens: Optimal interprocedural program optimization
: a new framework and its application / Jens Knoop. - Berlin : Springer, 1998. - XXIV, 288 S.; 24 cm - (Lecture notes in computer science; Vol. 1428)
ISBN 978-3-540-65123-9 / 3-540-65123-3 kart. : DM 68.00
Literaturverz. S. 271 - 283
Quelle: DNB
Power aware computer systems
: first international workshop ; revised papers / PACS 2000, Cambridge, MA, USA, November 12, 2000. B. Falsafi ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2008)
ISBN 978-3-540-44572-2
Lizenzpflichtig
Quelle: DNB
Power aware computer systems
: second international workshop ; revised papers / PACS 2002, Cambridge, MA, USA, February 2, 2002. B. Falsafi ; T. N. Vijaykumar (ed.). - Berlin : Springer, 2003. - X, 211 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2325)
ISBN 978-3-540-01028-9 / 3-540-01028-9 kart. : EUR 40.66
Literaturangaben
Quelle: DNB
Kock, Gerd: Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme
/ Gerd Kock. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1992. - X, 217 S.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 201)
ISBN 978-3-486-22255-5 / 3-486-22255-4 kart. : DM 60.00
Quelle: DNB
