Sökning: "Armin Biere"
Hittade 1 avhandling innehållade orden Armin Biere.
1. From Machine Arithmetic to Approximations and back again : Improved SMT Methods for Numeric Data Types
Sammanfattning : Safety-critical systems, especially those found in avionics and automotive industries, rely on machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic (FPA). Machine arithmetic exhibits subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. LÄS MER
Resultatsidor:
1