31 | | = Using SoCLib as virtual prototype = |
| 35 | == Caches == |
| 36 | * Pierre Guironnet de Massas and Fréderic Pétrot.[[BR]] |
| 37 | ''Evaluation of the implementation cost of cache coherence protocols using omniscient actions'',[[BR]] |
| 38 | In Design Automation for Embedded Systems, Vol. 14, n° 1, Springer, pp 21-42, mars 2010. |
| 39 | |
| 40 | * Pierre Guironnet de Massas and Frédéric Pétrot.[[BR]] |
| 41 | ''Comparison of memory write policies for NoC based multicore cache coherent systems''.[[BR]] |
| 42 | In Design Automation and Test in Europe, Munchen, Germany, Mar 2008. IEEE, pp. 997–1002. |
| 43 | |
| 44 | * Frédéric Pétrot, Alain Greiner, Pascal Gomez.[[BR]] |
| 45 | ''On cache coherency and memory consistency issues in NoC based shared memory multiprocessor SoC architectures''.[[BR] |
| 46 | In 9th EUROMICRO Conference on Digital System Design, Dubrovnik, Croatia, August 2006, pp. 53-60. |
| 47 | |
| 48 | |
| 49 | == Transactional Memories == |
| 50 | * Quentin Meunier and Frédéric Pétrot.[[BR]] |
| 51 | ''Lightweight Transactional Memory Systems for NoCs Based Architectures : Design, Implementation and Comparison of Two Policies''. |
| 52 | In Journal of Parallel and Distributed Computing, Elsevier, accepted pour publication, février 2010. |
| 53 | |
| 54 | * Quentin Meunier and Frédéric Pétrot. |
| 55 | ''Lightweight Transactional Memory Systems for Large Scale Shared Memory MPSoCs''.[[BR]] |
| 56 | In 2009 Joint IEEE North-East Workshop on Circuits and Systems and TAISA Conference, Toulouse, France, june 2009. IEEE, pp 432-435. |
| 57 | |
| 58 | = Using SoCLib as virtual prototyping platform = |
| 75 | |
| 76 | == Operating Systems (Mutek - DNA/OS) == |
| 77 | * Marius Gligor, Nicolas Fournel, Frédéric Pétrot.[[BR]] |
| 78 | ''Adaptive Dynamic Voltage and Frequency Scaling Algorithm for Symmetric Multiprocessor Architecture''.[[BR]] |
| 79 | In Proceedings of the Euromicro Conference on Digital System Design, pages 613–616, Patras, Greece, aug. 2009. |
| 80 | * Xavier Guérin and Frédéric Pétrot.[[BR]] |
| 81 | ''A System Framework for the Design of Embedded Software Targeting Heterogeneous Multi-Core SoCs''[[BR]]. |
| 82 | In Proceedings of the Application-specific Systems, Architectures and Processors conference, |
| 83 | pages 153–160, Boston, MA, jul. 2009 (got a best paper award). |
| 84 | |
| 85 | == Applications == |
| 86 | |
| 87 | * Khaled Rahmouni, Patrice Gerin, Sébastien Chabanet, Frédéric Pétrot and Paul Pianu.[[BR]] |
| 88 | ''Modelling and Architecture Exploration of a Medium Voltage Protection Device''[[BR]]. |
| 89 | In Proceedings of the IEEE Symposium on Industrial Embedded Systems, pages 46–49, Lausanne, Suisse, juillet 2009. |
| 90 | |
| 91 | * Alain Greiner, Frédéric Pétrot, Mathieu Carrier, Mounir Benabdenbi, Roselyne Chotin-Avot, Raphaël Labayrade.[[BR]] |
| 92 | ''MP-SoC Architecture for an Obstacle Detection Application in Pre-Crash Situation''.[[BR]] |
| 93 | Reconfigurable Communication Centric SoCs, July 2006, pp. 24–30. |
| 94 | |
| 95 | * Alain Greiner, Frédéric Pétrot, Mathie Carrier, Mounir Benabdenbi, Roselyne Chotin-Avot, Raphaël Labayrade.[[BR]] |
| 96 | ''Mapping an obstacles detection, stereo vision-based, software application on a multi-processor System-on-Chip''.[[BR]] |
| 97 | In IEEE Intelligent Vehicles Symposium, Tokyo, Japan, June 2006, pp. 370–376. |
| 98 | |