Waheed Ahmad
Waheed Ahmad
Afiliación desconocida
Dirección de correo verificada de vdletg.com - Página principal
Título
Citado por
Citado por
Año
Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata
W Ahmad, R de Groote, PKF Hölzenspies, M Stoelinga, J van de Pol
2014 14th International Conference on Application of Concurrency to System …, 2014
242014
Green computing: Power optimisation of VFI-based real-time multiprocessor dataflow applications
W Ahmad, PKF Hölzenspies, M Stoelinga, J van de Pol
2015 Euromicro Conference on Digital System Design, 271-275, 2015
172015
Formal modelling of complex event processing: a generic algorithm and its application to a manufacturing line
W Ahmad, A Lobov, JLM Lastra
IEEE 10th International Conference on Industrial Informatics, 380-385, 2012
172012
Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego
W Ahmad, J van de Pol
International Symposium on Leveraging Applications of Formal Methods, 94-113, 2016
112016
Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata
W Ahmad, M Jongerden, M Stoelinga, J Pol
Application of Concurrency to System Design (ACSD), 2016 16th International …, 2016
82016
Model checking and evaluating QoS of batteries in MP-SoC dataflow applications via hybrid automata (extended version)
W Ahmad, M Jongerden, M Stoelinga, J van de Pol
Centre for Telematics and Information Technology, University of Twente, 2016
42016
A model-driven framework for hardware-software co-design of dataflow applications
W Ahmad, BM Yildiz, A Rensink, M Stoelinga
International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2016
32016
A model-driven framework for hardware-software co-design of dataflow applications (extended version)
W Ahmad, BM Yildiz, A Rensink, M Stoelinga
CTIT Technical Report Series, 2016
22016
Green computing: Power optimisation of VFI-based real-time multiprocessor dataflow applications (extended version)
W Ahmad, PKF Hölzenspies, M Stoelinga
Power 6 (18), 38, 2015
22015
Green computing: efficient energy management of multiprocessor streaming applications via model checking
W Ahmad
2017
IDEA 2016: Integrating Dataflow, Embedded Computing, and Architecture
W Ahmad, T Basten, R de Groote, A Lele, O Moreira
2017
Energy-optimization for Dataflow Applications using Timed Automata
W Ahmad, M Stoelinga, J van de Pol
Energy, 2016
2016
Proceedings of the first international workshop on Investigating dataflow in embedded computing architectures (IDEA 2015), January 21, 2015, Amsterdam, The Netherlands
W Ahmad, R de Groote, A Lele, O Moreira
Technische Universiteit Eindhoven, 2015
2015
Resource-constrained optimal scheduling of SDF graphs via timed automata (extended version)
W Ahmad, R de Groote, PKF Hölzenspies, M Stoelinga, J van de Pol
CTIT technical reports, 2014
2014
Formal Modelling of Complex Event Processing and its Application to a Manufacturing Line
W Ahmad
2012
Investigating dataflow in embedded computing architectures (IDEA 2015), January 21, 2015, Amsterdam, The Netherlands
W Ahmad, R de Groote, A Lele, O Moreira
xEnergy-Optimal Control of Multi-Core Applications
W Ahmad, M Stoelinga, J van de Pol
ICT-ENERGY, 0
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–17