Katalog der Deutschen Nationalbibliothek

Coarse-grained graph compilation for embedded multiprocessors

Coarse-grained graph compilation for embedded multiprocessors : PhD thesis by Merten Popp

Functional DSL Compilers with Leightweight Proofs

New Compilation Methods for Complex User-Defined Functions

A formal framework for correct and secure compilation

Linnea: a compiler for mapping linear algebra problems onto high-performance kernel libraries

Program analysis of WebAssembly binaries

Verified compilation and optimization of floating-point kernels

Modelica-Compiler Methoden für zeitkritische Simulationen

iX Developer Modernes C++ : C++20: Was Entwickler wissen müssen!

Programmierung sicherer Systeme mit Rust : Eine Einführung

Compiler : Aufbau und Arbeitsweise

Compiler Optimization

Dynamische Implementierung von ICIx-Anfragen

Höhere FORTRAN-Programmierung : Eine Anleitung zum optimalen Programmieren

Automatische Generierung von Echtzeitsoftware fuer eine offene Schnittstelle einer Antriebsregelung (Sinamics OEM)

C# lernen : Eine ausführliche Anleitung mit vielen Beispielen

Integration von Software-Komponenten, die mit unterschiedlichen Compilern erstellt worden sind

Two-way-compiler : Beitrag zur Modellierung, Implementierung und Bewertung eines Konzepts zur Übersetzung und Validierung sicherheitsgerichteter Software

Von A++ nach ARS++ : A++ mit einer Schnittstelle zu anderen Programmiersprachen

Einstieg in TypeScript : Grundlagen für Entwickler

Petri-Netz-basierte Simulation biologischer Prozesse mit OpenModelica

Programmieren mit Python und Matlab : Begleitunterlagen zum Onlinekurs

Entwicklung eines Source-to-Source Compilers für explizite Optimierung

InstRO: A Component-Based Toolbox For Performance Instrumentation : InstRO: Eine Komponenten-basierte Werkzeugplattform für Performance Instrumentierungen

InstRO: a component-based toolbox for performance instrumentation = InstRO: eine Komponenten-basierte Werkzeugplattform für Performance Instrumentierungen

Einführung in Swift (mitp Professional) : Mit Referenzkarte zum Herausnehmen

Just-in-Time Compilation von Linked Data Querys mit LLVM : Beschleunigung der SPARQL Query Engine CameLOD durch Query Just-in-Time Compilation mit LLVM

Portierung interaktiver C++ Anwendungen zu Webanwendungen : HTML5, Emscripten und Google Native Client in der Praxis

Compiler and runtime techniques to identify and optimize atomic blocks in parallel programs

Dynamische Ausführung von Positionstransformationen mittels OpenGL ES 2.0-Shaderprogrammen

Entwicklung eines Modelica Compiler BackEnds für große Modelle

Modulare und interpretierbare Programmiersprachen

Paradigmenübergreifende Quelltexttransformation von Haskell nach Ruby

Performance-Evaluation einer sprach- und plattformunabhängigen Serialisierungssprache

Vergleich unterschiedlicher Compiler am Beispiel von SG++

Globale Datenflußanalyse und horizontale Compilation der relational-funktionalen Sprache RELFUN

Languages and compilers for parallel computing : 24th international workshop ; revised selected papers

Languages and Compilers for Parallel Computing : 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers

Languages and compilers for parallel computing : 25th international workshop ; revised selected papers

Languages and Compilers for Parallel Computing : 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

Softwareframework für Prozessoren mit variablen Befehlssatzarchitekturen

Strongly secure authenticated key exchange in the standard model

A machine-checked, type-safe model of Java concurrency : language, virtual machine, memory model, and verified compiler

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

A WCET-Aware Compiler : Design, Concepts and Realization

Bringing zero-knowledge proofs of knowledge to practice : thesis

Design, Compiler-Werkzeuge und Evaluation einer FSM-basierten Prozessoreinheit für hochratige Multistandard-Datenpaketverarbeitung

Flow Facts für WCET-optimierende Compiler : Modellierung und Transformation

Design and Implementation of an object-oriented framework for dynamic partial reconfiguration

Languages and compilers for parallel computing : 23rd international workshop ; revised selected papers

Languages and Compilers for Parallel Computing : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers

Optimierungscompiler und Formberechnungsverfahren : Entwicklung und Anwendung im Vorentwurf von RO/RO-Schiffen [[Elektronische Ressource]]

Principles of compilers : a new approach to compilers including the algebraic method

Principles of Compilers : A New Approach to Compilers Including the Algebraic Method

Programming languages and systems : 9th Asian symposium ; proceedings

Programming Languages and Systems : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Transactions on high-performance embedded architectures and compilers

3

XML Schema Import for the Pathfinder XQuery Compiler

High performance embedded architectures and compilers : 5th international conference ; proceedings