Sortiert nach
ACM transactions on embedded computing systems, 2024-01, Vol.23 (1), p.1-2, Article 1
2024
Link zum Volltext
ACM SIGAda Ada Letters, 2023-10, Vol.43 (1), p.54-57
2023
Link zum Volltext
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext
2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), 2015, p.1-6
2015
- Link zum Volltext
ACM transactions on Internet technology, 2023-03, Vol.22 (4), p.1-3, Article 93
2023
Link zum Volltext
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext
Design Automation Conference, 2010, p.731-736
2010
- Link zum Volltext
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020, p.1509-1521
2020
- Link zum Volltext
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.574-586
2021
- Link zum Volltext
2006 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'06), 2006, p.135-148
2006
- Link zum Volltext
ACM SIGAda Ada Letters, 2023-06, Vol.43 (1), p.37-41
2023
Link zum Volltext
IEEE transactions on software engineering, 2018-11, Vol.44 (11), p.1039-1069
2018
- Link zum Volltext
PrVM: a multicore real-time virtualization scheduling framework with probabilistic timing guarantees
2019
Link zum Volltext
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE), 2016, p.667-678
2016
- Link zum Volltext
2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2023, p.36-47
2023
Link zum Volltext
ACM transactions on embedded computing systems, 2024
2024
Link zum Volltext
ACM SIGAda Ada Letters, 2023-10, Vol.43 (1), p.59-63
2023
Link zum Volltext
Proceedings - International Conference on Software Engineering, 2002, p.187-197
2002
Link zum Volltext
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020, p.335-346
2020
- Link zum Volltext
2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2020, p.210-213
2020
Link zum Volltext
2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), 2018, p.52-57
2018
- Link zum Volltext
ACM computing surveys, 2018-09, Vol.50 (5), p.1-31, Article 71
2018
Link zum Volltext
SIGBED review, 2018-01, Vol.14 (4), p.46-52
2018
Link zum Volltext
Automatically Finding Bugs in a Commercial Cyber-Physical System Development Tool Chain With SLforge
2018
- Link zum Volltext
ACM transactions on multimedia computing communications and applications, 2023-05
2023
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Software
- Computer Science, Software Engineering
- Computer Science, Information Systems
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Engineering
- Engineering, Electrical & Electronic
- Computer Science, Artificial Intelligence
- Artificial Intelligence
- Computer Science, Hardware & Architecture
- Software Engineering
- Algorithms
- Computer Systems And Distributed Systems. User Interface
- Telecommunications
- Operating Systems
Kollektion
- Ingenta
- IEEE Xplore
- Nexis Uni
- Factiva
- Electronic Journals Library
- SpringerLink Series
- EBSCOhost Business Source Ultimate
- SpringerNature Journals
- ACM Digital Library Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Journals@Ovid
- Publisher's website
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Journals
- Wiley Online Library
Zeitschrift / Serie
Neu hinzugefügt