No photo of Marco Jan Gerrit Bekooij

Marco Jan Gerrit Bekooij

prof.dr.ir.

20062019
If you made any changes in Pure these will be visible here soon.

Research Output 2006 2019

70 Downloads (Pure)

Abstractions for aperiodic multiprocessor scheduling of real-time stream processing applications

Hausmans, J. P. H. M., 24 Apr 2015, Enschede: Universiteit Twente. 206 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
5 Citations (Scopus)
23 Downloads (Pure)

Accuracy improvement of dataflow analysis for cyclic stream processing applications scheduled by static priority preemptive schedulers

Kurtin, P. S., Hausmans, J. P. H. M., Geuns, S. J. & Bekooij, M. J. G., 29 Aug 2014, Euromicro Conference on Digital System Design, DSD 2014. USA: IEEE Computer Society, p. 623-630 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
122 Downloads (Pure)

An Abstraction-Refinement Theory for the Analysis and Design of Concurrent Real-Time Systems

Kurtin, P-S., 9 Nov 2018, Enschede: University of Twente. 302 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Real time systems
Jitter
Scheduling
Substitution reactions
Simulators
3 Citations (Scopus)
1 Downloads (Pure)

An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems

Kurtin, P. S. & Bekooij, M. J. G., 1 Sep 2017, In : ACM transactions on embedded computing systems. 16, 5s, p. 173:1-173:20 20 p., 173.

Research output: Contribution to journalArticleAcademicpeer-review

Real time systems
Jitter
Specifications
50 Downloads (Pure)

An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems (Extended Version)

Kurtin, P. S. & Bekooij, M. J. G., 24 Oct 2017, Enschede, The Netherlands: Centre for Telematics and Information Technology (CTIT). 43 p. (CTIT Technical Report Series; no. TR-CTIT-17-06)

Research output: Book/ReportReportAcademic

Open Access
File
Real time systems
Jitter
Specifications
67 Downloads (Pure)

Analysis and optimization techniques for real-time streaming image processing software on general purpose systems

Westmijze, M., 29 Jun 2018, Enschede: University of Twente. 107 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Image processing
Medical image processing
Bandwidth
Processing
Scheduling
67 Downloads (Pure)

Analytical approaches for performance evaluation of networks-on-chip

Kiasari, A. E., Jantsch, A., Bekooij, M. J. G., Burns, A. & Lu, Z., 7 Oct 2012, Proceedings of the 2012 International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2012. New York: Association for Computing Machinery (ACM), p. 211-212 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
3 Citations (Scopus)
64 Downloads (Pure)

An Efficient Asymmetric Distributed Lock for Embedded Multiprocessor Systems

Rutgers, J. H., Bekooij, M. J. G. & Smit, G. J. M., 16 Jul 2012, Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS 2012). USA: IEEE Circuits & Systems Society, p. 176-182 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
39 Downloads (Pure)

Aperiodic Multiprocessor Scheduling for Real-Time Stream Processing Applications

Wiggers, M. H., 19 Jun 2009, Enschede: University of Twente. 206 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
Scheduling
Processing
Real time systems
Embedded systems
Digital radio
12 Downloads (Pure)

Appendix to Temporal analysis of static priority preemptive scheduled cyclic streaming applications using CSDF models

Kurtin, P. S. & Bekooij, M. J. G., 2 Sep 2016, Enschede, The Netherlands: Centre for Telematics and Information Technology (CTIT). 4 p. (CTIT Technical Report Series; no. TR-CTIT-16-10)

Research output: Book/ReportReportProfessional

Open Access
File
23 Citations (Scopus)
44 Downloads (Pure)

Applying Dataflow Analysis to Dimension Buffers for Guaranteed Performance in Networks on Chip

Hansson, A., Hansson, A., Wiggers, M. H., Moonen, A., Goossens, K., Bekooij, M. J. G. & Bekooij, M., Apr 2008, Second ACM/IEEE International Symposium on Networks-on-Chip (NOCS). Los Alamitos: IEEE Computer Society Press, p. 211-212 2 p. 10.1109/NOCS.2008.4492742

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
17 Citations (Scopus)

A Priority-Based Budget Scheduler with Conservative Dataflow Model

Steine, M., Bekooij, M. J. G. & Wiggers, M. H., 2009, 12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools. Los Alamitos: IEEE Computer Society, p. 37-44 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
6 Citations (Scopus)

A Refinement Theory for Timed-Dataflow Analysis with Support for Reordering

Hausmans, J. P. H. M. & Bekooij, M. J. G., 12 Oct 2016, Proceedings of the 13th International Conference on Embedded Software, EMSOFT 2016. Association for Computing Machinery (ACM), p. - 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

