CafeOBJ; MPEG-2 encoding algorithm; Observational Transition System; Parallel algorithm;
机译:仅软件MPEG-2编码的算法优化
机译:共享内存片上系统多处理器的线程并行MPEG-2和MPEG-4编码器
机译:用于SoC多处理器体系结构的线程并行MPEG-2,MPEG-4和H.264视频编码器
机译:使用代数规范对MPEG-2编码算法的并行版本进行正式分析
机译:MIMD多处理器的并行化及其在线性代数算法中的应用。
机译:无线传感器和Actor网络的混合连接性恢复算法的正式规范和验证
机译:并行和分布式计算系统的MPEG-2视频编码器的并行化
机译:用于mpEG-2编码文件的新mERIT版本