Issam Al-Azzoni
Geciteerd door
Geciteerd door
Modeling and verification of cryptographic protocols using coloured petri nets and design/CPN
I Al-Azzoni, DG Down, R Khédri
Nord. J. Comput. 12 (3), 200-228, 2005
Power-aware linear programming based scheduling for heterogeneous computer clusters
H Al-Daoud, I Al-Azzoni, DG Down
Future Generation Computer Systems 28 (5), 745-754, 2012
Dynamic scheduling for heterogeneous desktop grids
I Al-Azzoni, DG Down
Journal of Parallel and Distributed Computing 70 (12), 1231-1240, 2010
Linear programming-based affinity scheduling of independent tasks on heterogeneous computing systems
I Al-Azzoni, DG Down
IEEE Transactions on Parallel and Distributed Systems 19 (12), 1671-1682, 2008
Decentralized load balancing for heterogeneous grids
I Al-Azzoni, DG Down
2009 Computation World: Future Computing, Service Computation, Cognitive …, 2009
The verification of cryptographic protocols using coloured Petri nets
I Al-Azzoni
Performance evaluation for software migration
I Al-Azzoni, L Zhang, DG Down
Proceedings of the 2nd ACM/SPEC International Conference on Performance …, 2011
Server consolidation for heterogeneous computer clusters using Colored Petri Nets and CPN Tools
I Al-Azzoni
Journal of King Saud University-Computer and Information Sciences 27 (4 …, 2015
Mgst: A framework for performance evaluation of desktop grids
M Kokaly, I Al-Azzoni, DG Down
2009 IEEE International Symposium on Parallel & Distributed Processing, 1-8, 2009
MARO-MinDrift affinity routing for resource management in heterogeneous computing systems
YT He, I Al-Azzoni, D Down
Proceedings of the 2007 conference of the center for advanced studies on …, 2007
Cost-aware performance modeling of multi-tier web applications in the cloud
I Al-Azzoni, D Kondo
International Conference on Networked Digital Technologies, 186-196, 2012
Model-to-Model based Approach for Software Component Allocation in Embedded Systems.
L Al-Dakheel, I Al-Azzoni
MODELSWARD, 320-328, 2017
ATL Transformation of Queueing Networks to Queueing Petri Nets.
I Al-Azzoni
MODELSWARD, 261-268, 2017
Extending UML use case diagrams to represent non-interactive functional requirements
S Iqbal, I Al-Azzoni, G Allen, HU Khan
E-Informatica Software Engineering Journal 14 (1), 2020
An improved coloured Petri net model for software component allocation on heterogeneous embedded systems
I Al-Azzoni
Journal of computing and information technology 26 (2), 85-97, 2018
On Utilizing Model Transformation for the Performance Analysis of Queueing Networks
I Al-Azzoni
Journal of Software Engineering and Applications 11 (9), 435-457, 2018
PELE-An MVA-based Performance Evaluation Methodology for Computer System Migration
L Zhang, I Al-Azzoni, DG Down
Technical Report CAS-13-03-DD, McMaster University, 2013
Test case prioritization for model transformations
S Iqbal, I Al-Azzoni
Journal of King Saud University-Computer and Information Sciences, 2021
A Framework for the Regression Testing of Model-to-Model Transformations
I Al-Azzoni, S Iqbal
e-Informatica Software Engineering Journal 15 (1), 2021
Model Driven Approach for Neural Networks
I Al-Azzoni
2020 International Conference on Intelligent Data Science Technologies and …, 2020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20