Suchergebnisse - "floating-point computation"
-
1
Quelle: Jisuanji kexue, Vol 51, Iss 4, Pp 86-94 (2024)
Schlagwörter: floating-point computation, precision optimization, rewriting transformation, Computer software, QA76.75-76.765, Technology (General), T1-995
Dateibeschreibung: electronic resource
-
2
Structure over Approximation: BBFᵈᶻ High Fidelity Division ; When Hardware Fails, Structure Prevails
Autoren: Huber, Karl
Schlagwörter: Symbolic computation, Deterministic Division, Structure over Approximation, Formal Methods, Logic modelling, Non-numerical computation, Semantic encoding, Symbolic Framework, Expressive fidelity, Non-floating-point computation
Relation: https://zenodo.org/records/17223691; oai:zenodo.org:17223691; https://doi.org/10.5281/zenodo.17223691
-
3
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Journal of Mathematical Cryptology, Vol 14, Iss 1, Pp 316-338 (2020)
Schlagwörter: 2010 Mathematics Subject Classification: 94A60, TFHE, lattice based cryptography, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Floating point computation, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Ring-LWE, floating point computation, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, b/fv, 94a60, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR], heaan, Fully homomorphic encryption, fully homomorphic encryption, HEAAN, tfhe, Lattice based cryptography, B/FV, ring-lwe, Mathematics
Dateibeschreibung: application/pdf
Zugangs-URL: https://www.degruyter.com/document/doi/10.1515/jmc-2019-0026/pdf
https://doaj.org/article/92c6793d9dc34232bf4a394fe58fcdc1
https://hal.science/hal-03228168v1/document
https://doi.org/10.1515/jmc-2019-0026
https://hal.science/hal-03228168v1
https://www.mendeley.com/catalogue/b3112e06-38cc-3393-b5b2-d6f93863ca4e/
https://dblp.uni-trier.de/db/journals/jmc/jmc14.html#BouraGGJ20
https://infoscience.epfl.ch/record/281916 -
4
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Journal of Real-Time Image Processing. 20
Schlagwörter: Iterative Stencils, Optical Flow, Computer Vision, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Half-precision floating point Computation, Energy Consumption, Embedded GPU
Dateibeschreibung: application/pdf
-
5
Autoren:
Quelle: Journal of Computational and Applied Mathematics. 346:532-548
Schlagwörter: 0101 mathematics, 01 natural sciences, Backward error estimate for the matrix exponential, Krylov methods, Multiple precision floating point computation
Dateibeschreibung: application/pdf
-
6
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 2016 International Conference on Control, Decision and Information Technologies (CoDIT). :576-581
Schlagwörter: Autre, 13. Climate action, 0202 electrical engineering, electronic engineering, information engineering, Floating-point computation, Data-Type optimization, Numerical accuracy, Abstract interpretation, 02 engineering and technology, Static analysis
Dateibeschreibung: application/pdf
-
7
-
8
Autoren:
Weitere Verfasser:
Schlagwörter: Calcul flottant, Numerical validation, [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF], [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], Validation numérique, [INFO.INFO-NE] Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], Floating-point computation, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, Precision, Précision
Dateibeschreibung: application/pdf
Zugangs-URL: https://theses.hal.science/tel-04910717v1
-
9
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://theses.hal.science/tel-04910717 ; Neural and Evolutionary Computing [cs.NE]. Sorbonne Université, 2024. English. ⟨NNT : 2024SORUS412⟩.
Schlagwörter: Precision, Numerical validation, Floating-point computation, Précision, Validation numérique, Calcul flottant, [INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
Relation: NNT: 2024SORUS412
-
10
Verifying floating-point programs with constraint programming and abstract interpretation techniques
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Automated Software Engineering. 23:191-217
Schlagwörter: Abstract interpretation-based approximation, [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF], Program verification, Floating-point computation, 0102 computer and information sciences, 0101 mathematics, Constraint solving over floating-point numbers, Constraint solving over real number intervals, 01 natural sciences, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, 3. Good health
Dateibeschreibung: application/pdf
Zugangs-URL: https://hal.archives-ouvertes.fr/hal-00860681/file/raicp_ase.pdf
https://hal.science/hal-00860681v2
https://doi.org/10.1007/s10515-014-0154-2
https://hal.science/hal-00860681v2/document
https://link.springer.com/article/10.1007/s10515-014-0154-2/fulltext.html
https://hal.archives-ouvertes.fr/hal-00860681v2
https://www.archives-ouvertes.fr/hal-00860681v2
https://hal.archives-ouvertes.fr/hal-00860681/document
https://link.springer.com/article/10.1007/s10515-014-0154-2
https://dl.acm.org/doi/10.1007/s10515-014-0154-2 -
11
Autoren: et al.
Quelle: Procedia Computer Science. 22:152-161
Schlagwörter: Secure Scalar Product, Secure Floating Point Computation, 0202 electrical engineering, electronic engineering, information engineering, Secure Multi-party Computations, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Linear Regression
Zugangs-URL: https://dblp.uni-trier.de/db/conf/kes/kes2013.html#LiuCHLW13
https://core.ac.uk/display/82317645
http://www.sciencedirect.com/science/article/pii/S1877050913008843
https://www.sciencedirect.com/science/article/pii/S1877050913008843
https://www.sciencedirect.com/science/article/abs/pii/S1877050913008843 -
12
Autoren:
Quelle: Computational Geometry. 44:507-528
Schlagwörter: Reliable geometric computing, Computational Mathematics, Control and Optimization, Computational Theory and Mathematics, Controlled perturbation, 0202 electrical engineering, electronic engineering, information engineering, Floating-point computation, Numerical robustness problems, Geometry and Topology, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computer Science Applications
Zugangs-URL: http://www.mpi-inf.mpg.de/~msagralo/Cpgeneral.pdf
http://pubman.mpdl.mpg.de/pubman/item/escidoc:1562347
https://www.sciencedirect.com/science/article/pii/S0925772111000460
https://dblp.uni-trier.de/db/journals/comgeo/comgeo44.html#MehlhornOS11
http://people.mpi-inf.mpg.de/~msagralo/ControlledPerturbationGeneralApproach.pdf
https://www.sciencedirect.com/science/article/abs/pii/S0925772111000460 -
13
Autoren:
Quelle: Reliable Computing. 6:365-390
Schlagwörter: Roundoff error, Numerical interpolation, floating point computation, rational interpolation, bibliography, 0101 mathematics, algorithms, Padé approximation, 01 natural sciences, symbolic computation
Dateibeschreibung: application/xml
-
14
Autoren: et al.
Weitere Verfasser: et al.
Quelle: SWIM'2013: Small Workshop on Interval Methods ; https://inria.hal.science/hal-00922114 ; SWIM'2013: Small Workshop on Interval Methods, Jun 2013, Brest, France
Schlagwörter: numerical reproducibility, floating-point computation, interval computation, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
-
15
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proc. of CP2012 ; Principles and Practice of Constraint Programming. 18th International Conference ; https://hal.science/hal-01099512 ; Principles and Practice of Constraint Programming. 18th International Conference, Oct 2012, Quebec, Canada. pp.593 - 607, ⟨10.1007/978-3-642-33558-7_43⟩ ; http://link.springer.com/chapter/10.1007/978-3-642-33558-7_43
Schlagwörter: Abstract interpretation-based approximation, Constraint solvers over real number intervals, Con-straint solvers over floating-point numbers, Floating-point computation, Program verification, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geographisches Schlagwort: Quebec
Time: Quebec, Canada
-
16
Autoren: et al.
Weitere Verfasser: et al.
Quelle: IFIP Advances in Information and Communication Technology ; 10th Working Conference on Uncertainty Quantification in Scientific Computing (WoCoUQ) ; https://hal.inria.fr/hal-01518674 ; 10th Working Conference on Uncertainty Quantification in Scientific Computing (WoCoUQ), Aug 2011, Boulder, CO, United States. pp.165-179, ⟨10.1007/978-3-642-32677-6_11⟩
Schlagwörter: testing, scientific application code, floating-point computation, data perturbation, computational sensitivity, test harness tool, [INFO]Computer Science [cs]
Geographisches Schlagwort: Boulder, CO, United States
Relation: hal-01518674; https://hal.inria.fr/hal-01518674; https://hal.inria.fr/hal-01518674/document; https://hal.inria.fr/hal-01518674/file/978-3-642-32677-6_11_Chapter.pdf
-
17
Autoren:
Quelle: Reliable Computing. 3:239-248
Schlagwörter: IEEE double floating-point computation, Algorithms for approximation of functions, interval methods, Interval and finite arithmetic, error bounds, 0102 computer and information sciences, 0101 mathematics, rational approximation, 01 natural sciences
Dateibeschreibung: application/xml
-
18
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Floating-point computation, GNU C Library, Nonlinear Arithmetic
Dateibeschreibung: application/pdf
-
19
Autoren:
Weitere Verfasser:
Schlagwörter: Natural measure, Chaotic attractor, Floating-point computation, Trajectories
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.1991; http://math.gmu.edu/~tsauer/pre/reprints/jdea05.pdf
-
20
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://hal.science/hal-00623274 ; [Research Report] Laboratoire I3S / UNS. 2011.
Schlagwörter: Program verification, Floating-point computation, C programs, Abstract interpretation-based approximation, Interval-based constraint solvers over real and floating-point numbers, B.2.3, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Nájsť tento článok vo Web of Science 
Full Text Finder