Sortiert nach
Electronic proceedings in theoretical computer science, 2021, Vol.348, p.54-72
2021
Volltextzugriff (PDF)
Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems, 2021, p.1-3
2021
Volltextzugriff (PDF)
2024 IEEE/SICE International Symposium on System Integration (SII), 2024, p.1045-1051
2024
Volltextzugriff (PDF)
2019 IFIP/IEEE 27th International Conference on Very Large Scale Integration (VLSI-SoC), 2019, p.232-233
2019
Volltextzugriff (PDF)
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems
2023
Volltextzugriff (PDF)
2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV), 2015, p.32-37
2015
Volltextzugriff (PDF)
2011 IEEE Congress of Evolutionary Computation (CEC), 2011, p.1420-1427
2011
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, p.335-351
Volltextzugriff (PDF)
2011 IEEE International High Level Design Validation and Test Workshop, 2011, p.57-64
2011
Volltextzugriff (PDF)
2022 29th IEEE International Conference on Electronics, Circuits and Systems (ICECS), 2022, p.1
2022
Volltextzugriff (PDF)
Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018, p.35-42
2018
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.585-600
Volltextzugriff (PDF)
Proceedings of the 11th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures / 9th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2020, p.1-6
2020
Volltextzugriff (PDF)
Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023, p.1-11
2023
Volltextzugriff (PDF)
Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, 2015, p.12-21
2015
Volltextzugriff (PDF)
Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, 2017, p.51-59
2017
Volltextzugriff (PDF)
2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC), 2016, p.125-132
2016
Volltextzugriff (PDF)
2006 IEEE International High Level Design Validation and Test Workshop, 2006, p.11-18
2006
Volltextzugriff (PDF)
Annual ACM IEEE Design Automation Conference: Proceedings of the 39th conference on Design automation : New Orleans, Louisiana, USA; 10-14 June 2002, 2002, p.135-140
2002
Volltextzugriff (PDF)
Proceedings of the 29th Annual ACM Symposium on Applied Computing, 2014, p.1194-1199
2014
Volltextzugriff (PDF)
Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324), 2002, p.135-140
2002
Volltextzugriff (PDF)
2019 IFIP/IEEE 27th International Conference on Very Large Scale Integration (VLSI-SoC), 2019, p.1-2
2019
Volltextzugriff (PDF)
Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2015, p.115-124
2015
Volltextzugriff (PDF)
2013 14th International Workshop on Microprocessor Test and Verification, 2013, p.8-13
2013
Volltextzugriff (PDF)
2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES), 2014, p.1-9
2014
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Engineering
- Engineering, Electrical & Electronic
- Computer Science, Theory & Methods
- Energy Consumption
- Computer Science, Hardware & Architecture
- Computer Science, Software Engineering
- Hardware
- Optimization
- Safety
- Software
- Automation & Control Systems
- Computer Architecture
- Computer Systems Organization -- Embedded And Cyber-Physical Systems
- Embedded Systems
- Integrated Circuits
- Machine Learning
- Microprocessors