Katalog der Deutschen Nationalbibliothek

Supporting software evolution via search and prediction

Improving Analysis and Optimization of Finite-Precision Programs

Compiler Optimization

Design Patterns für die Spieleprogrammierung

Design Patterns für die Spieleprogrammierung

Design Patterns für die Spieleprogrammierung (mitp Professio

Performanceanalyse und plattformspezifische Optimierungen am Beispiel des Grid-ALU-Prozessors

Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

Graphbasierte prozedurale Abstraktion

Static analysis : 17th international symposium ; proceedings

Static analysis : 16th international symposium ; proceedings

Static analysis : 16th international symposium ; proceedings

Robust source coding based on forward error correcting codes (FEC source coding)

Static analysis : 15th international symposium ; proceedings

Static analysis : 15th international symposium ; proceedings

Cooperative bug isolation : winning thesis of the 2005 ACM doctoral dissertation competition

Cooperative bug isolation : winning thesis of the 2005 ACM doctoral dissertation competition

Static analysis : 14th international symposium ; proceedings

Static analysis : 14th international symposium ; proceedings

On instruction set generation for specialized processors

On Instruction-Set Generation for Specialized Processors

Static analysis : 13th international symposium ; proceedings

Static analysis : 13th international symposium ; proceedings

Systematic testing of code generation tools : a test suite oriented approach for safeguarding model based code generation

A floating-point to fixed-point design flow for high performance digital signal processors

A Floating-Point to Fixed-Point Design Flow for High Performance Digital Signal Processors

Optimierte Code-Erzeugung für spezialisierte und parallelverarbeitende Prozessoren

Optimierte Code-Erzeugung für spezialisierte und parallelverarbeitende Prozessoren

Data locality optimizations for iterative numerical algorithms and cellular automata on hierarchical memory architectures = Datenlokalitätsoptimierungen für iterative numerische Algorithmen und zelluläre Automaten auf Architekturen mit hierarchischem Speicher

Software and compilers for embedded systems : 8th international workshop ; proceedings

Software and Compilers for Embedded Systems : 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004. Proceedings

Source code optimization techniques for data flow dominated embedded software

Source Code Optimization Techniques for Data Flow Dominated Embedded Software

Source Code Optimization Techniques for Data Flow Dominated Embedded Software

Performance- und energieeffiziente Compilierung für digitale SIMD-Signalprozessoren mittels genetischer Algorithmen

Performance- und energieeffiziente Compilierung für digitale SIMD-Signalprozessoren mittels genetischer Algorithmen

Software and compilers for embedded systems : 7th international workshop ; proceedings

Software and compilers for embedded systems : 7th international workshop ; proceedings

Quellenoptimierter Fehlerschutz für digitale Übertragungskanäle

Erweiterte Compilierung von C, C++ : verbesserte Code-Optimierung durch Verwendung semantischer Zusatzinformationen

Befehlssatzentwurf und Codedichte-Optimierung für RISC-Prozessoren

Quellsprachorientiertes Debugging von optimierten Programmen

Quellsprachorientiertes Debugging von optimierten Programmen

Ein Modell zur Analyse programminhärenter Zusicherungen

Automated generation of optimized code

Compilerbau

2. Synthese und Optimierung