„Compiler“

Suchergebnisse

10.000+ Treffer

• High-Level Side-Channel Leakage Models with Application to Compilers
  Seuschek, Hermann Zeno 2018 Verlag Dr. Hut
• Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
  Breitner, Joachim ; Snelting, G. 2016 KIT-Bibliothek
• Graph decomposition in routing and compilers
  Krause, Philipp Klaus ; Adler, Isolde ; Hack, Sebastian 2016 Universitätsbibliothek Johann Christian Senckenberg
• Financial empirical dynamic modeling: a parameter-free sufficient approach for price model
  Azizi, S. Pourmohammad
• Code Generation for Tightly Coupled Processor Arrays
  Boppu, Srinivas ; Teich, Jürgen 2015 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Synthesis and exploration of loop accelerators for systems-on-a-chip
  Dutta, Hritam
• Well-Formed and Scalable Invasive Software Composition
  Karol, Sven ; Aßmann, Uwe ; Löwe, Welf 2015 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Processor pipelines in WCET analysis
  Abdel Maksoud, Mohamed ; Wilhelm, Reinhard 2015 Saarländische Universitäts- und Landesbibliothek
• Exact Integer Programming Approaches to Sequential Instruction Scheduling and Offset Assignment
  Mallach, Sven ; Jünger, Michael ; Marwedel, Peter 2015 Universitäts- und Stadtbibliothek Köln
• Entwicklung eines Modelica Compiler BackEnds für große Modelle
  Frenkel, Jens ; Kunze, Günter ; Fritzson, Peter ; Schmitz, Gerhard 2014 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Communication in Microkernel-Based Operating Systems
  Aigner, Ronald ; Härtig, Hermann ; Meyer-Wegener, Klaus 2011 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Formal framework for proof generating optimizers
  Gawkowski, Marek Jerzy
• Softwareframework für Prozessoren mit variablen Befehlssatzarchitekturen
  Stripf, Timo ; Becker, J. 2013 KIT-Bibliothek
• Pathfinder: XQuery Compilation Techniques for Relational Database Targets
  Teubner, Jens Thilo ; Grust, Torsten ; Kersten, Martin 2006 Universitätsbibliothek der TU München
• Ownership-based order reduction and simulation in shared-memory concurrent computer systems
  Baumann, Christoph ; Paul, Wolfgang J. 2014 Saarländische Universitäts- und Landesbibliothek
• Mixed low- and high level programming language semantics and automated verification of a small hypervisor
  Shadrin, Andrey ; Paul, Wolfgang J. 2012 Saarländische Universitäts- und Landesbibliothek
• Knowledge-based automatic generation of linear algebra algorithms and code
  Fabregat Traver, Diego 2014 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Von A++ nach ARS++ – A++ mit einer Schnittstelle zu anderen Programmiersprachen
  Loczewski, Georg P. 2018 tredition
• Source-Level Performance Estimation of Compiler-Optimized Embedded Software Considering Complex Program Transformations
  Stattelmann, Stefan 2013 Verlag Dr. Hut
• On effective and efficient mutation analysis for unit and integration testing
  Just, René 2013 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik