المؤلفون: Mohamadkhani, Alireza, Geilen, Marc, Voeten, Jeroen, Basten, Twan

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control

URL الوصول: http://arxiv.org/abs/2312.05011

المؤلفون: Samimi, Nasim, Nasri, Mitra, Basten, Twan, Geilen, Marc

المصدر: Samimi , N , Nasri , M , Basten , T & Geilen , M 2025 , Online Admission Test for Real-Time Tasks with Arrival Curves for Server Platforms . in RTNS '24 : Proceedings of the 32nd International Conference on Real-Time Networks and Systems . Association for Computing Machinery, Inc , New York , pp. 266-277 , 32nd International Conference on Real-Time Networks and Systems, RTNS 2024 , Porto , Portugal , 6/11/24 . https://doi.org/10.1145/3696355.3696359

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

الاتاحة: https://research.tue.nl/en/publications/2064629f-9e86-4546-a803-5ff369e2403d
https://doi.org/10.1145/3696355.3696359
https://pure.tue.nl/ws/files/349921848/3696355.3696359_1_.pdf

المؤلفون: Thuijsman, Sander, Kahraman, Gökhan, Mohamadkhani, Alireza, Timmers, Ferry, Cleophas, Loek, Geilen, Marc, Groote, Jan Friso, Reniers, Michel, Schiffelers, Ramon, Voeten, Jeroen

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2302.03503

المؤلفون: Modaber, Mahtab, Hendriks, Martijn, Geilen, Marc, Basten, Twan, Voeten, Jeroen

المصدر: Modaber , M , Hendriks , M , Geilen , M , Basten , T & Voeten , J 2024 , ' A Method for Building Trustworthy Hybrid Performance Models for Cyber-Physical Systems of Systems ' , IEEE Access , vol. 12 , pp. 92733-92752 . https://doi.org/10.1109/ACCESS.2024.3422660

مصطلحات موضوعية: Bayesian calibration, cloud-based cyber-physical systems, design patterns, hybrid modeling, model validation, trustworthy performance models

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

الاتاحة: https://research.tue.nl/en/publications/954092b2-eba9-4a93-abef-55f50db46a2c
https://doi.org/10.1109/ACCESS.2024.3422660
https://pure.tue.nl/ws/files/347572444/A_Method_for_Building_Trustworthy_Hybrid_Performance_Models_for_Cyber-Physical_Systems_of_Systems.pdf
http://www.scopus.com/inward/record.url?scp=85197568393&partnerID=8YFLogxK

المؤلفون: Samimi Dehkordi, Nasim, Nasri, Mitra, Basten, A.A. (Twan), Geilen, Marc C.W.

المصدر: Samimi Dehkordi , N , Nasri , M , Basten , A A & Geilen , M C W 2024 , Work in Progress : Guaranteeing weakly-hard timing constraints in server-based real-time systems . in 2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium, RTAS 2024 . , 10568043 , Institute of Electrical and Electronics Engineers , pp. 402-405 , 30th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2024 , Hongkong , China , 13/06/24 . https://doi.org/10.1109/RTAS61025.2024.00043

مصطلحات موضوعية: admission test, arrival curve, real-Time systems, response time analysis, Server-based systems

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

الاتاحة: https://research.tue.nl/en/publications/f964f60f-baea-404a-bef0-862ba81b03e4
https://doi.org/10.1109/RTAS61025.2024.00043
https://pure.tue.nl/ws/files/337967706/Work_in_Progress_Guaranteeing_Weakly-Hard_Timing_Constraints_in_Server-Based_Real-Time_Systems.pdf
https://pure.tue.nl/ws/files/337967709/Work_in_Progress_Online_admission_test_for_m_k_weakly_hard_9_.pdf
http://www.scopus.com/inward/record.url?scp=85197705878&partnerID=8YFLogxK

المؤلفون: Hendriks, Martijn, Geilen, Marc, Goossens, Kees, de Jong, Rob, Basten, Twan

المصدر: Logical Methods in Computer Science, Volume 17, Issue 2 (May 26, 2021) lmcs:6128

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Discrete Mathematics, Computer Science - Performance

