„Compiler“

Suchergebnisse

10.000+ Treffer

• Ada compiler validation
  Plödereder, Erhard 2010 Universitätsbibliothek der Universität Stuttgart
• Two-Arch2-DAC: a two-stage DAV- $$I_{\varepsilon +}$$ I ε + cooperative framework for MaOPs
  Li, Xiaoxue ; Chu, Xiaokai ; Zhao, Zhenfeng ; Xie, Chengwang ; Wang, Haibin ; Wang, Shenwen
• A generalized Hamiltonian approach for designing simple single-photon-based optical quantum devices
  Ramaseshan, R. ; Abhishek Kumar, V. S. ; Rajeev, Adith ; Prathik, V. ; Aravind, Aditya ; Kulkarni, Prateek P. ; Bhowmick, Kaustav
• The Term Processor Kimwitu++
  Löwis, Martin von ; Piefel, Michael 2002 Humboldt-Universität zu Berlin
• IMPACT 2013 - Proceedings of the 3rd International Workshop on Polyhedral Compilation Techniques
  2013 Universität Passau
• A workflow for analyzing the effect of compiler optimizations on HPC applications
  Hahnfeld, Jonas ; Müller, Matthias Stefan ; Bischof, Christian 2020 Universitätsbibliothek der RWTH Aachen
• Compiler assisted vulnerability assessment
  Shastry, Bhargava ; Seifert, Jean-Pierre ; Margraf, Marian ; Rieck, Konrad ; Francillon, Aurélien 2018 Technische Universität Berlin
• Aspects of Code Generation and Data Transfer Techniques for Modern Parallel Architectures
  Mohr, Manuel ; Snelting, G. 2018 KIT-Bibliothek
• Enhancing IoMT security: an advanced FAHP-based security scoring system for medical devices evaluation
  Jaidi, Faouzi ; Ksibi, Sondes
• ProFNSE: propagation dynamics-derived fake news detection in social networks
  You, Fuqiang ; Ding, Mingliang ; Luo, Hongren ; Ma, Yuliang ; Li, Hongru
• Petri-Netz-basierte Simulation biologischer Prozesse mit OpenModelica
  Ochel, Lennart ; Hofestädt, Ralf ; Bachmann, Bernhard 2017 Universitätsbibliothek Bielefeld
• ManyDSL - One host for all language needs
  Danilewski, Piotr ; Slusallek, Philipp 2017 Saarländische Universitäts- und Landesbibliothek
• SAT Compilation for Constraints over Structured Finite Domains
  Bau, Alexander ; Waldmann, Johannes ; Vogler, Heiko ; Fuhs, Carsten 2017 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• InstRO: A Component-Based Toolbox For Performance Instrumentation – InstRO: Eine Komponenten-basierte Werkzeugplattform für Performance Instrumentierungen
  Iwainsky, Christian M. 2016 Shaker
• Rigorous State-Based Methods – 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
  Bonfanti, Silvia ; Gargantini, Angelo ; Leuschel, Michael ; Riccobene, Elvinia ; Scandurra, Patrizia 2024 Springer Nature Switzerland, Imprint: Springer
• Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
  Breitner, Joachim 2016 KIT Scientific Publishing
• WCET analysis and optimization for multi-core real-time systems
  Kelter, Timon ; Marwedel, Peter ; Puaut, Isabelle 2015 Universitätsbibliothek Dortmund
• Memory-based optimization techniques for real-time systems
  Plazar, Sascha ; Marwedel, Peter ; Glesner, Sabine 2012 Universitätsbibliothek Dortmund
• Resource efficient processing and communication in sensor/actuator environments
  Timm, Constantin ; Marwedel, Peter ; Müller, Heinrich 2012 Universitätsbibliothek Dortmund
• A verifiable credential scheme for resisting long-term tracking in self-sovereign identity
  Xu, Zisang ; Huan, Zhenhao ; Li, Kuanching ; liang, Wei