Optimization Techniques and Efficient Verification for 32-bit Embedded Floating-point RISC Microprocessor-中国期刊网

1Atena Amiri;Roozbeh Panahi;Soheil Radfar. Parametric Study of Two-Body Floating-Point Wave Absorber.船舶与海洋工程,2016-01.
2Xiao-WeiLit;Guang-HuiLi;MingShao. Formal Verification Techniques Based on Boolean Satisfiability Problem.计算机科学与技术,2005-01.
3Sherif Sakr;Ghazi AI-Naymat. Efficient Relational Techniques for Processing Graph Queries.计算机科学与技术,2010-06.
4Jian-peng ZHOU Ce SHI. Efficient SIMD optimization for media processors.物理,2008-04.
5罗志仁;杨庆喜;宋云涛;杜双松;徐皓;李宏;刘万东;王忠伟;张善文;胡欢;张建武. Verification and Optimization of Vacuum Vessel Supports Design in KTX.核技术及应用,2015-03.
6DI Mingjun and WANG Jianxin Steelmaking Plant,Xinjiang Bayi Iron & steel Co.,Ltd.,Baosteel Group, Urumqi 830022,Xinjiang,China. Process optimization of billet continuous caster and practice verification.钢铁冶金,2010-04.
7丁宁;余建星. Nonlinear Optimization Method of Ship Floating Condition Calculation in Wave Based on Vector.海洋科学,2014-04.
8Yaroslav MURZAEV;Gen nadii LIZIAKIN;An drey GAVRIKOV;Rinat TIMIRKHANOV;Valentin SMIRNOV. A comparison of emissive and cold floating probe techniques for electric potential measurements in rf inductive discharge.核技术及应用,2019-04.
9Li Zhiyuan Wang Ruchuan. AN ENERGY-EFFICIENT OPTIMIZATION DEPLOYMENT SCHEME FOR WIRELESS SENSOR NETWORKS.物理电子学,2010-04.
10ZHANG Wei LIU Peng ZHAI Zhi-bo. A hardware/software co-optimization approach for embedded software of MP3 decoder.物理,2007-01.

Optimization Techniques and Efficient Verification for 32-bit Embedded Floating-point RISC Microprocessor

来源期刊

相关推荐

同分类资源更多

相关关键词

Optimization Techniques and Efficient Verification for 32-bit Embedded Floating-point RISC Microprocessor

来源期刊

相关推荐

同分类资源 更多

相关关键词

同分类资源更多