A tuneable software cache coherence protocol for heterogeneous MPSoCs

Ophelders, F., Bekooij, M. J. G. & Corporaal, H., 12 Oct 2009, Proceedings of the 7th IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis. New York: Association for Computing Machinery (ACM), p. 383-392 10 p. 10.1145/1629435.1629488

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
40 Downloads (Pure)

Automatic dataflow model extraction from modal real-time stream processing applications

Geuns, S. J., Hausmans, J. P. H. M. & Bekooij, M. J. G., 21 Jun 2013, Proceedings of the 14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems. New York: Association for Computing Machinery (ACM), p. 143-152 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
60 Downloads (Pure)

Automatic parallelization of nested loop programs for non-manifest real-time stream processing applications

Bijlsma, T., 1 Jul 2011, Enschede, the Netherlands: University of Twente. 156 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
19 Citations (Scopus)
85 Downloads (Pure)

Buffer Capacity Computation for Throughput-Constrained Modal Task Graphs

Wiggers, M. H., Bekooij, M. J. G. & Smit, G. J. M., Dec 2010, In : ACM transactions on embedded computing systems. 10, 2, p. 17:1-17:59 59 p., 17.

Research output: Contribution to journalArticleAcademicpeer-review

File
37 Citations (Scopus)
55 Downloads (Pure)

Buffer Capacity Computation for Throughput Constrained Streaming Applications with Data-Dependent Inter-Task Communication

Wiggers, M. H., Bekooij, M. J. G., Bekooij, M. J. G. & Smit, G. J. M., Apr 2008, Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS'08. Los Alamitos: IEEE Computer Society, p. 183-194 12 p. 10.1109/RTAS.2008.10

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
6 Citations (Scopus)
41 Downloads (Pure)

Buffer sizing to reduce interference and increase throughput of real-time stream processing applications

Kurtin, P. S., Geuns, S. J., Hausmans, J. P. H. M. & Bekooij, M. J. G., 13 Apr 2015, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing, ISORC 2015. USA: IEEE Computer Society, p. 9-18 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File

Circular Buffers with Multiple Overlapping Windows for Cyclic Task Graphs

Bijlsma, T., Bekooij, M. J. G. & Smit, G. J. M., 12 Mar 2011, Transactions on High-Performance Embedded Architectures and Compilers III. Stenstrom, P. (ed.). Berlin: Springer, p. - 18 p. (Lecture Notes in Computer Science; no. 6590).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Circular Buffers with Multiple Overlapping Windows for Cyclic Task Graphs

Bijlsma, T., Bekooij, M. J. G. & Smit, G. J. M., 12 Mar 2011, Transactions on High-Performance Embedded Architectures and Compilers III. Stenström, P. (ed.). Berlin: Springer, 18 p. (Lecture Notes in Computer Science; vol. 6590).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

12 Citations (Scopus)
40 Downloads (Pure)

Combining offsets with precedence constraints to improve temporal analysis of cyclic real-time streaming applications

Kurtin, P. S., Hausmans, J. P. H. M. & Bekooij, M. J. G., 14 Apr 2016, IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016. USA: IEEE Computer Society, p. 1-12 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
11 Citations (Scopus)

Communication between Nested Loop Programs via Circular Buffers in an Embedded Multiprocessor System

Bijlsma, T., Bekooij, M. J. G., Jansen, P. G. & Smit, G. J. M., 14 Mar 2008, Proceedings of the 11th international workshop on Software & compilers for embedded systems (SCOPES). Falk, H. (ed.). New York: ACM Press, p. 33-42 10 p. (ACM International Conference Proceeding Series; vol. 296).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
18 Downloads (Pure)

Compositional temporal analysis method for fixed priority pre-emptive scheduled modal stream processing applications

Kuiper, G., Geuns, S. J., Hausmans, J. P. H. M. & Bekooij, M. J. G., 24 May 2016, 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016). New York: Association for Computing Machinery (ACM), p. 98-107 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
10 Citations (Scopus)

Compositional Temporal Analysis Model for Incremental Hard Real-Time System Design

Hausmans, J. P. H. M., Geuns, S. J., Wiggers, M. H. & Bekooij, M. J. G., 9 Oct 2012, Proceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT 2012. New York: Association for Computing Machinery (ACM), p. 185-194 10 p. (EMSOFT '12).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

113 Citations (Scopus)

CoMPSoC: A Template for Composable and Predictable Multi-Processor System on Chips

Hansson, A., Goossens, K., Bekooij, M. J. G. & Huisken, J., 2009, In : ACM transactions on design automation of electronic systems. 14, 1, p. article no.2 2.

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)
59 Downloads (Pure)

Computation of Buffer Capacities for Throughput Constrained and Data Dependent Inter-Task Communication