URL الوصول: http://arxiv.org/abs/2002.08181

المؤلفون: Mohamadkhani, Alireza, Geilen, Marc C.W., Voeten, Jeroen P.M., Basten, A.A. (Twan)

المصدر: Mohamadkhani , A , Geilen , M C W , Voeten , J P M & Basten , A A 2023 , ' Modeling and analysis of switching max-plus linear systems with discrete-event feedback ' , Discrete Event Dynamic Systems , vol. 33 , no. 3 , pp. 341-372 . https://doi.org/10.1007/s10626-023-00382-y

مصطلحات موضوعية: Discrete event systems, Flexible manufacturing systems, Max-plus linear systems, Modeling and analysis

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

الاتاحة: https://research.tue.nl/en/publications/c12d330c-1352-4186-a229-09b31ec22c94
https://doi.org/10.1007/s10626-023-00382-y
https://pure.tue.nl/ws/files/313464594/s10626-023-00382-y.pdf
http://www.scopus.com/inward/record.url?scp=85169050446&partnerID=8YFLogxK

المؤلفون: Gomony, Manil Dev, Gebregiorgis, Anteneh, Fieback, Moritz, Geilen, Marc, Stuijk, Sander, Richter-Brockmann, Jan, Bishnoi, Rajendra, Andradas, Lara Arche, Argo, Sven, Güneysu, Tim, Taouil, Mottaqiallah, Corporaal, Henk, Hamdioui, Said

المصدر: Gomony , M D , Gebregiorgis , A , Fieback , M , Geilen , M , Stuijk , S , Richter-Brockmann , J , Bishnoi , R , Andradas , L A , Argo , S , Güneysu , T , Taouil , M , Corporaal , H & Hamdioui , S 2023 , Dependability of Future Edge-AI Processors: Pandora's Box . in 2023 IEEE European Test Symposium (ETS) . , 10174180 , Institute of Electrical and Electronics Engineers , 28th IEEE European Test Symposium, ETS 2023 , Venice , Italy , 22/05/23 . https://doi.org/10.1109/ETS56758.2023.10174180

مصطلحات موضوعية: DSE, SoC, ULP, approximate computing, compiler stack, dynamic DL, edge-AI, memristor

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

الاتاحة: https://research.tue.nl/en/publications/3dabb669-a50b-4cf1-9cb1-f3a38472e279
https://doi.org/10.1109/ETS56758.2023.10174180
https://pure.tue.nl/ws/files/343890709/Dependability_of_Future_Edge-AI_Processors_Pandoras_Box.pdf
http://www.scopus.com/inward/record.url?scp=85166208417&partnerID=8YFLogxK

المؤلفون: Skelin, Mladen, Geilen, Marc, Catthoor, Francky, Hendseth, Sverre

المصدر: EPTCS 145, 2014, pp. 65-79

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/1404.0089

المؤلفون: van der Sanden, L.J., Geilen, Marc C.W., Reniers, Michel A., Basten, A.A. (Twan)

المصدر: van der Sanden , L J , Geilen , M C W , Reniers , M A & Basten , A A 2022 , ' Partial-Order Reduction for Supervisory Controller Synthesis ' , IEEE Transactions on Automatic Control , vol. 67 , no. 2 , pp. 870-885 . https://doi.org/10.1109/TAC.2021.3129161

مصطلحات موضوعية: Aerospace electronics, Automata, Performance analysis, Redundancy, Scalability, Throughput, Timing, Control system analysis, Control systems, System analysis and design, System performance, Supervisory control, Systems engineering and theory

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

الاتاحة: https://research.tue.nl/en/publications/ce18d0c1-73bb-499d-9f67-9bc5295564ae
https://doi.org/10.1109/TAC.2021.3129161
https://pure.tue.nl/ws/files/197725123/Partial_Order_Reduction_for_Supervisory_Controller_Synthesis.pdf
http://www.scopus.com/inward/record.url?scp=85121795505&partnerID=8YFLogxK

المؤلفون: Ibrahim, Emad, van den Dool, Bart, De, Sayandip, Gomony, Manil Dev, Huisken, Jos A., Geilen, Marc C.W.

