Welkom...

prof.dr.ir. M.J.G. Bekooij (Marco)

Hoogleraar

Expertises

Throughput
Computational Complexity
Communication
Scheduling
Data Flow Analysis
Synchronization
Costs
Network-On-Chip

Nevenactiviteiten

  • NXP
    Onderzoeker

Publicaties

Recente Artikelen
Kuiper, G., Kurtin, P. S., & Bekooij, M. J. G. (2017). Hybrid Latency Minimization Approach using Model Checking and Dataflow Analysis. 41-50. Paper presented at 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017, Sankt Goar, Germany.DOI: 10.1145/3078659.3078665
Kuiper, G., & Bekooij, M. J. G. (2017). Latency analysis of homogeneous synchronous dataflow graphs using timed automata. 902-905. Poster session presented at Design, Automation Test in Europe Conference Exhibition (DATE), 2017, Lausanne, Switzerland.DOI: 10.23919/DATE.2017.7927116
Kurtin, P. S., & Bekooij, M. J. G. (2017). An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems. ACM transactions on embedded computing systems, 16(5s), 173:1-173:20. [173]. DOI: 10.1145/3126507
Kurtin, P. S., & Bekooij, M. J. G. (2017). An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems (Extended Version). (CTIT Technical Report Series; No. TR-CTIT-17-06). Enschede, The Netherlands: Centre for Telematics and Information Technology (CTIT).
Kurtin, P. S., Hausmans, J. P. H. M., & Bekooij, M. J. G. (2016). HAPI: An event-driven simulator for real-time multiprocessor systems. In 2016 ACM International Workshop on Software and Compilers for Embedded Systems (SCOPES) (pp. 60-66). New York: ACM. DOI: 10.1145/2906363.2906381
Kurtin, P. S., Hausmans, J. P. H. M., & Bekooij, M. J. G. (2016). Combining offsets with precedence constraints to improve temporal analysis of cyclic real-time streaming applications. In IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 (pp. 1-12). USA: IEEE Computer Society. DOI: 10.1109/RTAS.2016.7461325
Koek, P., Geuns, S. J., Hausmans, J. P. H. M., Corporaal, H., & Bekooij, M. J. G. (2016). CSDFa: a model for exploiting the trade-off between data and pipeline parallelism. In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (pp. 30-39). New York: ACM. DOI: 10.1145/2906363.2906364
Kurtin, P. S., & Bekooij, M. J. G. (2016). Temporal analysis of static priority preemptive scheduled cyclic streaming applications using CSDF models. In 2016 ACM/IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia) (pp. 94-103). New York: ACM. DOI: 10.1145/2993452.2993564

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 5031
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  5031
Postbus 217
7500 AE Enschede