„Embedded Software“

Suchergebnisse

802 Treffer

• Regression based FPGA power estimation tool (FPE_Tool) for embedded multiplier block
  Verma, Gaurav ; Kumar, Rahul ; Khare, Vijay
• Embedded Fuzzy Bilingual Dictionary model for cross language information retrieval systems
  Onifade, Olufade F. W. ; Ibitoye, Ayodeji O. J. ; Mitra, Pabitra
• Special issue on engineering collaborative embedded systems
  Rumpe, Bernhard ; Schaefer, Ina ; Schlingloff, Bernd-Holger ; Vogelsang, Andreas
• Managing obsolescence of embedded hardware and software in secure and trusted systems
  Collier, Zachary A. ; Lambert, James H.
• Experience of using a lightweight formal specification method for a commercial embedded system product line
  Breen, Michael
• Yocto Project Customization for Linux – The Essential Guide for Embedded Developers
  Giometti, Rodolfo 2025 Apress, Imprint: Apress
• Wilson disease tissue classification and characterization using seven artificial intelligence models embedded with 3D optimization paradigm on a weak training brain magnetic resonance imaging datasets: a supercomputer application
  Agarwal, Mohit ; Saba, Luca ; Gupta, Suneet K. ; Johri, Amer M. ; Khanna, Narendra N. ; Mavrogeni, Sophie ; Laird, John R. ; Pareek, Gyan ; Miner, Martin ; Sfikakis, Petros P. ; Protogerou, Athanasios ; Sharma, Aditya M. ; Viswanathan, Vijay ; Kitas, George D. ; Nicolaides, Andrew ; Suri, Jasjit S.
• Entwicklung eines netzwerkbasierten "Lieferanten Performance Management und Measurement"-Modelles am Beispiel der Embedded-Software-Beschaffung in der Automobilindustrie
  Meißner, Maria ; Eßig, Michael ; Deimling, Christian ˜vonœ 2025 Universitätsbibliothek der Universität der Bundeswehr München
• Objektorientierte Modellierung von Automatisierungssystemen – Software Engineering für embedded systems
  Kieß, Jan U. 1995 Springer
• Resilience of Virtualized Embedded IoT Networks
  Ergenc, Doganalp ; Fischer, Mathias 2020 Universitätsbibliothek Tübingen
• Executing model-based software development for embedded I4.0 devices properly
  Burzlaff, Fabian ; Bartelt, Christian ; Jacobs, Steffen 2018 Universitätsbibliothek Mannheim
• SynDEVS Co-Design Flow – A Hardware/Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation
  Molter, Hans Gregor 2012 Springer Fachmedien Wiesbaden
• Accurate binary-level symbolic execution of embedded firmware
  Tempel, Sören ; Drechsler, Rolf ; Baccelli, Emmanuel 2024 Staats- und Universitätsbibliothek Bremen
• Automatic Generator Methodology for Safe Embedded Software
  Werner, Michael ; Ecker, Wolfgang ; Müller-Gritschneder, Daniel 2023 Universitätsbibliothek der TU München
• Towards Efficient Resource Allocation for Embedded Systems
  Hasler, Mattis ; Fettweis, Gerhard ; Rückert, Ulrich 2023 Technische Universität Dresden
• Post quantum cryptography – implementing alternative public key schemes of embedded devices ; preparing for the rise of quantum computers
  Heyse, Stefan ; Paar, Christof ; Barreto, Paulo S.L.M. ; Güneysu, Tim 2014 Ruhr-Universität Bochum
• Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods
  Becker, Martin ; Chakraborty, Samarjit ; Müller-Gritschneder, Daniel ; Caccamo, Marco 2020 Universitätsbibliothek der TU München
• Systementwurf eingebetteter heterogener rekonfigurierbarer Systeme mit Linux-Betriebssystem am Beispiel einer modularen Plattform zur Erfassung und Verarbeitung von Sensordaten
  Kriesten, Daniel ; Heinkel, Ulrich ; Hardt, Wolfram 2015 Universitätsbibliothek Chemnitz
• Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
  Dernehl, Christian Michael ; Kowalewski, Stefan ; Moormann, Dieter 2019 Universitätsbibliothek der RWTH Aachen
• Computer-Aided Development of Robust Embedded Software
  Kleeberger, Petra Roswitha 2019 Verlag Dr. Hut