|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 9 keywords
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
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 |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|