„low-level code“

Suchergebnisse

1.000+ Treffer

• Advances in Computer Vision
  Kisačanin, Branislav ; Gelautz, Margrit 1997 Springer Vienna
• Formal verification of low-level code in a model-based refinement process
  Berg, Nils Erik ; Glesner, Sabine ; König, Barbara ; Lüttgen, Gerald 2019 Technische Universität Berlin
• DUBAI - Notizen zu einer Reise im Frühjahr 2022
  Füllenbach, Katharina 2021 tredition
• A mechanized verification environment for real-time process algebras and low-level programming languages
  Bartels, Björn ; Glesner, Sabine ; Olderog, Ernst-Rüdiger ; Jähnichen, Stefan 2014 Technische Universität Berlin
• DUBAI - Notizen zu einer Reise im Frühjahr 2022
  Füllenbach, Katharina 2021 tredition
• Interprocedural Analysis of Low-Level Code
  Flexeder, Andrea ; Seidl, Helmut ; King, Andy 2011 Universitätsbibliothek der TU München
• Linux-Systemanalyse – Von High-Level-Architekturanalysen zu Low-Level-Code-Optimierungen
  Pfeifer, Hagen Paul 2025 BoD – Books on Demand
• Low-Level-Code Based Production Model For Improving Material Requirements Planning In ERP Systems
  Wimmert, Felix ; Hicking, Jan 2021 Gottfried Wilhelm Leibniz Universität Hannover
• Enabling Low Leakage SRAM Memories at system level: A case study
  Engin, Nur ; Kapoor, Ajay 2016 Technische Universität Kaiserslautern, Fachbereich Elektrotechnik und Informationstechnik
• Correction: A framework for embedded software portability and verification: from formal models to low-level code
  Gomes, Renata Martins ; Aichernig, Bernhard ; Baunach, Marcel
• Linux-Systemanalyse – Von High-Level-Architekturanalysen zu Low-Level-Code-Optimierungen
  Pfeifer, Hagen Paul 2025 BoD - Books on Demand
• High-Performance Computing Using FPGAs
  Vanderbauwhede, Wim ; Benkrid, Khaled 2013 Springer New York
• Low levels of awareness and motivation towards cancer prevention amongst the general public in Sweden: a cross-sectional study focusing on the European Code Against Cancer
  Hultstrand, Cecilia ; Brynskog, Ellen ; Karlsson Rosenblad, Andreas ; Sunesson, Anna-Lena ; Björk-Eriksson, Thomas ; Sharp, Lena
• Adaptable Value-Set Analysis for Low-Level Code
  Brauer, Jörg ; Hansen, René Rydhof ; Kowalewski, Stefan ; Larsen, Kim G. ; Olesen, Mads Chr. 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Structuring Interactive Correctness Proofs by Formalizing Coding Idioms
  Gast, Holger 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Real-Time C++ – Efficient Object-Oriented and Template Microcontroller Programming
  2021 Springer Berlin Heidelberg
• Real-time C++ – efficient object-oriented and template microcontroller programming
  Kormanyos, Christopher 2013 Springer
• Human Ecology of Climate Change Hazards in Vietnam – Risks for Nature and Humans in Lowland and Upland Areas
  Nguyen, An Thinh ; Hens, Luc 2019 Springer International Publishing
• Community-Based Disaster Risk Management in Azerbaijan
  Abbasov, Rovshan 2018 Springer International Publishing
• Real-Time C++ – Efficient Object-Oriented and Template Microcontroller Programming
  2018 Springer Berlin Heidelberg