E-LIB Suche - Ergebnisse für: Basten, Twan

1

A Method for Building Trustworthy Hybrid Performance Models..:

Modaber, Mahtab ; Hendriks, Martijn ; Geilen, Marc..
IEEE Access. , 2024

2

Visualization, transformation, and analysis of execution tr..:

Hendriks, Martijn ; Verriet, Jacques ; Basten, Twan
International Journal on Software Tools for Technology Transfer. 26 (2024) 1 - p. 101-126 , 2024

Link: https://doi.org/10.1007/..

3

Work in Progress: Guaranteeing Weakly-Hard Timing Constrain..:

, In: 2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS),

Samimi, Nasim ; Nasri, Mitra ; Basten, Twan. - p. 402-405 , 2024

Link: https://doi.org/10.1109/..

4

Modeling and analysis of switching max-plus linear systems ..:

Mohamadkhani, Alireza ; Geilen, Marc ; Voeten, Jeroen.
Discrete Event Dynamic Systems. 33 (2023) 3 - p. 341-372 , 2023

Link: https://doi.org/10.1007/..

5

Efficient Computation of the Max-Plus Semantics of Synchron..:

Elahi, Hossein ; Geilen, Marc ; Basten, Twan
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 42 (2023) 10 - p. 3412-3425 , 2023

Link: https://doi.org/10.1109/..

6

Qualitative Assessment Guidelines for MSc Graduation Projec..:

, In: 2023 32nd Annual Conference of the European Association for Education in Electrical and Information Engineering (EAEEIE),

Radulov, Georgi ; Serra, Ramiro ; Basten, Twan.. - p. 1-6 , 2023

Link: https://doi.org/10.23919..

7

Delay-Aware Multi-Layer Multi-Rate Model Predictive Control..:

Ibrahim, Amr ; Goswami, Dip ; Li, Hong.
IEEE Access. 10 (2022) - p. 44583-44607 , 2022

Link: https://doi.org/10.1109/..

8

Minesweeper is Difficult Indeed!: Technology Scaling for Mi..:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,

Thieme, Alex ; Basten, Twan - p. 472-490 , 2022

Link: https://doi.org/10.1007/..

9

Partial-Order Reduction for Supervisory Controller Synthesi:

van der Sanden, Bram ; Geilen, Marc ; Reniers, Michel.
IEEE Transactions on Automatic Control. 67 (2022) 2 - p. 870-885 , 2022

Link: https://doi.org/10.1109/..

10

Design and management of image processing pipelines within ..:

Sau, Carlo ; Rinaldi, Claudia ; Pomante, Luigi...
Microprocessors and Microsystems. 87 (2021) - p. 104350 , 2021

Link: https://doi.org/10.1016/..

11

Multi-layer multi-rate model predictive control for vehicle..:

Ibrahim, Amr ; Goswami, Dip ; Li, Hong..
Transportation Research Part C: Emerging Technologies. 124 (2021) - p. 102905 , 2021

Link: https://doi.org/10.1016/..

12

Optimising Multiprocessor Image-Based Control Through Pipel..:

Mohamed, Sajid ; Goswami, Dip ; De, Sayandip.
IEEE Access. 9 (2021) - p. 112332-112358 , 2021

Link: https://doi.org/10.1109/..

13

Model-driven system-performance engineering for cyber-physi..:

, In: Proceedings of the 2021 International Conference on Embedded Software,

van der Sanden, Bram ; Li, Yonghui ; van den Aker, Joris... - p. 11-22 , 2021

Link: https://dl.acm.org/doi/1..

14

Programming tensor cores from an image processing DSL:

, In: Proceedings of the 23th International Workshop on Software and Compilers for Embedded Systems,

Sioutas, Savvas ; Stuijk, Sander ; Basten, Twan.. - p. 36-41 , 2020

Link: https://dl.acm.org/doi/1..

15

Schedule Synthesis for Halide Pipelines on GPUs:

Sioutas, Savvas ; Stuijk, Sander ; Basten, Twan..
ACM Transactions on Architecture and Code Optimization (TACO). 17 (2020) 3 - p. 1-25 , 2020

Link: https://dl.acm.org/doi/1..