Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
TNC'18: Keyword Index
Keyword
Papers
$
$p$-solution
Enhancing monotonicity checking in parametric interval linear systems
a
Accuracy
Numerical validation in quadruple precision using stochastic arithmetic
approximated and guaranteed optimal solutions
Policy Iterations Without Selection Property
c
code synthesis
Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
Convergence Acceleration
Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
f
floating-point arithmetic
Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
Numerical validation in quadruple precision using stochastic arithmetic
full column rank
Detecting Unsolvability of Interval Linear Systems
g
Gauss pivoting
Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
h
High Performance Computing
Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
i
IEEE 754-2008 standard
Numerical validation in quadruple precision using stochastic arithmetic
ill-conditioning
Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
interval linear systems
Detecting Unsolvability of Interval Linear Systems
l
linear systems
Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
m
Mechanical problems
Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
monotonicity approach
Enhancing monotonicity checking in parametric interval linear systems
n
Numerical accuracy
Improving 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 validation
Numerical validation in quadruple precision using stochastic arithmetic
p
parallel programs
Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
parametric interval linear systems
Enhancing monotonicity checking in parametric interval linear systems
Policy iterations
Policy Iterations Without Selection Property
q
Quadruple precision
Numerical validation in quadruple precision using stochastic arithmetic
r
rounding errors
Numerical validation in quadruple precision using stochastic arithmetic
s
Stochastic arithmetic
Numerical validation in quadruple precision using stochastic arithmetic
t
Transformation of program
Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
u
unsolvability
Detecting Unsolvability of Interval Linear Systems
unsolvability gap
Detecting Unsolvability of Interval Linear Systems
v
verification
Policy Iterations Without Selection Property
Copyright © 2012-2024 easychair.org. All rights reserved.