„Embedded Software“

Suchergebnisse

802 Treffer

• Tagungsband – Embedded Software Engineering Kongress 2019 : 2. bis 6. Dezember 2019, Sindelfingen
  2019 ELEKTRONIKPRAXIS, Vogel Communications Group GmbH & Co. KG
• Software for Embedded Systems (SWES)
  Ram Kumar, C. 2019 LAP LAMBERT Academic Publishing
• A blueprint for system-level performance modeling of software-intensive embedded systems
  Hendriks, Martijn ; Basten, Twan ; Verriet, Jacques ; Brassé, Marco ; Somers, Lou
• Performance and power consumption evaluation of concurrent queue implementations in embedded systems
  Papadopoulos, Lazaros ; Walulya, Ivan ; Renaud-Goud, Paul ; Tsigas, Philippas ; Soudris, Dimitrios ; Barry, Brendan
• Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1
  Kim, Hye Yeon ; Sheldon, Frederick T.
• Runtime verification of embedded real-time systems
  Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg
• Safe design of high-performance embedded systems in an MDE framework
  Yu, Huafeng ; Gamatié, Abdoulaye ; Rutten, Éric ; Dekeyser, Jean-Luc
• Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions
  Currie, David ; Feng, Xiushan ; Fujita, Masahiro ; Hu, Alan J. ; Kwan, Mark ; Rajan, Sreeranga
• Smart Parking System - Another Way of Sharing Economy
  Marcu, Simona-Daniela 2019 LAP LAMBERT Academic Publishing
• Software Engineering paralleler Systeme – Grundlagen, Algorithmen, Programmierung
  Uelschen, Michael 2019 Springer Vieweg
• Hardware/Software Co-Design of Complex Embedded Systems: An Approach Using Efficient Process Models, Multiple Formalism Specification and Validation via Co-Simulation
  Voros, Nikolaos S. ; Sánchez, Luis ; Alonso, Alejandro ; Birbas, Alexios N. ; Birbas, Michael ; Jerraya, Ahmed
• Testing Embedded System
  Jain, Dr. Neelesh 2019 LAP LAMBERT Academic Publishing
• 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
  Quinton, Sophie 2019 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Worst-case execution-time analysis for embedded real-time systems
  Engblom, Jakob ; Ermedahl, Andreas ; Sjödin, Mikael ; Gustafsson, Jan ; Hansson, Hans
• Software-Architektur ohne Autosar Verallgemeinerte Schablone für Embedded-Systeme
  Krdzalic, Galib ; Driss, Alexander
• Software Architecture Without Autosar General Template for Embedded Systems
  Krdzalic, Galib ; Driss, Alexander
• Stable Real-Time Surgical Cutting Simulation of Deformable Objects Embedded with Arbitrary Triangular Meshes
  Jia, Shi-Yu ; Pan, Zhen-Kuan ; Wang, Guo-Dong ; Zhang, Wei-Zhong ; Yu, Xiao-Kang
• Verification of software for Contiki-based low-power embedded systems using software model checking
  Vörtler, Thilo ; Hofstedt, Petra ; Vierhaus, Heinrich Theodor 2018 BTU Cottbus - Senftenberg
• LabVIEW-FPGA Tools Based on RIO Platform for Rapid Embedded Adaptive – Control Design of DC Motor Drive Applications
  Al-Saaty, Nawfal ; Al-Greer, Maher 2019 LAP LAMBERT Academic Publishing
• Software parallelization and distribution for heterogeneous multi-core embedded systems
  Aguilar Ulloa, Miguel Angel 2018