Вы здесь

Главная

арифметика

Связанные издания:

A Gandy Theorem for Abstract Structures and Applications to First-Order Definability
Analysis and Refutation of the LCAS
An Interactive Approach for Extending IEEE Arithmetic Auxiliary Processor AP87
Arithmetic of Finite Fields: Proc./First International Workshop, WAIFI 2007. Madrid, Spain, June 2007
Combinatorial Amage Analysis: Proc./17th International Workshop, IWCIA 2015, Kolkata, India, November 2015
Comprehensive Redundant Load Elimination for the IA-64 Architecture
Definability in the Infix Order on Words
Exact Solution of Linear Systems over Rational Numbers by Parallel p-adic Arithmetic
Hardware and Algorithmic Support of High-Accuracy Computations in Vertical Processing System
Implementing and Automating Basic Number Theory in MetaPRL Proof Assistent
Logic for Programming, Artificial Intelligence, and Reasoning: Revised Selected Papers/16th International Conference, LPAR-16, Dakar, Senegal, April/May 2010
Mathematical Software - ICMS 2016: Proc./5th International Conference, Berlin, Germany, July 2016
Multidimensional Pipeline and Array Architectures for On-Line Computation of the Fast Orthogonal Transforms
Numerical Software with result Verification: Proc./Intern. Dagstuhl Seminar, Dagstuhl Castle, Germany, January 2003
Numerical Validation in Current Hardware Architectures: Revised Papers/ International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 2008
On the Need for Predictable Floating-Point Arithmetic in the Programming Languages Fortran 90 and C/C++
Operational modal logic
Pursuit of the Universal: Proc./12th Conference on Computability in Europe, CiE 2016, Paris, France, June 2016
Reversible Computation: Proc./10th International Conference, RC 2018, Leicester, UK, September 2018
Runtime Verification: Revised Selected Papers/3rd International Conference, RV 2012, Istanbul, Turkey, September 2012
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
Scientific Computing, Computer Arithmetic, and Validated Numerics: Revised Selecte Papers/16th International Symposium, SCAN 2014, Wursburg, Germany, September 2014
Verification of Systolic Architecture Designs
Арифметика чисел произвольной длины и произвольного диапазона и её применение к вычислению элементарных функций (на примере машин серии "МИР")
Методы и средства параллельной высокоточной арифметики на базе систем вертикальной обработки