Wiggers, M. H., Bekooij, M. J. G., Bekooij, M. J. G. & Smit, G. J. M., 10 Mar 2008, Design Automation and Test in Europe. San Jose, CA, USA: EDA Consortium, p. 640-645 6 p. 10.1109/DATE.2008.4484749

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)

CSDFa: a model for exploiting the trade-off between data and pipeline parallelism

Koek, P., Geuns, S. J., Hausmans, J. P. H. M., Corporaal, H. & Bekooij, M. J. G., 12 Jun 2016, Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems. New York: Association for Computing Machinery (ACM), p. 30-39 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

16 Citations (Scopus)
60 Downloads (Pure)

Dataflow Analysis for Multiprocessor Systems with Non-Starvation-Free Schedulers

Hausmans, J. P. H. M., Geuns, S. J., Wiggers, M. H. & Bekooij, M. J. G., 19 Jun 2013, Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems. New York: Association for Computing Machinery (ACM), p. 13-22 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
14 Citations (Scopus)

Dataflow models for shared memory access latency analysis

Staschulat, J. & Bekooij, M. J. G., 12 Oct 2009, Proceedings of the Seventh ACM International Conference on Embedded Software. New York: Association for Computing Machinery (ACM), p. 275-284 10 p. 10.1145/1629335.1629372

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

23 Downloads (Pure)

Efcient Computation of Buffer Capacities for Cyclo-Static Real-Time Systems with Back-Pressure

Wiggers, M. H., Bekooij, M., Bekooij, M. J. G., Jansen, P. G. & Smit, G. J. M., 17 Oct 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 10 p. (CTIT technical reports series; no. 06-64)

Research output: Book/ReportReportProfessional

File

Efficient Buffer Capacity and Scheduler Setting Computation for Soft Real-Time Stream Processing Applications

Bekooij, M., Bekooij, M. J. G., Wiggers, M. H. & van Meerbergen, J., 20 Apr 2007, Proceedings of the 10th International Workshop on Software and Compilers for Embedded Systems (SCOPES). Falk, H. & Marwedel, P. (eds.). New York: ACM Press, p. 1-10 10 p. (ACM International Conference Proceeding Series; vol. 235, no. P2773).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Throughput
Processing
Experiments
37 Downloads (Pure)

Efficient Buffer Capacity and Scheduler Setting Computation for Soft Real-Time Stream Processing Applications

Bekooij, M., Bekooij, M. J. G., Wiggers, M. H. & van Meerbergen, J., 30 Jan 2007, Enschede: Computer Architecture for Embedded Systems (CAES). 10 p. (CTIT Technical Report Series; no. TR-CTIT-07-07)

Research output: Book/ReportReportProfessional

File
61 Citations (Scopus)

Efficient Computation of Buffer Capacities for Cyclo-Static Dataflow Graphs

Wiggers, M. H., Bekooij, M. J. G., Bekooij, M. J. G. & Smit, G. J. M., Jun 2007, DAC '07: Proceedings of the 44th annual conference on Design automation. New York, NY, USA: ACM Press, p. 658-663 6 p. 10.1109/DAC.2007.375247

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

60 Downloads (Pure)

Efficient Computation of Buffer Capacities for Cyclo-Static Dataflow Graphs

Wiggers, M. H., Bekooij, M. J. G. & Smit, G. J. M., 22 Nov 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 6 p. (CTIT Technical Report Series; no. 06-70)

Research output: Book/ReportReportProfessional

File
26 Citations (Scopus)
49 Downloads (Pure)

Efficient Computation of Buffer Capacities for Cyclo-Static Real-Time Systems with Back-Pressure

Wiggers, M. H., Bekooij, M. J. G., Bekooij, M. J. G., Jansen, P. G. & Smit, G. J. M., Apr 2007, Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS'07. Los Alamitos, CA, United States: IEEE Computer Society, p. 281-292 12 p. 10.1109/RTAS.2007.12

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
34 Citations (Scopus)
52 Downloads (Pure)

Efficient Computation of Buffer Capacities for Multi-Rate Real-Time Systems with Back-Pressure

Wiggers, M. H., Bekooij, M., Bekooij, M. J. G., Jansen, P. G. & Smit, G. J. M., 1 Jul 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 6 p. (CTIT technical reports series; no. 06-48)

Research output: Book/ReportReportProfessional

File
44 Downloads (Pure)

Efficient Computation of Buffer Capacities for Multi-Rate Real-Time Systems with Back-Pressure

Wiggers, M. H., Bekooij, M., Bekooij, M. J. G., Jansen, P. G. & Smit, G. J. M., Oct 2006, Proceedings of the International Conference on Hardware/Software Codesign an System Synthesis (CODES+ISSS). New York: Association for Computing Machinery (ACM), p. 10-15 6 p. 10.1145/1176254.1176260

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File

