Author:
Anane Amine,Aboulhamid El Mostapha
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Theoretical Computer Science,Software
Reference42 articles.
1. Abadi, M., Lamport, L.: Conjoining specifications. ACM Trans. Program Lang Syst. 17, 507–535 (1995)
2. Anane, A., Aboulhamid, E.M.: From multicore simulation to hardware synthesis using transactions. In: Electronic System Level Synthesis Conference (ESLsyn), (2013)
3. Anane, A., Aboulhamid, E.M., Vachon, J., Savaria, Y.: Modeling and simulation of complex heterogeneous systems. In: International Symposium on circuits and systems, IEEE, pp. 2873–2876 (2008)
4. Anane, A., Aboulhamid, E.M., Vachon, J., Savaria, Y.: Using transaction-based models for system design and simulation. In: System level design with.NET technology, pp. 223–233. CRC Press (2009)
5. Anane, A., Aboulhamid, E.M., Savaria, Y.: System modeling and multicore simulation using transactions. In: Embedded Computer Systems (SAMOS), 2012 International Conference on, pp 41–50, (2012) doi: 10.1109/SAMOS.2012.6404156