المصدر: Ibrahim , E , van den Dool , B , De , S , Gomony , M D , Huisken , J A & Geilen , M C W 2022 , ' Dilate-Invariant Temporal Convolutional Network for Real-Time Edge Applications ' , IEEE Transactions on Circuits and Systems I: Regular Papers , vol. 69 , no. 3 , pp. 1210-1220 . https://doi.org/10.1109/TCSI.2021.3124219

مصطلحات موضوعية: Temporal convolutional network, data-flow transformations, digital signal processing, dilated convolution, high-level synthesis

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

الاتاحة: https://research.tue.nl/en/publications/11e07897-26bb-4985-aece-28d6f0cd6e83
https://doi.org/10.1109/TCSI.2021.3124219
https://pure.tue.nl/ws/files/198804169/Dilate_Invariant_Temporal_Convolutional_Network_for_Real_Time_Edge_Applications.pdf
http://www.scopus.com/inward/record.url?scp=85125711546&partnerID=8YFLogxK

المؤلفون: Gomony, Manil, de Putter, Floran, Gebregiorgis, Anteneh, Paulin, Gianna, Mei, Linyan, Jain, Vikram, Hamdioui, Said, Sanchez, Victor, Grosser, Tobias, Geilen, Marc, Verhelst, Marian, Zenke, Friedemann, Gurkaynak, Frank, de Bruin, Barry, Stuijk, Sander, Davidson, Simon, De, Sayandip, Ghogho, Mounir, Jimborean, Alexander, Eissa, Sherif, Benini, Luca, Soudris, Dimitrios, Bishnoi, Rajendra, Ainsworth, Sam, Corradi, Federico, Karrakchou, Ouassim, Güneysu, Tim, Corporaal, Henk

المصدر: Gomony , M , de Putter , F , Gebregiorgis , A , Paulin , G , Mei , L , Jain , V , Hamdioui , S , Sanchez , V , Grosser , T , Geilen , M , Verhelst , M , Zenke , F , Gurkaynak , F , de Bruin , B , Stuijk , S , Davidson , S , De , S , Ghogho , M , Jimborean , A , Eissa , S , Benini , L , Soudris , D , Bishnoi , R , Ainsworth , S , Corradi ....

مصطلحات موضوعية: cs.AR, /dk/atira/pure/sustainabledevelopmentgoals/affordable_and_clean_energy, name=SDG 7 - Affordable and Clean Energy

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

Relation: https://research.tue.nl/en/publications/f031337a-ba93-497b-90ba-eaa10769b39c

الاتاحة: https://research.tue.nl/en/publications/f031337a-ba93-497b-90ba-eaa10769b39c
https://doi.org/10.48550/arXiv.2212.00873
https://pure.tue.nl/ws/files/300718764/2212.00873.pdf

المؤلفون: Samimi Dehkordi, Nasim, Nasri, Mitra, Basten, A.A. (Twan), Geilen, Marc C.W.

المساهمون: Facchinetti, Tullio, Cenedese, Angelo, Bello, Lucia Lo, Vitturi, Stefano, Sauter, Thilo, Tramarin, Federico

المصدر: Samimi Dehkordi , N , Nasri , M , Basten , A A & Geilen , M C W 2024 , Guaranteeing Weakly-Hard Timing Constraints of Real-Time Server-Based Systems . in T Facchinetti , A Cenedese , L L Bello , S Vitturi , T Sauter & F Tramarin (eds) , 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation, ETFA 2024 . , 10711035 , Institute of Electrical and Electronics Engineers , 29th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2024 , Padova , Italy , 10/09/24 . https://doi.org/10.1109/ETFA61755.2024.10711035

مصطلحات موضوعية: Server-based systems, admission policy, arrival curve, real-time systems, worst- case response time analysis

الاتاحة: https://research.tue.nl/en/publications/a672202b-085b-4890-81bf-187ac89601d3
https://doi.org/10.1109/ETFA61755.2024.10711035
http://www.scopus.com/inward/record.url?scp=85207822772&partnerID=8YFLogxK

المؤلفون: Tripakis, Stavros, Bui, Dai, Geilen, Marc, Rodiers, Bert, Lee, Edward A

