We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

The Ada Numerics Model

00:00

Formal Metadata

Title
The Ada Numerics Model
Title of Series
Number of Parts
287
Author
Contributors
License
CC Attribution 2.0 Belgium:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
The requirements for Ada numerics were to provide portable arithmetics without unacceptable performance cost. This talk shows how this was achieved by interval arithmetics without requiring a particular implementation model, like IEEE arithmetics.
Mathematical analysisRational numberInfinitySubsetComputer hardwareFile formatBinary fileDecimalStandard deviationExtension (kinesiology)Real numberPortable communications deviceArchitectureData modelApproximationLogical constantType theoryNumerical digitAbsolute valueVoltmeterMaxima and minimaCompilerMeasurementReal numberPhysicistCircleEndliche ModelltheorieDecimalPoint (geometry)VoltmeterRange (statistics)Covering spaceFormal languageType theoryNeuroinformatikPrice indexMultiplication signPortable communications deviceNumerical analysisStandard deviationSet (mathematics)Programming languageFile formatJava appletRational numberResultantApproximationPhysicalismLine (geometry)InfinityLink (knot theory)AreaNumeral (linguistics)CASE <Informatik>DigitizingVirtual machineBitSubsetNumberRepresentation (politics)Goodness of fitCompilerComputer hardwareSurfaceLengthComputerMetreExponentiationPlastikkartePresentation of a groupResolvent formalismOvalPrisoner's dilemmaGame theoryNatural numberComputer architectureCodeSemiconductor memoryProcedural programmingCAN busWeb pageRevision controlDifferent (Kate Ryan album)Product (business)Logic gateExtension (kinesiology)Compilation albumCone penetration testNoise (electronics)MedianBeat (acoustics)BuildingPrincipal idealDataflowVotingHand fanDiagramComputer animation
Performance appraisalFluid staticsRegulärer Ausdruck <Textverarbeitung>Extension (kinesiology)CompilerRational numberData modelCompilerAsynchronous Transfer ModeOperations researchAdditionLibrary (computing)Linear mapElectric generatorAlgebraImplementationReal numberProduct (business)CompilerEndliche ModelltheorieResultantNeuroinformatikProcess (computing)Virtual machineOperator (mathematics)Logical constantMaxima and minimaDivisorRun time (program lifecycle phase)CASE <Informatik>ExpressionComputer architectureApproximationNumberRange (statistics)Different (Kate Ryan album)AdditionError messageNumeral (linguistics)Scaling (geometry)Elementare FunktionImplementationAsynchronous Transfer ModeComputer configurationTheory of relativitySound effectReal numberRule of inferenceGoodness of fitLibrary (computing)Formal languageSign (mathematics)WavePoint (geometry)TunisExtension (kinesiology)Bounded variationUsabilityLattice (order)Roundness (object)Network topologyOvalMultiplication signComputerPhysicalismBuffer overflowCovering spaceMathematicsResolvent formalismFunctional (mathematics)MultiplicationAreaComputer animation
ImplementationIndependence (probability theory)Real numberComputer hardwarePoint (geometry)Floating pointScale (map)Coefficient of determinationAttribute grammarNumerical digitCurvatureType theoryPower (physics)Point (geometry)Endliche ModelltheorieSystem callWater vaporOptical disc driveNeuroinformatikMultiplication signResultantPrisoner's dilemmaCASE <Informatik>Maxima and minimaTwitterComputer hardwareMeasurementNumberMachine visionMessage passingGoodness of fitMetreHome pageDifferent (Kate Ryan album)DataflowProtein foldingPeripheralCompilerApproximationScaling (geometry)Metropolitan area networkWeb pageStress (mechanics)InformationAdditionRow (database)Virtual machineProcess (computing)Portable communications deviceComputer programmingType theoryDampingClosed setPhysicalismExploratory data analysisPhysical lawAngleNumerical analysisDigitizingLevel (video gaming)Axiom of choiceBound stateBitImplementationRepresentation (politics)Computer animation
CASE <Informatik>NumberComputer animationMeeting/Interview
NumberReal numberMereologyLibrary (computing)Formal languageIntegerMeeting/InterviewComputer animation
ResultantMeeting/InterviewComputer animation
Graphical user interfaceBitFormal languageReal numberInternet service providerMultiplication signIntegerLibrary (computing)Type theoryWindowMeeting/InterviewComputer animation
Power (physics)CalculationData conversionPoint (geometry)Different (Kate Ryan album)Domain nameMessage passingOntologyData miningBoss CorporationNeuroinformatikPiDimensional analysisTerm (mathematics)OvalNumerical analysisType theoryPosition operatorPhysicalismMathematicsMeeting/InterviewComputer animation
Position operatorImplementationEndliche ModelltheorieIntervallalgebraNeuroinformatikVirtual machineType theoryShift operatorPoint (geometry)Computer hardwareComputer animation
Type theoryPoint (geometry)CASE <Informatik>Mathematical analysisWordLatent heatNP-hardDifferent (Kate Ryan album)Formal languageRange (statistics)Computer hardwareAxiom of choiceDampingMultiplicationGame controllerMultiplication signPhysical lawResultantForcing (mathematics)Network topologyMeeting/InterviewComputer animation
Mathematical analysisLatent heatSet (mathematics)Numeral (linguistics)Vector potentialBuffer overflowCAN busNumberNeuroinformatikDisk read-and-write headMeeting/InterviewComputer animation
VotingDataflowResultantStudent's t-testEndliche ModelltheorieArithmetic meanPhysical systemMeeting/InterviewComputer animation
Meeting/InterviewComputer animation
Transcript: English(auto-generated)