×

Found 455 Documents (Results 1–100)

Numerical stability of algorithms at extreme scale and low precisions. (English) Zbl 1535.65060

Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 7. Sections 15–20. Berlin: European Mathematical Society (EMS). 5098-5117 (2023).
MSC:  65G50 65F05
PDFBibTeX XMLCite
Full Text: DOI

ABS: a formally correct software tool for space-efficient symbolic synthesis. (English) Zbl 07807727

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 19, 10 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Symmetric transrationals: the data type and the algorithmic degree of its equational theory. (English) Zbl 1524.68199

Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 63-80 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Complexity and performance of secure floating-point polynomial evaluation protocols. (English) Zbl 1498.68050

Bertino, Elisa (ed.) et al., Computer security – ESORICS 2021. 26th European symposium on research in computer security, Darmstadt, Germany, October 4–8, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12973, 352-369 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Deductive verification of floating-point Java programs in KeY. (English) Zbl 1474.68186

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 242-261 (2021).
MSC:  68Q60 65G50 68N15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Counterexample- and simulation-guided floating-point loop invariant synthesis. (English) Zbl 1474.68055

Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 156-177 (2020).
MSC:  68N30 65G50
PDFBibTeX XMLCite
Full Text: DOI

A dynamic precision floating-point arithmetic based on the Infinity Computer framework. (English) Zbl 07250760

Sergeyev, Yaroslav D. (ed.) et al., Numerical computations: theory and algorithms. Third international conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019. Revised selected papers. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11974, 289-297 (2020).
MSC:  65-XX
PDFBibTeX XMLCite
Full Text: DOI Link

An efficient parametric linear programming solver and application to polyhedral projection. (English) Zbl 07834941

Chang, Bor-Yuh Evan (ed.), Static analysis. 26th international symposium, SAS 2019, Porto, Portugal, October 8–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11822, 203-224 (2019).
MSC:  68Q60 65K05 90C05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Icing: supporting fast-math style optimizations in a verified compiler. (English) Zbl 1533.68034

Dillig, Isil (ed.) et al., Computer aided verification. 31st international conference, CAV 2019, New York City, NY, USA, July 15–18, 2019. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11562, 155-173 (2019).
MSC:  68N20 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Primitive floats in Coq. (English) Zbl 07649956

Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 7, 20 p. (2019).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Handbook of floating-point arithmetic. 2nd edition. (English) Zbl 1394.65001

Cham: Birkhäuser (ISBN 978-3-319-76525-9/hbk; 978-3-319-76526-6/ebook). xxv, 627 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

A three-tier strategy for reasoning about floating-point numbers in SMT. (English) Zbl 1494.68282

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 419-435 (2017).
PDFBibTeX XMLCite
Full Text: DOI HAL

Formal verification of a floating-point expansion renormalization algorithm. (English) Zbl 1483.68479

Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10499, 98-113 (2017).
MSC:  68V15 65G99 65Y04
PDFBibTeX XMLCite
Full Text: DOI HAL

Rigorous floating-point mixed-precision tuning. (English) Zbl 1380.68116

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 300-315 (2017).
MSC:  68N30 68N20
PDFBibTeX XMLCite
Full Text: DOI

Computer arithmetic and formal proofs. Verifying floating-point algorithms with the Coq system. (English) Zbl 1385.68001

Amsterdam: Elsevier/ISTE Press (ISBN 978-1-78548-112-3/hbk; 978-0-08-101170-6/ebook). xx, 306 p. (2017).
MSC:  68-02 65G50 65Y04 68Q60 68T15
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software