Documents dont l'auteur est "Heidari, Parisa"

Pour citer ou exporter
Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Aller à : 2015 | 2013 | 2012 | 2010 | 2008 | 2007
Nombre de documents: 6

2015

Heidari, P., Boucheneb, H., & Shami, A. (novembre 2015). A Formal Approach for QoS Assurance in the Cloud [Communication écrite]. 7th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2015), Vancouver, British Colombia. Lien externe

2013

Heidari, P., & Boucheneb, H. (2013). Controller synthesis of time petri nets using stopwatch. Journal of Engineering, 2013, 970487 (13 pages). Disponible

2012

Heidari, P. (2012). A Forward On-The-Fly Approach for Safety and Reachability Controller Synthesis of Timed Systems [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

2010

Heidari, P., & Boucheneb, H. (juin 2010). Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets [Communication écrite]. 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal. Lien externe

2008

Heidari, P., Desnoyers, M., & Dagenais, M. (mai 2008). Performance analysis of virtual machines through tracing [Communication écrite]. Canadian Conference on Electrical and Computer Engineering (CCECE 2008), Niagara Falls, ON, Canada. Lien externe

2007

Heidari, P. (2007). Hypervisors and virtual systems tracing for performance analysis [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Liste produite: Sat Oct 10 01:57:41 2026 EDT.