Improving the numerical accuracy of programs by automatic transformation (English)
- New search for: Damouche, N.
- New search for: Martel, M.
- New search for: Chapoutot, A.
- New search for: Damouche, N.
- New search for: Martel, M.
- New search for: Chapoutot, A.
In:
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
;
19
, 4
;
427-448
;
2017
-
ISSN:
- Article (Journal) / Print
-
Title:Improving the numerical accuracy of programs by automatic transformation
-
Contributors:
-
Published in:INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER ; 19, 4 ; 427-448
-
Publisher:
- New search for: Springer Science + Business Media
-
Publication date:2017-01-01
-
Size:22 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 005.3
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 005.3 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 19, Issue 4
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 391
-
Preface of the special issue on formal methods in industrial critical systemsGüdemann, Matthias / Núñez, Manuel et al. | 2017
- 395
-
Verification of critical systems described in real-time TiMoAman, Bogdan / Ciobanu, Gabriel et al. | 2016
- 409
-
Require, test, and trace ITAichernig, Bernhard K. / Hörmaier, Klaus / Lorber, Florian / Ničković, Dejan / Tiran, Stefan et al. | 2016
- 427
-
Improving the numerical accuracy of programs by automatic transformationDamouche, Nasrine / Martel, Matthieu / Chapoutot, Alexandre et al. | 2016
- 449
-
Synthesizing, correcting and improving code, using model checking-based genetic programmingKatz, Gal / Peled, Doron et al. | 2016
- 465
-
A correct-by-construction model for asynchronously communicating systemsFarah, Zoubeyr / Ait-Ameur, Yamine / Ouederni, Meriem / Tari, Kamel et al. | 2016
- 487
-
Analyzing execution traces: critical-path analysis and distance analysisHendriks, Martijn / Verriet, Jacques / Basten, Twan / Theelen, Bart / Brassé, Marco / Somers, Lou et al. | 2016