Search results for "dual-precision"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
41	Pedro C. Diniz, Gokul Govindu	Design of a Field-Programmable Dual-Precision Floating-Point Arithmetic Unit.	FPL	2006	DBLP DOI BibTeX RDF
23	Yee Jern Chong, Sri Parameswaran	Flexible multi-mode embedded floating-point unit for field programmable gate arrays.	FPGA	2009	DBLP DOI BibTeX RDF	dual-precision, embedded block, fpu, fpga, floating-point, fpga architecture
20	Yichi Zhang 0006, Ritchie Zhao, Weizhe Hua, Nayun Xu, G. Edward Suh, Zhiru Zhang	Precision Gating: Improving Neural Network Efficiency with Dynamic Dual-Precision Activations.	CoRR	2020	DBLP BibTeX RDF
20	Yichi Zhang 0006, Ritchie Zhao, Weizhe Hua, Nayun Xu, G. Edward Suh, Zhiru Zhang	Precision Gating: Improving Neural Network Efficiency with Dynamic Dual-Precision Activations.	ICLR	2020	DBLP BibTeX RDF
20	Shen-Fu Hsiao, Kuei-Chun Huang	Low-power dual-precision table-based function evaluation supporting dynamic precision changes.	APCCAS	2016	DBLP DOI BibTeX RDF
13	Junliang Du, Sifeng Liu, Yong Liu	Grey variable dual precision rough set model and its application.	Grey Syst. Theory Appl.	2022	DBLP DOI BibTeX RDF
13	Hongxu Li, Fulin Su, Xinbo Xu	A Two-Step Method for Multitarget ISAR Imaging Based on Dual-Precision Optimization.	IEEE Trans. Geosci. Remote. Sens.	2022	DBLP DOI BibTeX RDF
13	Sangwoo Jung, Jaehyun Lee, Huiseong Noh, Jong-Hyeok Yoon, Jaeha Kung	DualPIM: A Dual-Precision and Low-Power CNN Inference Engine Using SRAM- and eDRAM-based Processing-in-Memory Arrays.	AICAS	2022	DBLP DOI BibTeX RDF
13	Krishna Rajan, Soheil Hashemi, Ulya R. Karpuzcu, Michael C. Doggett, Sherief Reda	Dual-precision fixed-point arithmetic for low-power ray-triangle intersections.	Comput. Graph.	2020	DBLP DOI BibTeX RDF
13	Jae Hyun Park, Ji Sub Choi, Jong Hwan Ko	Dual Precision Deep Neural Network.	CoRR	2020	DBLP BibTeX RDF
13	Jae Hyun Park, Ji Sub Choi, Jong Hwan Ko	Dual-Precision Deep Neural Network.	AIPR	2020	DBLP DOI BibTeX RDF
13	Shen-Fu Hsiao, Pei-Hsuan Wu, Jien-Min Chen, Kun-Chih Chen	Dual-Precision Acceleration of Convolutional Neural Network Computation with Mixed Input and Output Data Reuse.	ISCAS	2019	DBLP DOI BibTeX RDF
13	Arunachalam Venkatesan, Alex Noel Joseph Raj, Naveen Hampannavar, C. B. Bidul	Efficient dual-precision floating-point fused-multiply-add architecture.	Microprocess. Microsystems	2018	DBLP DOI BibTeX RDF
13	Young-Geun Lee, Joo-Yul Park, Ki-Seok Chung	Design of Low Power MAC Operator with Dual Precision Mode.	RTCSA	2007	DBLP DOI BibTeX RDF
13	Guy Even, Silvia M. Müller, Peter-Michael Seidel	A dual precision IEEE floating-point multiplier.	Integr.	2000	DBLP DOI BibTeX RDF
8	Sven Beyer, Christian Jacobi 0002, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul	Putting it all together - Formal verification of the VAMP.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Complete microprocessor verification, Tomasulo scheduler, Cache memory interface, Model checking, Formal methods, Theorem proving, Floating point unit
8	Christian Jacobi 0002, Christoph Berg	Formal Verification of the VAMP Floating Point Unit.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	IEEE standard 754, formal verification, theorem proving, PVS, floating point unit
8	Sven Beyer, Christian Jacobi 0002, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul	Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.	CHARME	2003	DBLP DOI BibTeX RDF