MEMOCODE

AcronymDefinition
MEMOCODEFormal Methods and Models for Codesign (International Conference)
MEMOCODEConference on Formal Methods and Programming Models for Codesign
References in periodicals archive ?
Dave, "Designing a reorder buffer in bluespec," in Proceedings of the 2nd ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE '04), pp.
Authors in [4] discuss a solution to the first MEMOCODE hardware/software codesign contest which posed the problem of optimizing matrix-matrix multiplication such that it is split between the FPGA and PowerPC on a Xilinx Virtex II Pro.
Vijayaraghavan, "Hardware acceleration of matrix multiplication on a xilinx FPGA," in Proceedings of the 5th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '07), pp.