|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1775 occurrences of 908 keywords
|
|
|
Results
Found 3437 publication records. Showing 3436 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Deevashwer Rathee, Anwesh Bhattacharya, Divya Gupta 0001, Rahul Sharma 0001, Dawn Song |
Secure Floating-Point Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 6329-6346, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Hongbing Tan, Jing Zhang, Libo Huang, Xiaowei He, Dezun Dong, Yongwen Wang, Liquan Xiao |
A Multi-level Parallel Integer/Floating-Point Arithmetic Architecture for Deep Learning Instructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2023: Parallel Processing - 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023, Proceedings, pp. 260-274, 2023, Springer, 978-3-031-39697-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jongwook Sohn, David K. Dean, Eric Quintana, Wing Shek Wong |
Enhanced Floating-Point Multiply-Add with Full Denormal Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARITH ![In: 30th IEEE Symposium on Computer Arithmetic, ARITH 2023, Portland, OR, USA, September 4-6, 2023, pp. 143-150, 2023, IEEE, 979-8-3503-1922-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Styliani Tompazi, Georgios Karakonstantis |
AI-based Timing Error Modelling: A Case Study on a Pipelined Floating-point Core. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARITH ![In: 30th IEEE Symposium on Computer Arithmetic, ARITH 2023, Portland, OR, USA, September 4-6, 2023, pp. 110, 2023, IEEE, 979-8-3503-1922-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Bogdan Pasca 0001, Martin Langhammer |
Extracting low-precision floating-point adders from embedded hard FP DSP Blocks on FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARITH ![In: 30th IEEE Symposium on Computer Arithmetic, ARITH 2023, Portland, OR, USA, September 4-6, 2023, pp. 139-142, 2023, IEEE, 979-8-3503-1922-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu |
Formal Verification of Floating-Point Division. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARITH ![In: 30th IEEE Symposium on Computer Arithmetic, ARITH 2023, Portland, OR, USA, September 4-6, 2023, pp. 93-96, 2023, IEEE, 979-8-3503-1922-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jihee Seo, Dae-Hyun Kim 0004 |
Dual-Purpose Hardware Algorithms and Architectures - Part 1: Floating-Point Division. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARITH ![In: 30th IEEE Symposium on Computer Arithmetic, ARITH 2023, Portland, OR, USA, September 4-6, 2023, pp. 24-31, 2023, IEEE, 979-8-3503-1922-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Nicolas Brisebarre, Jean-Michel Muller, Joris Picot |
Error in ulps of the multiplication or division by a correctly-rounded function or constant in binary floating-point arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARITH ![In: 30th IEEE Symposium on Computer Arithmetic, ARITH 2023, Portland, OR, USA, September 4-6, 2023, pp. 88, 2023, IEEE, 979-8-3503-1922-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Okan Çalis, Müstak Erhan Yalçin |
Optimization of the Eigenvalue Decomposition of Floating-Point Matrices on the TMS320C6672 Digital Signal Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 30th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2023, Istanbul, Turkey, December 4-7, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-2649-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Gian Carlo Cardarilli, Luca Di Nunzio, Rocco Fazzolari, Riccardo La Cesa, Alberto Nannarelli, Marco Re |
Tunable Floating Point for High Quality Audio Systems: The Sound of Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSSC ![In: 57th Asilomar Conference on Signals, Systems, and Computers, ACSSC 2023, Pacific Grove, CA, USA, October 29 - Nov. 1, 2023, pp. 1547-1551, 2023, IEEE, 979-8-3503-2574-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Chih-Chung Hsu, Pei-Jun Lee |
FPGA Implementation of Floating Point Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSSE ![In: International Conference on System Science and Engineering, ICSSE 2023, Ho Chi Minh, Vietnam, July 27-28, 2023, pp. 152-156, 2023, IEEE, 979-8-3503-2294-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Garima Singh, Baidyanath Kundu, Harshitha Menon, Alexander Penev, David J. Lange, Vassil Vassilev |
Fast And Automatic Floating Point Error Analysis With CHEF-FP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: IEEE International Parallel and Distributed Processing Symposium, IPDPS 2023, St. Petersburg, FL, USA, May 15-19, 2023, pp. 1018-1028, 2023, IEEE, 979-8-3503-3766-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Guang Fan, Fangyu Zheng, Lipeng Wan, Lili Gao, Yuan Zhao, Jiankuo Dong, Yixuan Song, Yuewu Wang, Jingqiang Lin |
Towards Faster Fully Homomorphic Encryption Implementation with Integer and Floating-point Computing Power of GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: IEEE International Parallel and Distributed Processing Symposium, IPDPS 2023, St. Petersburg, FL, USA, May 15-19, 2023, pp. 798-808, 2023, IEEE, 979-8-3503-3766-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Bing Lu, Yida Li, Junqi Wang, Huizhang Luo, Kenli Li 0001 |
ZFP-X: Efficient Embedded Coding for Accelerating Lossy Floating Point Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: IEEE International Parallel and Distributed Processing Symposium, IPDPS 2023, St. Petersburg, FL, USA, May 15-19, 2023, pp. 1041-1050, 2023, IEEE, 979-8-3503-3766-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jyotishman Saikia, Amitesh Sridharan, Injune Yeo, Shreyas K. Venkataramanaiah, Deliang Fan, Jae-Sun Seo |
FP-IMC: A 28nm All-Digital Configurable Floating-Point In-Memory Computing Macro. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSCIRC ![In: 49th IEEE European Solid State Circuits Conference, ESSCIRC 2023, Lisbon, Portugal, September 11-14, 2023, pp. 405-408, 2023, IEEE, 979-8-3503-0420-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Pei-Hsuan Kuo, Yu-Hsiang Huang, Juinn-Dar Huang |
Configurable Multi-Precision Floating-Point Multiplier Architecture Design for Computation in Deep Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICAS ![In: 5th IEEE International Conference on Artificial Intelligence Circuits and Systems, AICAS 2023, Hangzhou, China, June 11-13, 2023, pp. 1-5, 2023, IEEE, 979-8-3503-3267-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Dionysios Filippas, Christodoulos Peltekis, Giorgos Dimitrakopoulos, Chrysostomos Nicopoulos |
Reduced-Precision Floating-Point Arithmetic in Systolic Arrays with Skewed Pipelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICAS ![In: 5th IEEE International Conference on Artificial Intelligence Circuits and Systems, AICAS 2023, Hangzhou, China, June 11-13, 2023, pp. 1-5, 2023, IEEE, 979-8-3503-3267-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Fumiya Kono, Naohito Nakasato, Maho Nakata |
Accelerating 128-bit Floating-Point Matrix Multiplication on FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 31st IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, FCCM 2023, Marina Del Rey, CA, USA, May 8-11, 2023, pp. 204, 2023, IEEE, 979-8-3503-1205-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Kristin Rutenkolk |
Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings, pp. 366-370, 2023, Springer, 978-3-031-33162-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Liangtao Dai, Binzhe Yuan, Yuan Wang, Chao Yang, Xin Lou |
Error Analysis for Fused Floating-point Square-root and Division based on Goldschmidt Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEWCAS ![In: 21st IEEE Interregional NEWCAS Conference, NEWCAS 2023, Edinburgh, United Kingdom, June 26-28, 2023, pp. 1-5, 2023, IEEE, 979-8-3503-0024-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Rosa Abbasi, Eva Darulova |
Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings, pp. 41-64, 2023, Springer, 978-3-031-44244-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Wlodzimierz Wojas, Jan Krupa |
Symbolic Calculation Behind Floating-Point Arithmetic: Didactic Examples and Experiment Using CAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (5) ![In: Computational Science - ICCS 2023 - 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part V, pp. 722-736, 2023, Springer, 978-3-031-36029-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jinshan Yue, Chaojie He, Zi Wang, Zhaori Cong, Yifan He, Mufeng Zhou, Wenyu Sun, Xueqing Li, Chunmeng Dou, Feng Zhang 0014, Huazhong Yang, Yongpan Liu, Ming Liu 0022 |
A 28nm 16.9-300TOPS/W Computing-in-Memory Processor Supporting Floating-Point NN Inference/Training with Intensive-CIM Sparse-Digital Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSCC ![In: IEEE International Solid- State Circuits Conference, ISSCC 2023, San Francisco, CA, USA, February 19-23, 2023, pp. 252-253, 2023, IEEE, 978-1-6654-9016-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ping-Chun Wu, Jian-Wei Su, Li-Yang Hong, Jin-Sheng Ren, Chih-Han Chien, Ho-Yu Chen, Chao-En Ke, Hsu-Ming Hsiao, Sih-Han Li, Shyh-Shyuan Sheu, Wei-Chung Lo, Shih-Chieh Chang, Chung-Chuan Lo, Ren-Shuo Liu, Chih-Cheng Hsieh, Kea-Tiong Tang, Meng-Fan Chang |
A 22nm 832Kb Hybrid-Domain Floating-Point SRAM In-Memory-Compute Macro with 16.2-70.2TFLOPS/W for High-Accuracy AI-Edge Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSCC ![In: IEEE International Solid- State Circuits Conference, ISSCC 2023, San Francisco, CA, USA, February 19-23, 2023, pp. 126-127, 2023, IEEE, 978-1-6654-9016-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Zeqing Li, Yongwei Wu, Youhui Zhang |
Multi-Objective Optimization for Floating Point Mix-Precision Tuning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: IEEE/ACM International Symposium on Low Power Electronics and Design, ISLPED 2023, Vienna, Austria, August 7-8, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-1175-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yunrui Yu, Cheng-Zhong Xu 0001 |
Efficient Loss Function by Minimizing the Detrimental Effect of Floating-Point Errors on Gradient-Based Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2023, Vancouver, BC, Canada, June 17-24, 2023, pp. 4056-4066, 2023, IEEE, 979-8-3503-0129-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi |
Model Checking Linear Dynamical Systems under Floating-point Rounding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I, pp. 47-65, 2023, Springer, 978-3-031-30822-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Thushara Kanchana Gunaratne |
Evaluation of the Use of Low Precision Floating-Point Arithmetic for Applications in Radio Astronomy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNGA ![In: Next Generation Arithmetic - 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings, pp. 155-170, 2023, Springer, 978-3-031-32179-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Takumi Inaba, Takatsugu Ono, Koji Inoue, Satoshi Kawakami |
Evaluating floating-point multipliers with opto-electrical hybrid circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CF ![In: Proceedings of the 20th ACM International Conference on Computing Frontiers, CF 2023, Bologna, Italy, May 9-11, 2023, pp. 219, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Niko Zurstraßen, Nils Bosbach, Jan Moritz Joseph, Lukas Jünger 0001, Jan Henrik Weinstock, Rainer Leupers |
Efficient RISC-V-on-x64 Floating Point Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 41st IEEE International Conference on Computer Design, ICCD 2023, Washington, DC, USA, November 6-8, 2023, pp. 558-565, 2023, IEEE, 979-8-3503-4291-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yangzhan Mai, Mingyu Wang, Chuanghao Zhang, Baiqing Zhong, Zhiyi Yu |
A 1.97 TFLOPS/W Configurable SRAM-Based Floating-Point Computation-in-Memory Macro for Energy-Efficient AI Chips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2023, Monterey, CA, USA, May 21-25, 2023, pp. 1-5, 2023, IEEE, 978-1-6654-5109-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Wonhoon Park, Junha Ryu, Sangjin Kim, Soyeon Um, Wooyoung Jo, Sangyoeb Kim, Hoi-Jun Yoo |
A 5.99 TFLOPS/W Heterogeneous CIM-NPU Architecture for an Energy Efficient Floating-Point DNN Acceleration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2023, Monterey, CA, USA, May 21-25, 2023, pp. 1-4, 2023, IEEE, 978-1-6654-5109-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Wanyuan Hong, Hui Chen, Lianghua Quan, Yuxiang Fu, Li Li 0003 |
Low-Cost High-Precision Architecture for Arbitrary Floating-Point Nth Root Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2023, Monterey, CA, USA, May 21-25, 2023, pp. 1-5, 2023, IEEE, 978-1-6654-5109-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Cameron James Norris, Sunwoong Kim |
A Use Case of Iterative Logarithmic Floating-Point Multipliers: Accelerating Histogram Stretching on Programmable SoC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2023, Monterey, CA, USA, May 21-25, 2023, pp. 1-5, 2023, IEEE, 978-1-6654-5109-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Georgios Chatzitsompanis, Georgios Karakonstantis |
On the Facilitation of Voltage Over-Scaling and Minimization of Timing Errors in Floating-Point Multipliers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 29th International Symposium on On-Line Testing and Robust System Design, IOLTS 2023, Crete, Greece, July 3-5, 2023, pp. 1-7, 2023, IEEE, 979-8-3503-4135-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Edward Misback, Caleb C. Chan, Brett Saiki, Eunice Jun, Zachary Tatlock, Pavel Panchekha |
Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology, UIST 2023, San Francisco, CA, USA, 29 October 2023- 1 November 2023, pp. 77:1-77:15, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Purab Ranjan Sutradhar, Sathwika Bavikadi, Mark A. Indovina, Sai Manoj Pudukotai Dinakarrao, Amlan Ganguly |
FlutPIM: : A Look-up Table-based Processing in Memory Architecture with Floating-point Computation Support for Deep Learning Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the Great Lakes Symposium on VLSI 2023, GLSVLSI 2023, Knoxville, TN, USA, June 5-7, 2023, pp. 207-211, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | James Oelund, Sunwoong Kim |
ILAFD: Accuracy-Configurable Floating-Point Divider Using an Approximate Reciprocal and an Iterative Logarithmic Multiplier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the Great Lakes Symposium on VLSI 2023, GLSVLSI 2023, Knoxville, TN, USA, June 5-7, 2023, pp. 639-644, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Shih-Yang Liu, Zechun Liu, Xijie Huang, Pingcheng Dong, Kwang-Ting Cheng |
LLM-FP4: 4-Bit Floating-Point Quantized Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, EMNLP 2023, Singapore, December 6-10, 2023, pp. 592-605, 2023, Association for Computational Linguistics, 979-8-89176-060-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Vishesh Mishra, Sparsh Mittal, Rekha Singhal, Manoj Nambiar 0001 |
Novel, Configurable Approximate Floating-point Multipliers for Error-Resilient Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 24th International Symposium on Quality Electronic Design, ISQED 2023, San Francisco, CA, USA, April 5-7, 2023, pp. 1-7, 2023, IEEE, 979-8-3503-3475-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Riadh Ben Abdelhamid, Gen Kuwazawa, Yoshiki Yamaguchi |
Quantitative study of floating-point precision on modern FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HEART ![In: Proceedings of the 13th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, HEART 2023, Kusatsu, Japan, June 14-16, 2023, pp. 49-58, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | S. Sasikumar, B. Maheshwar Reddy, V. R. Prakash, M. Malleshwar Reddy |
Efficient FPGA Floating-Point Multiplier with ATM and XOR-MUX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCNT ![In: 14th International Conference on Computing Communication and Networking Technologies, ICCCNT 2023, Delhi, India, July 6-8, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-3509-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Zuoyan Zhang, Bei Zhou, Jiangwei Hao, Hongru Yang, Mengqi Cui, Yuchang Zhou, Guanghui Song, Fei Li, Jinchen Xu, Jie Zhao 0002 |
Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, pp. 1441-1453, 2023, IEEE, 979-8-3503-2996-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincón |
A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 237-246, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Marcelo Gennari Do Nascimento, Victor Adrian Prisacariu, Roger Fawcett, Martin Langhammer |
HyperBlock Floating Point: Generalised Quantization Scheme for Gradient and Inference Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACV ![In: IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2023, Waikoloa, HI, USA, January 2-7, 2023, pp. 6353-6362, 2023, IEEE, 978-1-6654-9346-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Xinyi Li, Ignacio Laguna, Bo Fang, Katarzyna Swirydowicz, Ang Li 0006, Ganesh Gopalakrishnan |
Design and Evaluation of GPU-FPX: A Low-Overhead tool for Floating-Point Exception Detection in NVIDIA GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 32nd International Symposium on High-Performance Parallel and Distributed Computing, HPDC 2023, Orlando, FL, USA, June 16-23, 2023, pp. 59-71, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Francesco Taurone, Daniel E. Lucani, Marcell Fehér, Qi Zhang 0013 |
Lossless Preprocessing of Floating Point Data to Enhance Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCAI (2) ![In: Distributed Computing and Artificial Intelligence, Special Sessions I, 20th International Conference, Guimaraes, Portugal, 12-14 July 2023., pp. 457-466, 2023, Springer, 978-3-031-38317-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Xueyang Liu, Patricia Gonzalez-Guerrero, Ivy Peng, Ronald G. Minnich, Maya B. Gokhale |
Accelerator integration in a tile-based SoC: lessons learned with a hardware floating point compression engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC Workshops ![In: Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, SC-W 2023, Denver, CO, USA, November 12-17, 2023, pp. 1662-1669, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Linghao Song, Fan Chen 0001, Hai Li 0001, Yiran Chen 0001 |
ReFloat: Low-Cost Floating-Point Processing in ReRAM for Accelerating Iterative Linear Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2023, Denver, CO, USA, November 12-17, 2023, pp. 75:1-75:15, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yun-Chen Lo, Tse-Kuang Lee, Ren-Shuo Liu |
Block and Subword-Scaling Floating-Point (BSFP) : An Efficient Non-Uniform Quantization For Low Precision Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, May 1-5, 2023, 2023, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Yulhwa Kim, Jaeyong Jang, Jehun Lee, Jihoon Park, Jeonghoon Kim, Byeongwook Kim, Baeseong Park, Se Jung Kwon, Dongsoo Lee, Jae-Joon Kim |
Winning Both the Accuracy of Floating Point Activation and the Simplicity of Integer Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, May 1-5, 2023, 2023, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Václav Vorácek, Matthias Hein 0001 |
Sound Randomized Smoothing in Floating-Point Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, May 1-5, 2023, 2023, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Olle Torstensson, Tjark Weber |
Hammering Floating-Point Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings, pp. 217-235, 2023, Springer, 978-3-031-43368-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hitesh Sahu, Emon Sarkar, Laxmeesha Somappa |
Implementation of FFT Using Low-Precision Floating Point for Rapid High Precision MEMS Readouts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: IEEE Asia Pacific Conference on Circuits and Systems, APCCAS 2023, Hyderabad, India, November 19-22, 2023, pp. 173-177, 2023, IEEE, 979-8-3503-8119-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sagar Mahajan, Poulami Mandal, Laxmeesha Somappa |
Low Precision Floating Point Spectral Feature Extraction Engine for Closed-Loop Neuromodulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: IEEE Asia Pacific Conference on Circuits and Systems, APCCAS 2023, Hyderabad, India, November 19-22, 2023, pp. 159-163, 2023, IEEE, 979-8-3503-8119-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Rémi Imbach, Guillaume Moroz |
Fast evaluation and root finding for polynomials with floating-point coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 325-334, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Lucas M. Dutton, Christopher K. Anand, Robert F. Enenkel, Silvia Melitta Müller |
Optimized Circuit to Correct Outliers in Floating-Point Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, CASCON 2023, Las Vegas, NV, USA, September 11-14, 2023, pp. 94-102, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Daming Zou, Yuchen Gu, Yuanfeng Shi, Mingzhe Wang, Yingfei Xiong 0001, Zhendong Su 0001 |
Oracle-free repair synthesis for floating-point programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(OOPSLA2), pp. 957-985, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jeongwoo Park, Sunwoo Lee, Dongsuk Jeon |
A Neural Network Training Processor With 8-Bit Shared Exponent Bias Floating Point and Multiple-Way Fused Multiply-Add Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Solid State Circuits ![In: IEEE J. Solid State Circuits 57(3), pp. 965-977, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mercedes Paoletti, Juan Mario Haut, Tayeb Alipourfard, Swalpa Kumar Roy, Eligius M. T. Hendrix, Antonio Plaza |
Separable Attention Network in Single- and Mixed-Precision Floating Point for Land-Cover Classification of Remote Sensing Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Geosci. Remote. Sens. Lett. ![In: IEEE Geosci. Remote. Sens. Lett. 19, pp. 1-5, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Conor McCoid, Martin J. Gander |
A Provably Robust Algorithm for Triangle-triangle Intersections in Floating-point Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 48(2), pp. 17:1-17:30, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Nestor Demeure, Cédric Chevalier, Christophe Denis, Pierre Dossantos-Uzarralde |
Algorithm 1029: Encapsulated Error, a Direct Approach to Evaluate Floating-Point Accuracy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 48(4), pp. 47:1-47:16, December 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Chen Wu, Mingyu Wang, Xinyuan Chu, Kun Wang 0005, Lei He 0001 |
Low-precision Floating-point Arithmetic for High-performance FPGA-based CNN Acceleration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Reconfigurable Technol. Syst. ![In: ACM Trans. Reconfigurable Technol. Syst. 15(1), pp. 6:1-6:21, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sébastien Ollivier, Xinyi Zhang, Yue Tang 0002, Chayanika Choudhuri, Jingtong Hu, Alex K. Jones |
Pod-racing: bulk-bitwise to floating-point compute in racetrack memory for machine learning at the edge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 42(6), pp. 9-16, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Juhyoung Lee, Jihoon Kim, Wooyoung Jo, Sangyeob Kim, Sangjin Kim, Hoi-Jun Yoo |
ECIM: Exponent Computing in Memory for an Energy-Efficient Heterogeneous Floating-Point DNN Training Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 42(1), pp. 99-107, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox |
Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 8(2), pp. 10:1-10:2, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Raphael Seidel, Nikolay Tcholtchev, Sebastian Bock, Colin Kai-Uwe Becker, Manfred Hauswirth |
Efficient Floating Point Arithmetic for Quantum Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 72400-72415, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sina Sayyah Ensan, Swaroop Ghosh, Seyedhamidreza Motaman, Derek Weast |
Addressing Resiliency of In-Memory Floating Point Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 30(9), pp. 1172-1183, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Wei Mao 0002, Kai Li, Quan Cheng, Liuyao Dai, Boyu Li, Xinang Xie, He Li 0008, Longyang Lin, Hao Yu 0001 |
A Configurable Floating-Point Multiple-Precision Processing Element for HPC and AI Converged Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 30(2), pp. 213-226, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Fei Lyu 0002, Yan Xia, Yuheng Chen, Yanxu Wang, Yuanyong Luo, Yu Wang 0161 |
High-Throughput Low-Latency Pipelined Divider for Single-Precision Floating-Point Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 30(4), pp. 544-548, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | A. Arunkumar Gudivada, Gnanou Florence Sudha |
Novel optimized low power design of single-precision floating-point adder using Quantum-dot Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 78(4), pp. 6035-6053, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Julio Villalba, Javier Hormigo |
High-Radix Formats for Enhancing Floating-Point FPGA Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Circuits Syst. Signal Process. ![In: Circuits Syst. Signal Process. 41(3), pp. 1683-1703, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jianglin Wei, Anna Kuwana, Haruo Kobayashi 0001, Kazuyoshi Kubo |
IEEE754 Binary32 Floating-Point Logarithmic Algorithms Based on Taylor-Series Expansion with Mantissa Region Conversion and Division. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 105-A(7), pp. 1020-1027, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Kota Sasaki, Koji Nuida |
Efficiency and Accuracy Improvements of Secure Floating-Point Addition over Secret Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 105-A(3), pp. 231-241, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Botao Xiong, Sheng Fan, Xintong He, Tu Xu, Yuchun Chang |
Small Logarithmic Floating-Point Multiplier Based on FPGA and Its Application on MobileNet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 69(12), pp. 5119-5123, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Kai Li, Wei Mao 0002, Junzhuo Zhou, Boyu Li, Zhengke Yang, Shuxing Yang, Laimin Du, Sixiao Huang, Hao Yu 0001 |
A Vector Systolic Accelerator for Multi-Precision Floating-Point High-Performance Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 69(10), pp. 4123-4127, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Hao Zhang 0041, Seok-Bum Ko |
Variable-Precision Approximate Floating-Point Multiplier for Efficient Deep Learning Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 69(5), pp. 2503-2507, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Chuangtao Chen 0001, Weikang Qian, Mohsen Imani, Xunzhao Yin, Cheng Zhuo |
PAM: A Piecewise-Linearly-Approximated Floating-Point Multiplier With Unbiasedness and Configurability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 71(10), pp. 2473-2486, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Penglai Cui, Heng Pan, Zhenyu Li 0001, Penghao Zhang, Tianhao Miao, Jianer Zhou, Hongtao Guan, Gaogang Xie |
Enabling In-Network Floating-Point Arithmetic for Efficient Computation Offloading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 33(12), pp. 4918-4934, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Fabio Montagna, Stefan Mach, Simone Benatti, Angelo Garofalo, Gianmarco Ottavi, Luca Benini, Davide Rossi, Giuseppe Tagliavini |
A Low-Power Transprecision Floating-Point Cluster for Efficient Near-Sensor Data Analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 33(5), pp. 1038-1053, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Seok Young Kim, Chang Hyun Kim, Won Joon Lee, Il Park 0001, Seon Wook Kim |
Low-overhead inverted LUT design for bounded DNN activation functions on floating-point vector ALUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 93, pp. 104592, September 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Rupa Kumar Dhanavath, Gopiya Naik Sevyanaik |
Design of Flexible Floating Point Processing Element (FFPPE) Architecture Based on Golay Code Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 125(2), pp. 1783-1800, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Samaneh Rezaei, Reza Omidi 0001, Ali Azarpeyvand |
Logarithm-approximate floating-point multiplier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. J. ![In: Microelectron. J. 127, pp. 105521, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Halit Öztekin, Hakan Kisioglu, Ali Gülbag, Feyzullah Temurtas |
The design and implementation of a 16 bit floating point arithmetic unit using BZK.SAU.FPGA microcomputer assembly language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Eng. Educ. ![In: Comput. Appl. Eng. Educ. 30(6), pp. 1833-1856, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Seungyeop Kang, Kyeong Soo Kim |
Theoretical and Practical Bounds on the Initial Value of Skew-Compensated Clock for Clock Skew Compensation Algorithm Immune to Floating-Point Precision Loss. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.11520, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi |
Model Checking Linear Dynamical Systems under Floating-point Rounding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.04301, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Eric Hallman, Ilse C. F. Ipsen |
Precision-aware Deterministic and Probabilistic Error Bounds for Floating Point Summation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.15928, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Tao Yu, Went Guo, Jianan Canal Li, Tiancheng Yuan, Christopher De Sa |
MCTensor: A High-Precision Deep Learning Library with Multi-Component Floating-Point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.08867, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jiankai Jin, Olga Ohrimenko, Benjamin I. P. Rubinstein |
Getting a-Round Guarantees: Floating-Point Attacks on Certified Robustness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.10159, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Allison H. Baker, Alexander Pinard, Dorit M. Hammerling |
DSSIM: a structural similarity index for floating-point data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.02616, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Johannes de Fine Licht, Christopher A. Pattison, Alexandros Nikolaos Ziogas, David Simmons-Duffin, Torsten Hoefler |
Fast Arbitrary Precision Floating Point on FPGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.06256, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Lu Xia, Stefano Massei, Michiel E. Hochstenbach, Barry Koren |
On the influence of roundoff errors on the convergence of the gradient descent method with low-precision floating-point computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.12276, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Christian Hakert, Kuan-Hsun Chen, Jian-Jia Chen |
FLInt: Exploiting Floating Point Enabled Integer Arithmetic for Efficient Random Forest Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.04181, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | David Monniaux, Alice Pain |
Formally verified 32- and 64-bit integer division using double-precision floating-point arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.08420, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sébastien Ollivier, Xinyi Zhang, Yue Tang 0002, Chayanika Choudhuri, Jingtong Hu, Alex K. Jones |
FPIRM: Floating-point Processing in Racetrack Memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.13788, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Tinko Bartels, Vissarion Fisikopoulos, Martin Weiser |
Fast Floating-Point Filters for Robust Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.00497, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Seock-Hwan Noh, Jahyun Koo 0002, Seunghyun Lee, Jongse Park, Jaeha Kung |
FlexBlock: A Flexible DNN Training Accelerator with Multi-Mode Block Floating Point Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.06673, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Junaid Rasheed, Michal Konecný |
Auto-active Verification of Floating-point Programs via Nonlinear Real Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.00921, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Václav Vorácek, Matthias Hein 0001 |
Sound Randomized Smoothing in Floating-Point Arithmetics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.07209, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ayon Basumallik, Darius Bunandar, Nicholas Dronen, Nicholas C. Harris, Ludmila Levkova, Calvin McCarter, Lakshmi Nair, David Walter, David Widemann |
Adaptive Block Floating-Point for Analog Deep Learning Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.06287, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
|
|