المصدر: ACM Transactions on Embedded Computing Systems. 12(3)

مصطلحات موضوعية: Algorithms, Design, Languages, Embedded software, hierarchy, synchronous data flow, code generation, clustering, Computer Software, Distributed Computing, Computer Hardware, Computer Hardware & Architecture

URL الوصول: https://escholarship.org/uc/item/14t75454

المؤلفون: Gomony, Manil Dev, De Putter, Floran, Gebregiorgis, Anteneh, Paulin, Gianna, Mei, Linyan, Jain, Vikram, Hamdioui, Said, Sanchez, Victor, Grosser, Tobias, Geilen, Marc, Verhelst, Marian, Zenke, Friedemann, Gurkaynak, Frank, De Bruin, Barry, Stuijk, Sander, Davidson, Simon, De, Sayandip, Ghogho, Mounir, Jimborean, Alexandra, Eissa, Sherif, Benini, Luca, Soudris, Dimitrios, Bishnoi, Rajendra, Ainsworth, Sam, Corradi, Federico, Karrakchou, Ouassim, Güneysu, Tim, Corporaal, Henk

المساهمون: Gomony, Manil Dev, De Putter, Floran, Gebregiorgis, Anteneh, Paulin, Gianna, Mei, Linyan, Jain, Vikram, Hamdioui, Said, Sanchez, Victor, Grosser, Tobia, Geilen, Marc, Verhelst, Marian, Zenke, Friedemann, Gurkaynak, Frank, De Bruin, Barry, Stuijk, Sander, Davidson, Simon, De, Sayandip, Ghogho, Mounir, Jimborean, Alexandra, Eissa, Sherif, Benini, Luca, Soudris, Dimitrio, Bishnoi, Rajendra, Ainsworth, Sam, Corradi, Federico, Karrakchou, Ouassim, Güneysu, Tim, Corporaal, Henk

مصطلحات موضوعية: Technological innovation, Program processors, Scalability, Time to market, Throughput, Hardware, Energy efficiency

وصف الملف: ELETTRONICO

Relation: ispartofbook:2023 Design, Automation & Test in Europe Conference & Exhibition (DATE); 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE); firstpage:1; lastpage:6; numberofpages:6; https://hdl.handle.net/11585/957119

الاتاحة: https://hdl.handle.net/11585/957119
https://doi.org/10.23919/DATE56975.2023.10136926

المؤلفون: van den Berg, Freek, Geilen, Marc C.W., Basten, A.A. (Twan)

المصدر: van den Berg , F , Geilen , M C W & Basten , A A 2020 , ' Model-driven quality and resource management for CPSs ' , ICT.OPEN 2020 , Groningen , Netherlands , 17/03/20 - 18/03/20 .

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

الاتاحة: https://research.tue.nl/en/publications/dec4dc77-d531-4f76-ba6e-81a9601531db
https://pure.tue.nl/ws/files/162468932/ictopen2020abstract.pdf

المؤلفون: Tabatabaei Nikkhah, Shayan, Geilen, Marc C.W., Goswami, Dip, Koedam, Martijn L.P.J., Nelson, Andrew T., Goossens, Kees G.W.

المساهمون: Leporati, Francesco, Vitabile, Salvatore, Skavhaug, Amund

المصدر: Tabatabaei Nikkhah , S , Geilen , M C W , Goswami , D , Koedam , M L P J , Nelson , A T & Goossens , K G W 2021 , A Deployment Framework for Quality-Sensitive Applications in Resource-Constrained Dynamic Environments . in F Leporati , S Vitabile & A Skavhaug (eds) , 2021 24th Euromicro Conference on Digital System Design (DSD) . , 9556434 , Institute of Electrical and Electronics Engineers , pp. 212-220 , 24th Euromicro Conference on Digital System Design, DSD 2021 , Palermo , Italy , 1/09/21 . https://doi.org/10.1109/DSD53832.2021.00042

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

