المؤلفون: Jordao, Rodolfo, Becker, Matthias, Dr., 1986, Sander, Ingo, Professor, 1964

المصدر: ACM Transactions on Design Automation of Electronic Systems. 29(5)

مصطلحات موضوعية: Design space exploration, design space identification, embedded system design

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-355298
https://doi.org/10.1145/3647640

المؤلفون: Jordao, Rodolfo

المساهمون: Sander, Ingo, Professor, 1964, Geilen, Marc, Associate Professor

المصدر: TRITA-EECS-AVL.

مصطلحات موضوعية: Design space exploration, Model-driven engineering, Embedded systems, Electrical Engineering, Elektro- och systemteknik

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-354060
https://kth.diva-portal.org/smash/get/diva2:1901428/FULLTEXT01.pdf

المؤلفون: Jordao, Rodolfo, Becker, Matthias, Dr., 1986, Sander, Ingo, Professor, 1964, Söderquist, Ingemar

المصدر: AIAA/IEEE Digital Avionics Systems Conference.

مصطلحات موضوعية: Informations- och kommunikationsteknik, Information and Communication Technology

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-338768
https://kth.diva-portal.org/smash/get/diva2:1807174/FULLTEXT01.pdf

المؤلفون: Bahrami, Fahimeh, Jordao, Rodolfo, Sander, Ingo, Söderquist, Ingemar

المصدر: ACM Transactions on Embedded Computing Systems ; ISSN 1539-9087 1558-3465

الاتاحة: https://doi.org/10.1145/3714412
https://dl.acm.org/doi/pdf/10.1145/3714412

المؤلفون: Jordao, Rodolfo, Sander, Ingo, Professor, 1964, Becker, Matthias, Dr., 1986

المصدر: PROCEEDINGS OF THE 2021 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2021). :1204-1207

مصطلحات موضوعية: Computer programming, Embedded software, Genetic algorithms, Mathematical programming, Space platforms, Application models, Decision modeling, Decision procedure, Design constraints, Design space exploration, Models of computation, Platform architecture, Separation of concerns, Design

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-310720
https://kth.diva-portal.org/smash/get/diva2:1651809/FULLTEXT01.pdf

المؤلفون: Bahrami, Fahimeh, Jordao, Rodolfo, Sander, Ingo, Professor, 1964, Ungureanu, George

المصدر: 2024 forum on specification & design languages, FDL 2024 International Forum on Design Languages. :37-45

مصطلحات موضوعية: embedded systems, software parallelization, process network transformation, design transformation

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-356025

المؤلفون: Jordao, Rodolfo, Bahrami, Fahimeh, Yang, Yu, Becker, Matthias, Dr., 1986, Sander, Ingo, Professor, 1964, Rosvall, Kathrin

المصدر: 2024 forum on specification & design languages, FDL 2024 International Forum on Design Languages. :59-67

مصطلحات موضوعية: design space exploration, multiprocessing embedded systems, digital signal processing

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-356036

المؤلفون: Ungureanu, George, Jordao, Rodolfo, Sander, Ingo

مصطلحات موضوعية: models of computation, parallel simulation, dataflow, discrete event systems, Embedded Systems, Inbäddad systemteknik

وصف الملف: application/pdf

Relation: International Forum on Design Languages, 1636-9874; Proceedings of the 2020 Forum for Specification & Design Languages (FDL); ISI:000803059600001

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-286060
https://doi.org/10.1109/FDL50818.2020.9232931

المؤلفون: Yang, Yu, Stathis, Dimitrios, Jordao, Rodolfo, Hemani, Ahmed, 1961, Lansner, Anders, Professor

المصدر: Frontiers in Neuroscience. 14

مصطلحات موضوعية: Bayesian Confidence Propagation Neural Network (BCPNN), neuromorphic computing, Hebbian learning, spiking neural networks, memory optimization, DRAM, cache, digital neuromorphic hardware

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-283870
https://doi.org/10.3389/fnins.2020.00878

المؤلفون: Sander, Ingo, Professor, 1964, Söderquist, Ingemar, Ekman, Mats, Jordao, Rodolfo, Bahrami, Fahimeh, Chen, Rui, Åhlander, Anders

المصدر: 33rd Congress of the International Council of the Aeronautical Sciences, ICAS 2022. :1637-1658

مصطلحات موضوعية: Correct-by-Construction Design, Design Space Exploration, Integrated Modular Avionics, System Modelling, System Synthesis

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-333305

المؤلفون: Olthuis, Jorrit J., Jordao, Rodolfo, Robino, Francesco, Borrami, Sina

المصدر: 2021 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2021) IEEE International Conference on Software Quality, Reliability and Security Companion. :177-183

مصطلحات موضوعية: Trace Validation, LTL3, NBA, Programming Language Agnostic, Railway Domain, Trace Compass

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-315462

المؤلفون: Jordao, Rodolfo, Bahrami, Fahimeh, Chen, Rui, Sander, Ingo

المساهمون: Vinnova, ITEA

المصدر: 2022 Forum on Specification & Design Languages (FDL) ; page 1-8

الاتاحة: http://dx.doi.org/10.1109/fdl56239.2022.9925666
http://xplorestaging.ieee.org/ielx7/9925204/9925654/09925666.pdf?arnumber=9925666

المؤلفون: Schwartz, Christofer, Sander, Ingo, Jordão, Rodolfo, Bruhn, Fredrik, Persson, Mathias, Ekblad, Joakim, Fuglesang, Christer

المساهمون: Schelkens, Peter, Kozacki, Tomasz

المصدر: Optics, Photonics and Digital Technologies for Imaging Applications VII

الاتاحة: http://dx.doi.org/10.1117/12.2620955

المؤلفون: Sander, Ingo, Söderquist, Ingemar, Ekman, Mats, Jordao, Rodolfo, Bahrami, Fahimeh, Chen, Rui, Åhlander, Anders

مصطلحات الفهرس: Correct-by-Construction Design, Design Space Exploration, Integrated Modular Avionics, System Modelling, System Synthesis, Embedded Systems, Inbäddad systemteknik, Conference paper, info:eu-repo/semantics/conferenceObject, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-333305
33rd Congress of the International Council of the Aeronautical Sciences, ICAS 2022, p. 1637-1658

المؤلفون: Aybek, Mehmet Onur, Jordao, Rodolfo, Lundbäck, John, Lundbäck, Kurt-Lennart, Becker, Matthias

مصطلحات الفهرس: Computer Systems, Datorsystem, Embedded Systems, Inbäddad systemteknik, Conference paper, info:eu-repo/semantics/conferenceObject, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-311047
IEEE International Conference on Emerging Technologies and Factory Automation-ETFA, 1946-0740
Proceedings 26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021

المؤلفون: Jordao, Rodolfo, Mohammadat, Tage, Ungureanu, George, Soderquist, Ingemar, Ekman, Mats, Sander, Ingo

مصطلحات الفهرس: Embedded Systems, Inbäddad systemteknik, Conference paper, info:eu-repo/semantics/conferenceObject, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-291748