Search everything

53 Downloads (Pure)

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version)

Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M. I. A., Sep 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 23 p. (CTIT Technical Report Series; no. TR-CTIT-16-09)

Research output: Book/ReportReportProfessional

File
29 Downloads (Pure)

Resource-constrained optimal scheduling of SDF graphs via timed automata (extended version)

Ahmad, W., de Groote, R., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C., 21 Jan 2014, Enschede, the Netherlands: Centre for Telematics and Information Technology (CTIT). 32 p. (CTIT technical reports; no. TR-CTIT-13-17)

Research output: Book/ReportReportOther research output

File
5 Citations (Scopus)
58 Downloads (Pure)

Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata

Ahmad, W., Jongerden, M. R., Stoelinga, M. I. A. & van de Pol, J. C., 24 Jun 2016, Proceedings of the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. USA: IEEE Computer Society, p. 114-123 10 p.

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

File
11 Citations (Scopus)
72 Downloads (Pure)

Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata

Ahmad, W., de Groote, R., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C., 21 Jan 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 32 p. (CTIT Technical Report Series; no. TR-CTIT-13-17)

Research output: Book/ReportReportProfessional

File
169 Downloads (Pure)

Green computing: efficient energy management of multiprocessor streaming applications via model checking

Ahmad, W., 13 Apr 2017, Enschede: University of Twente. 228 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Energy management
Model checking
Scheduling
Video conferencing
Mobile computing
54 Downloads (Pure)

Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata (extended version)

Ahmad, W., Jongerden, M. R., Stoelinga, M. I. A. & van de Pol, J. C., 15 Apr 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 33 p. (CTIT Technical Report Series; no. TR-CTIT-16-03)

Research output: Book/ReportReportProfessional

File
59 Downloads (Pure)

Green computing: power optimisation of VFI-based real-time multiprocessor dataflow applications (extended version)

Ahmad, W., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C., 24 Jun 2015, Enschede: Centre for Telematics and Information Technology (CTIT). 32 p. (CTIT Technical Report Series; no. TR-CTIT-15-04)

Research output: Book/ReportReportProfessional

File
34 Downloads (Pure)

A certain risk: Quantitative risk management for high-tech systems

Stoelinga, M., 23 Nov 2018, Enschede: University of Twente. 52 p.

Research output: Book/ReportInaugural speechOther research output

Open Access
File
1 Citation (Scopus)
9 Downloads (Pure)

Mapping 123 million neonatal, infant and child deaths between 2000 and 2017

Osei, F. B., 16 Oct 2019, In : Nature. 574 , p. 353-358 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Mortality
Child Mortality
United Nations
Conservation of Natural Resources
Live Birth
83 Downloads (Pure)

Specification and verification of synchronisation classes in Java: A practical approach

Amighi, A., 17 Jan 2018, Enschede: University of Twente. 206 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Synchronization
Specifications
Data storage equipment
Data structures
Acoustic waves
133 Downloads (Pure)

Cognitive radio transmitter with a broadband clean frequency spectrum

Subhan, S., 2 Jul 2014, Enschede: University of Twente. 128 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File