Documents dont l'auteur est "Gheorghe, Luiza"

Pour citer ou exporter
Grouper par: Rôle | Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Nombre de documents: 11

Article de revue

Gheorghe, L., Boucheneb, H., & Nicolescu, G. (2015). A generic conceptual framework based on formal representation for the design of continuous/discrete co-simulation tools. Design Automation for Embedded Systems, 19(3), 243-275. Lien externe

Girodias, B., Gheorghe, L., Bouchebaba, Y., Nicolescu, G., Abouhamid, E. M., Langevin, M., & Paulin, P. (2012). Integrating memory optimization with mapping algorithms for multi-processors system-on-chip. Transactions on Embedded Computing Systems, 11(3), 1-26. Lien externe

Communication écrite

Gheorghe, L., Nicolescu, G., & O'Connor, I. (octobre 2009). Modeling and Formal Verification of a Passive Optical Network on Chip Behavior [Communication écrite]. 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009), Denver, CO, USA (11 pages). Publié dans Electronic Communications of the EASST, 21. Lien externe

Girodias, B., Gheorghe, L., Bouchebaba, Y., Nicolescu, G., Aboulhamid, E. M., Langevin, M., & Paulin, P. (juin 2010). Combining memory optimization with mapping of multimedia applications for multi-processors system-on-chip [Communication écrite]. 21st IEEE International Symposium on Rapid System Prototyping (RSP 2010), Fairfax, VA, USA. Lien externe

Gheorghe, L., Bouchhima, F., Nicolescu, G., & Boucheneb, H. (mars 2008). Semantics for model-based validation of continuous/discrete systems [Communication écrite]. Design, Automation and Test in Europe Conference and Exhibition (DATE 2008), Munich, Germany. Lien externe

Gheorghe, L., Nicolescu, G., & Boucheneb, H. (septembre 2008). Semantics for Rollback-Based Continuous/Discrete Simulation [Communication écrite]. International Behavioral Modeling and Simulation Workshop (BMAS 2008), San Jose, CA, USA. Lien externe

Bière, M., Gheorghe, L., Nicolescu, G., O'Connor, I., & Wainer, G. (décembre 2007). Towards the High-Level Design of Optical Networks-on-Chip. Formalization of Opto-Electrical Interfaces [Communication écrite]. 14th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2007), Marrakech, Morocco. Lien externe

Gheorghe, L., Bouchhima, F., Nicolescu, G., & Boucheneb, H. (juin 2006). Formal definitions of simulation interfaces in a continuous/discrete co-simulation tool [Communication écrite]. 17th IEEE International Workshop on Rapid System Prototyping, Chania, Crete, Greece. Lien externe

Gheorghe, L., & Nicolescu, G. (juillet 2005). Mp Socs Including Optical Interconnect. Technological Progresses and Challenges for CAD Tools Design [Communication écrite]. 5th International Workshop on System on Chip for Real-Time Applications (IWSOC 2005), Banff, Alberta, Canada. Lien externe

Chapitre de livre

Gheorghe, L., Nicolescu, G., & O'Connor, I. (2016). Formalization for formal verification of an optical network-on-chip using DEVS. Dans Wainer, G., & Mosterman, P. J. (édit.), Discrete-Event Modeling and Simulation: Theory and Applications (p. 293-306). Lien externe

Gheorghe, L., Bouchhima, F., Nicolescu, G., & Abid, M. (2007). Anatomy of a continuous/discrete system execution model for timed execution of heterogeneous systems. Dans Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components (p. 75-108). Lien externe

Liste produite: Thu Oct 15 08:49:11 2026 EDT.