TNC'18: Keyword Index

KeywordPapers
$
$p$-solutionEnhancing monotonicity checking in parametric interval linear systems
a
AccuracyNumerical validation in quadruple precision using stochastic arithmetic
approximated and guaranteed optimal solutionsPolicy Iterations Without Selection Property
c
code synthesisToward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
Convergence AccelerationImproving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
f
floating-point arithmeticImproving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
Numerical validation in quadruple precision using stochastic arithmetic
full column rankDetecting Unsolvability of Interval Linear Systems
g
Gauss pivotingToward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
h
High Performance ComputingImproving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
i
IEEE 754-2008 standardNumerical validation in quadruple precision using stochastic arithmetic
ill-conditioningToward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
interval linear systemsDetecting Unsolvability of Interval Linear Systems
l
linear systemsToward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
m
Mechanical problemsToward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
monotonicity approachEnhancing monotonicity checking in parametric interval linear systems
n
Numerical accuracyImproving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
numerical validationNumerical validation in quadruple precision using stochastic arithmetic
p
parallel programsImproving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
parametric interval linear systemsEnhancing monotonicity checking in parametric interval linear systems
Policy iterationsPolicy Iterations Without Selection Property
q
Quadruple precisionNumerical validation in quadruple precision using stochastic arithmetic
r
rounding errorsNumerical validation in quadruple precision using stochastic arithmetic
s
Stochastic arithmeticNumerical validation in quadruple precision using stochastic arithmetic
t
Transformation of programImproving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
u
unsolvabilityDetecting Unsolvability of Interval Linear Systems
unsolvability gapDetecting Unsolvability of Interval Linear Systems
v
verificationPolicy Iterations Without Selection Property