1. Gérard Berry . 2007 . SCADE: Synchronous design and validation of embedded control software. In Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems . Springer , 19--33. Gérard Berry. 2007. SCADE: Synchronous design and validation of embedded control software. In Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. Springer, 19--33.
2. Optimizing matrix multiply using PHiPAC
3. Joseph Buck , Soonhoi Ha , Edward A. Lee , and David G . Messerschmitt . 2002 . Ptolemy : A Framework for Simulating and Prototyping Heterogeneous Systems. In Readings in Hardware/Software Co-Design, Giovanni De Micheli, Rolf Ernst, and Wayne Wolf (Eds.). Morgan Kaufmann , San Francisco, 527--543. Joseph Buck, Soonhoi Ha, Edward A. Lee, and David G. Messerschmitt. 2002. Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems. In Readings in Hardware/Software Co-Design, Giovanni De Micheli, Rolf Ernst, and Wayne Wolf (Eds.). Morgan Kaufmann, San Francisco, 527--543.
4. ARM Developer. [n.d.]. Arm Neon technology. https://developer.arm.com/architectures/instruction-sets/simd-isas/neon ARM Developer. [n.d.]. Arm Neon technology. https://developer.arm.com/architectures/instruction-sets/simd-isas/neon
5. Intel Developer. 2021. Intel® Intrinsics Guide. https://www.intel.com/content/www/us/en/docs/intrinsics-guide/index.html Intel Developer. 2021. Intel® Intrinsics Guide. https://www.intel.com/content/www/us/en/docs/intrinsics-guide/index.html