Skip to main content
SpringerLink
Log in

Speeding Up Non-archimedean Numerical Computations Using AVX-512 SIMD Instructions

  • Conference paper
  • First Online:
Applications in Electronics Pervading Industry, Environment and Society (ApplePies 2023)

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 1110))

  • 164 Accesses

Abstract

This work presents the acceleration of a Bounded Algorithmic Number (BAN) library exploiting vector instructions in general-purpose processors. With the use of this encoding, it is possible to represent non-Archimedean numbers that are not only finite (like real numbers) but also infinite or infinitesimal. The tremendous growth in non-Archimedean numerical computations over the past 20 years and the resulting applications spurred this study’s development. Enabling acceleration of BANs processing can significantly increase the throughput of non-Archimedean numerical computations, enlarging the spectrum of possible applications to industrial and real-time ones.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Sergeyev YD (2017) Numerical infinities and infinitesimals: Methodology, applications, and repercussions on two Hilbert problems. EMS Surv Math Sci 4(2):219–320

    Article  MathSciNet  Google Scholar 

  2. De Cosmis S, De Leone R (2012) The use of grossone in mathematical programming and operations research. Appl Math Comput 218:8029–8038

    MathSciNet  Google Scholar 

  3. Cococcioni M, Pappalardo M, Sergeyev YD (2018) Lexicographic multi-objective linear programming using grossone methodology: theory and algorithm. Appl Math Comput 318:298–311

    Google Scholar 

  4. Fiaschi L, Cococcioni M (2022) A non-archimedean interior point method and its application to the lexicographic multi-objective quadratic programming. Mathematics 10(23):4536

    Article  Google Scholar 

  5. Lai L, Fiaschi L, Cococcioni M, Deb K (2021) Solving mixed pareto-lexicographic many-objective optimization problems: the case of priority levels. IEEE Trans Evol Comput 25:971–985

    Article  Google Scholar 

  6. Cococcioni M, Fiaschi L, Lambertini L (2021) Non-Archimedean Zero Sum Games. J Comput Appl Math 393:113483

    Article  MathSciNet  Google Scholar 

  7. Astorino A, Fuduli A (2020) Spherical separation with infinitely far center. Soft Comput 24(23): 17 751–17 759

    Google Scholar 

  8. Cavoretto R, De Rossi A, Mukhametzhanov MS, Sergeyev YD (2021) On the search of the shape parameter in radial basis functions using univariate global optimization methods. J Global Optim 79(2):305–327

    Article  MathSciNet  Google Scholar 

  9. Benci V, Di Nasso M (2018) How to measure the infinite: mathematics with infinite and infinitesimal numbers. World Scientific, Singapore

    Google Scholar 

  10. Cococcioni M, Rossi F, Ruffaldi E, Saponara S (2020) Fast deep neural networks for image processing using posits and ARM scalable vector extension. J R-Time Image Process 17(3):759–771 Jun

    Google Scholar 

  11. Cococcioni M, Rossi F, Ruffaldi E, Saponara S (2021) Faster deep neural network image processing by using vectorized posit operations on a RISC-V processor. In: Kehtarnavaz N, Carlsohn MF (eds)Real-time image processing and deep learning 2021, vol 11736. International Society for Optics and Photonics. SPIE, p 1173604

    Google Scholar 

  12. Rossi F, Fiaschi L, Cococcioni M, Saponara S (2023) Design and FPGA synthesis of BAN processing unit for non-archimedean number crunching. In: Berta R, De Gloria A (eds) Applications in electronics pervading industry, environment and society. Springer Nature Switzerland, Cham, pp 320–325

    Google Scholar 

  13. Benci V, Cococcioni M, Fiaschi L (2022) Non-standard analysis revisited: an easy axiomatic presentation oriented towards numerical applications. Appl Math Comput 32(1):65–80

    MathSciNet  Google Scholar 

  14. Cococcioni M, Fiaschi L (2021) The big-M method using the infinite numerical M. Optim Lett 15:2455–2468

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgments

Work partially supported by H2020 project TEXTAROSSA (grant no. 956831), https://textarossa.eu/, by the Italian Ministry of Education and Research (MUR), ForeLab project (Departments of Excellence), and by PNRR—M4C2—Investimento 1.3, Partenariato Esteso PE00000013—“FAIR—Future Artificial Intelligence Research”—Spoke 1 “Human-centered AI”.

Author information

Authors and Affiliations

  1. University of Pisa, Largo Lucio Lazzarino 1, 56122, Pisa, Italy

    Lorenzo Fiaschi, Federico Rossi, Marco Cococcioni & Sergio Saponara

Authors
  1. Lorenzo Fiaschi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Federico Rossi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marco Cococcioni
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Sergio Saponara
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Federico Rossi .

Editor information

Editors and Affiliations

  1. Department of Electrical, Electronic, Telecommunication Engineering and Naval Architecture (DITEN), University of Genoa, Genoa, Italy

    Francesco Bellotti

  2. Department of Electrical and Computer Engineering, Hellenic Mediterranean University, Heraklion, Greece

    Miltos D. Grammatikakis

  3. Lab-STICC, CNRS UMR 6285, École nationale supérieure de techniques avancées Bretagne, Brest, France

    Ali Mansour

  4. Department of Electronics and Telecommunications, Politecnico di Torino, Turin, Italy

    Massimo Ruo Roch

  5. Department of Computer Science, HTWG Konstanz—University of Applied Sciences, Konstanz, Germany

    Ralf Seepold

  6. Department of Computer Engineering and Mathematics, Universitat Rovira i Virgili, Tarragona, Catalonia, Spain

    Agusti Solanas

  7. Department of Electrical, Electronic, Telecommunication Engineering and Naval Architecture (DITEN), University of Genoa, Genoa, Italy

    Riccardo Berta

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Fiaschi, L., Rossi, F., Cococcioni, M., Saponara, S. (2024). Speeding Up Non-archimedean Numerical Computations Using AVX-512 SIMD Instructions. In: Bellotti, F., et al. Applications in Electronics Pervading Industry, Environment and Society. ApplePies 2023. Lecture Notes in Electrical Engineering, vol 1110. Springer, Cham. https://doi.org/10.1007/978-3-031-48121-5_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-48121-5_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-48120-8

  • Online ISBN: 978-3-031-48121-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation