„Low-level Programming“

Suchergebnisse

1.000+ Treffer

• Bilevel stochastic linear programming with integer variables in the lower level problem
  Burtscheidt, Johanna ; Schultz, Rüdiger 2024 Universität Duisburg-Essen
• 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
• 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
• Correction: A framework for embedded software portability and verification: from formal models to low-level code
  Gomes, Renata Martins ; Aichernig, Bernhard ; Baunach, Marcel
• High-Performance Computing Using FPGAs
  Vanderbauwhede, Wim ; Benkrid, Khaled 2013 Springer New York
• The Design of Terra: Harnessing the Best Features of High-Level and Low-Level Languages
  DeVito, Zachary ; Hanrahan, Pat 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Cross-Generational Impact of Maternal Exposure to Low Level of PM 2.5 on Kidney Health
  Chen, Hui ; Nguyen, Long The ; Feng, Min ; Wang, Baoming ; Xu, Bai ; Yarak, Rochelle A. ; Chan, Yik Lung ; Viswanathan, Seethalakshmi ; Komala, Muralikrishna Gangadharan ; Pollock, Carol A. ; Oliver, Brian G. ; Saad, Sonia
• 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
• Real-Time C++ – Efficient Object-Oriented and Template Microcontroller Programming
  2018 Springer Berlin Heidelberg
• Real Time Control Engineering – Systems And Automation
  Ng, Tian Seng 2016 Springer Singapore
• Real-Time C++ – Efficient Object-Oriented and Template Microcontroller Programming
  Kormanyos, Christopher 2021 Springer Berlin
• Real-Time C++ – Efficient Object-Oriented and Template Microcontroller Programming
  Kormanyos, Christopher 2018 Springer Berlin
• Approaches to four types of bilevel programming problems with nonconvex nonsmooth lower level programs and their applications to newsvendor problems
  Zhu, Xide ; Guo, Peijun
• A framework for embedded software portability and verification: from formal models to low-level code
  Martins Gomes, Renata ; Aichernig, Bernhard ; Baunach, Marcel
• Real-Time C++ – efficient object-oriented and template microcontroller programming
  Kormanyos, Christopher 2021 Springer
• Real-Time C++ – Efficient Object-Oriented and Template Microcontroller Programming
  Kormanyos, Christopher 2013 Springer Berlin Heidelberg
• From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model
  Bucaioni, Alessio ; Ciccozzi, Federico ; Salle, Amleto Di ; Sjödin, Mikael
• A Bundle Algorithm Applied to Bilevel Programming Problems with Non-Unique Lower Level Solutions
  Dempe, S.
• On an algorithm solving two-level programming problems with nonunique lower level solutions
  Dempe, S. ; Schmidt, H.