„Compiler“

Suchergebnisse

10.000+ Treffer

• Towards memory safety of web browsers
  Bernhard, Lukas ; Holz, Thorsten ; Davi, Lucas 2025 Ruhr-Universität Bochum
• Functional DSL Compilers with Leightweight Proofs
  Richter, David ; Mezini, Mira ; Ostermann, Klaus 2025 Universitäts- und Landesbibliothek
• Coarse-grained graph compilation for embedded multiprocessors
  Popp, Merten ; Bereković, Mladen ; Michalik, Harald ; Payá Vayá, Guillermo 2025 Technische Universität Braunschweig
• Coarse-grained graph compilation for embedded multiprocessors – PhD thesis by Merten Popp
  Popp, Merten 2025 epubli
• Functional Abstract Interpretation
  Graf, Sebastian ; Snelting, Gregor ; Brachthäuser, Jonathan I. 2025 KIT-Bibliothek
• Ephemeral Kubernetes: dynamically deleting and recreating clusters using Warewulf
  Decker, Jonathan ; Kunkel, Julian
• Dung beetle optimization algorithm with multi-strategy fusion for multi-UAV path planning
  Zong, Xinlu ; Hao, Jiaxin ; Liu, Fucai
• Approximation of classical coupled Jaulent–Miodek system by RBF-PSM through the application of seventh-order nine-stage Runge–Kutta method
  Jena, Saumya Ranjan ; Sahu, Itishree
• Graph-based adversarial training for rumor detection on social media
  Guo, Ying ; Jin, Yangqi ; Zhang, Xiongfei ; Liu, Jie
• Crossrecsmart: a cross-network anchor-based representation learning for the recommendation of smart services
  Mezni, Haithem ; Sellami, Mokhtar ; Algarni, Abeer D. ; Elmannai, Hela
• Language identification based on multi-scale feature recursive fusion and adaptive loss
  Li, Weiwei ; Chen, Chen ; Chen, Yong ; Chen, Deyun
• Automatic SIMD vectorization of SSA-based control flow graphs
  Karrenberg, Ralf ; Hack, Sebastian 2015 Saarländische Universitäts- und Landesbibliothek
• Codeerzeugung mit Graphersetzung und Lösungsgraphen
  Boesler, Boris 2005 Shaker
• A Machine-Checked, Type-Safe Model of Java Concurrency – Language, Virtual Machine, Memory Model, and Verified Compiler
  Lochbihler, Andreas ; Snelting, G. 2012 KIT Scientific Publishing
• A Floating-Point to Fixed-Point Design Flow for High Performance Digital Signal Processors
  Coors, Martin 2005 Shaker
• Optimierte Code-Erzeugung für spezialisierte und parallelverarbeitende Prozessoren
  Römer, Attila 2005 Shaker
• C Compiler Aided Design of Application-Specific Instruction-Set Processors Using the Machine Description Language LISA
  Wahlen, Oliver 2004 Shaker
• Comparison of Compiler's Intermediate Representations and Input/Output Access Patterns with String Kernels
  Torres Carvajal, Raul Ernesto ; Ludwig, Thomas 2018 Staats- und Universitätsbibliothek Hamburg
• A Novel Compiler-Friendly Micro-Architecture for Rapid Development of High-Performance and Low-Power DSPs
  Cichon, Gordon 2004 Shaker
• A Compiler Backend for Generic Programming with Arrays
  Kreye, Dietmar 2004 Shaker