Efficient end-to-end latency distribution analysis for probabilistic time-triggered systems

Westmijze, M., Bekooij, M. J. G. & Smit, G. J. M., Jul 2014, International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV). USA: IEEE Computer Society, p. 290 -298 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Medical image processing
X rays
18 Downloads (Pure)

Efficient Inter-Task Communication for Nested Loop Programs on a Multiprocessor System

Bijlsma, T., Bekooij, M. J. G., Smit, G. J. M. & Jansen, P. G., 29 Nov 2007, 18th Annual Workshop on Circuits Systems and Signal Processing (ProRISC). Veldhoven, The Netherlands: Utrecht Technology Foundation, p. 122-127 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
38 Citations (Scopus)
22 Downloads (Pure)

Enabling application-level performance guarantees in network-based systems on chip by applying dataflow analysis

Hansson, A., Hansson, A., Wiggers, M. H., Moonen, A., Goossens, K., Bekooij, M. J. G. & Bekooij, M., 2009, In : IET computers & digital techniques. 3, 5, p. 398-412 15 p., 10.1049/iet-cdt.2008.0093.

Research output: Contribution to journalArticleAcademicpeer-review

File
6 Citations (Scopus)
38 Downloads (Pure)

Evaluation of a Connectionless NoC for a Real-Time Distributed Shared Memory Many-Core System

Rutgers, J. H., Bekooij, M. J. G. & Smit, G. J. M., 5 Sep 2012, Proceedings of the 15th Euromicro Conference on Digital System Design, DSD 2012. USA: IEEE Computer Society, p. 727-730 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Citations (Scopus)

Evaluation of scheduling heuristics for jitter reduction of real-time streaming applications on multi-core general purpose hardware

Westmijze, M., Bekooij, M. J. G., Smit, G. J. M., Schrijver, M. & Schrijver, M., 2011, p. 140-146. 7 p.

Research output: Contribution to conferencePaperAcademicpeer-review

2 Citations (Scopus)
31 Downloads (Pure)

HAPI: An event-driven simulator for real-time multiprocessor systems

Kurtin, P. S., Hausmans, J. P. H. M. & Bekooij, M. J. G., 23 May 2016, 2016 ACM International Workshop on Software and Compilers for Embedded Systems (SCOPES). New York: Association for Computing Machinery (ACM), p. 60-66 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
50 Downloads (Pure)

Hierarchical programming language for modal multi-rate real-time stream processing applications

Geuns, S. J., Hausmans, J. P. H. M. & Bekooij, M. J. G., 12 Sep 2014, Proceedings of the 43rd International Conference on Parallel Processing Workshops (ICPPW 2014). USA: IEEE Computer Society, p. 453-460 8 p. (International Conference on Parallel Processing Workshops).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Computer programming languages
Processing
Specifications
Throughput
Parallel programming
1 Citation (Scopus)
2 Downloads (Pure)

Hybrid Latency Minimization Approach Using Model Checking and Dataflow Analysis

Kuiper, G., Kurtin, P. S. & Bekooij, M. J. G., Jun 2017, p. 41-50.

Research output: Contribution to conferencePaperAcademicpeer-review

Data flow analysis
Model checking
Wireless local area networks (WLAN)
Transceivers
Scheduling
12 Downloads (Pure)

Interference control by best-effort process duty-cycling in chip multi-processor systems for real-time medical image processing

Westmijze, M., Bekooij, M. J. G. & Smit, G. J. M., 24 Mar 2013, The Fifth International Conference on Resource Intensive Applications and Services, INTENSIVE 2013. Canada: IARIA, p. - 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
4 Citations (Scopus)
46 Downloads (Pure)

Inter-Task Communication via Overlapping Read and Write Windows for Deadlock-Free Execution of Cyclic Task Graphs

Bijlsma, T., Bekooij, M. J. G. & Smit, G. J. M., 20 Jul 2009, International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (IC-SAMOS). Los Alamitos: IEEE Computer Society Press, p. 140-148 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Citations (Scopus)
71 Downloads (Pure)

Latency analysis of homogeneous synchronous dataflow graphs using timed automata

Kuiper, G. & Bekooij, M. J. G., Mar 2017, Proceedings of the 2017 Design, Automation & Test in Europe (DATE): 27–31 March 2017, Swisstech, Lausanne, Switzerland. IEEE, p. 902-905

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
14 Downloads (Pure)

Latency-Rate servers & Dataflow models

Wiggers, M. H., Bekooij, M. & Bekooij, M. J. G., 1 Oct 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. 06-59)

Research output: Book/ReportReportProfessional

File