الاتاحة: https://research.tue.nl/en/publications/cfb852df-bdd3-4eeb-9e67-3019337a86b8
https://doi.org/10.1109/DSD53832.2021.00042
https://pure.tue.nl/ws/files/186638283/A_Deployment_Framework_for_Quality_Sensitive_Applications_in_Resource_Constrained_Dynamic_Environments.pdf
http://www.scopus.com/inward/record.url?scp=85125815101&partnerID=8YFLogxK

المؤلفون: van der Sanden, L.J., Geilen, Marc C.W., Reniers, Michel A., Basten, A.A. (Twan)

المصدر: van der Sanden , L J , Geilen , M C W , Reniers , M A & Basten , A A 2019 , Partial-order reduction for synthesis and performance analysis of supervisory controllers . ES Reports , no. ESR-2019-02 , Technische Universiteit Eindhoven , Eindhoven . < http://www.es.ele.tue.nl/esreports/esr-2019-02.pdf >

Relation: https://research.tue.nl/en/publications/02a52e48-740b-47ca-9228-38ea3cabd5f9

الاتاحة: https://research.tue.nl/en/publications/02a52e48-740b-47ca-9228-38ea3cabd5f9
http://www.es.ele.tue.nl/esreports/esr-2019-02.pdf

المؤلفون: van den Berg, Freek, Camra, Vaclav, Hendriks, Martijn, Geilen, Marc C.W., Hnetynka, Petr, Manteca, Fernando, Sanchez, Pablo, Bures, Tomas, Basten, A.A. (Twan)

المصدر: van den Berg , F , Camra , V , Hendriks , M , Geilen , M C W , Hnetynka , P , Manteca , F , Sanchez , P , Bures , T & Basten , A A 2020 , QRML : A Component Language and Toolset for Quality and Resource Management . in Proceedings of the 2020 Forum on Specification and Design Languages, FDL 2020 . , 9232936 , Institute of Electrical and Electronics Engineers , 2020 Forum on Specification and Design Languages , Kiel , Schleswig-Holstein , Germany , 15/09/20 . https://doi.org/10.1109/FDL50818.2020.9232936

مصطلحات موضوعية: Component-Based Design, Cyber-Physical Systems, Domain-Specific Language, Monitoring, Multi-Objective Optimization, Quality and Resource Management

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

الاتاحة: https://research.tue.nl/en/publications/9b973f7e-d7d0-4d8e-b98f-8dcdfd1a1f8f
https://doi.org/10.1109/FDL50818.2020.9232936
https://pure.tue.nl/ws/files/176396195/FDL_2020_paper.pdf
http://www.scopus.com/inward/record.url?scp=85096110628&partnerID=8YFLogxK

المؤلفون: Pomante, Luigi, Palumbo, Francesca, Rinaldi, Claudia, Valente, Giacomo, Sau, Carlo, Fanni, Tiziana, van der Linden, Frank, Basten, Twan, Geilen, Marc, Peeren, Geran, Kadlec, Jiri, Jaaskelainen, Pekka, Martinez, Marcos, Saarinen, Jukka, Santti, Tero, Zedda, Maria Katiuscia, Sanchez, Victor, Goswami, Dip, Al-Ars, Zaid, de Beer, Ad

المساهمون: Trost, Andrej, Zemva, Andrej, Skavhaug, Amund

المصدر: Pomante , L , Palumbo , F , Rinaldi , C , Valente , G , Sau , C , Fanni , T , van der Linden , F , Basten , T , Geilen , M , Peeren , G , Kadlec , J , Jaaskelainen , P , Martinez , M , Saarinen , J , Santti , T , Zedda , M K , Sanchez , V , Goswami , D , Al-Ars , Z & de Beer , A 2020 , Design and management of image processing pipelines within CPS : 2 years of experience ....

مصطلحات موضوعية: Cyber-Physical Systems, distributed systems, energy and performance optimization, heterogeneous system, Image-video processing

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

Relation: urn:ISBN:9781728195353

الاتاحة: https://research.tue.nl/en/publications/7cf8eeb7-cdef-441f-a255-408f13a69f80
https://doi.org/10.1109/DSD51259.2020.00067
https://pure.tue.nl/ws/files/190968235/DSD_FIT2_preprint.pdf
http://www.scopus.com/inward/record.url?scp=85096359989&partnerID=8YFLogxK