# bibtab

bibtype: book
filename: fparith.bib
label: Hennessy:2012:CAQ
author: John L. Hennessy and David A. Patterson
booktitle: Computer Architecture: a Quantitative Approach
title: Computer Architecture: a Quantitative Approach
publisher: pub-MORGAN-KAUFMANN-ELSEVIER
address: pub-MORGAN-KAUFMANN-ELSEVIER:adr
edition: Fifth
pages: xxvii + 493 + 325
year: 2012
ISBN: 0-12-383872-X (paperback) OR 012383872X (paperback)
ISBN13: 978-0-12-383872-8 (paperback) OR 9780123838728 (paperback)
LCCN: QA76.9.A73 P377 2012
bibdate: Wed Feb 15 07:46:38 MST 2012
bibtimestamp: 2012.02.15 07:46:38 MST
URL: http://booksite.mkp.com/9780123838728
subject: Computer architecture
acknowledgement: ack-nhfb
rawauthor: John L. Hennessy and David A. Patterson
rawbooktitle: Computer Architecture: a Quantitative Approach
rawtitle: Computer Architecture: a Quantitative Approach
bibsource:
https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/master.bib; z3950.loc.gov:7090/Voyager

note:
With contributions by Krste Asanovic, Jason D. Kabos, Robert P. Colwell, Thomas M. Conte, Jose Duato, Diana Franklin, David Goldberg, Norman P. Jouppi, Sheng Li, Naveen Muralimanohar, Gregory D. Peterson, Timothy M. Pinkston, Parthasarathy Ranganthan, David A. Wood, and Amr Zaky.

TOC:
1: Fundamentals of Quantitative Design and Analysis 2: Memory Hierarchy Design 3: Instruction-Level Parallelism and Its Exploitation 4: Data-Level Parallelism in Vector, SIMD, and GPU Architectures 5: Thread-Level Parallelism 6: Warehouse-Scale Computers to Exploit Request-Level and Data-Level Parallelism A: Instruction Set Principles B: Review of Memory Hierarchy C: Pipelining: Basic and Intermediate Concepts D: Storage Systems E: Embedded Systems F: Interconnection Networks G: Vector Processors in More Depth H: Hardware and Software for VLIW and EPIC I: Large-Scale Multiprocessors and Scientific Applications J: Computer Arithmetic K: Survey of Instruction Set Architectures L: Historical Perspective and References References Index

rawnote:
With contributions by Krste Asanovi{\'c}, Jason D. Kabos, Robert P. Colwell, Thomas M. Conte, Jos{\'e} Duato, Diana Franklin, David Goldberg, Norman P. Jouppi, Sheng Li, Naveen Muralimanohar, Gregory D. Peterson, Timothy M. Pinkston, Parthasarathy Ranganthan, David A. Wood, and Amr Zaky.

rawTOC:
1: Fundamentals of Quantitative Design and Analysis \\ 2: Memory Hierarchy Design \\ 3: Instruction-Level Parallelism and Its Exploitation \\ 4: Data-Level Parallelism in Vector, SIMD, and GPU Architectures \\ 5: Thread-Level Parallelism \\ 6: Warehouse-Scale Computers to Exploit Request-Level and Data-Level Parallelism \\ A: Instruction Set Principles \\ B: Review of Memory Hierarchy \\ C: Pipelining: Basic and Intermediate Concepts \\ D: Storage Systems \\ E: Embedded Systems \\ F: Interconnection Networks \\ G: Vector Processors in More Depth \\ H: Hardware and Software for VLIW and EPIC \\ I: Large-Scale Multiprocessors and Scientific Applications \\ J: Computer Arithmetic \\ K: Survey of Instruction Set Architectures \\ L: Historical Perspective and References \\ References \\ Index

entry:
@Book{Hennessy:2012:CAQ,
  author =       "John L. Hennessy and David A. Patterson",
  booktitle =    "Computer Architecture: a Quantitative Approach",
  title =        "Computer Architecture: a Quantitative Approach",
  publisher =    pub-MORGAN-KAUFMANN-ELSEVIER,
  address =      pub-MORGAN-KAUFMANN-ELSEVIER:adr,
  edition =      "Fifth",
  pages =        "xxvii + 493 + 325",
  year =         "2012",
  ISBN =         "0-12-383872-X (paperback)",
  ISBN-13 =      "978-0-12-383872-8 (paperback)",
  LCCN =         "QA76.9.A73 P377 2012",
  bibdate =      "Wed Feb 15 07:46:38 MST 2012",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/master.bib;
                 z3950.loc.gov:7090/Voyager",
  note =         "With contributions by Krste Asanovi{\'c}, Jason D.
                 Kabos, Robert P. Colwell, Thomas M. Conte, Jos{\'e}
                 Duato, Diana Franklin, David Goldberg, Norman P.
                 Jouppi, Sheng Li, Naveen Muralimanohar, Gregory D.
                 Peterson, Timothy M. Pinkston, Parthasarathy
                 Ranganthan, David A. Wood, and Amr Zaky.",
  URL =          "http://booksite.mkp.com/9780123838728",
  acknowledgement = ack-nhfb,
  subject =      "Computer architecture",
  tableofcontents = "1: Fundamentals of Quantitative Design and Analysis
                 \\
                 2: Memory Hierarchy Design \\
                 3: Instruction-Level Parallelism and Its Exploitation
                 \\
                 4: Data-Level Parallelism in Vector, SIMD, and GPU
                 Architectures \\
                 5: Thread-Level Parallelism \\
                 6: Warehouse-Scale Computers to Exploit Request-Level
                 and Data-Level Parallelism \\
                 A: Instruction Set Principles \\
                 B: Review of Memory Hierarchy \\
                 C: Pipelining: Basic and Intermediate Concepts \\
                 D: Storage Systems \\
                 E: Embedded Systems \\
                 F: Interconnection Networks \\
                 G: Vector Processors in More Depth \\
                 H: Hardware and Software for VLIW and EPIC \\
                 I: Large-Scale Multiprocessors and Scientific
                 Applications \\
                 J: Computer Arithmetic \\
                 K: Survey of Instruction Set Architectures \\
                 L: Historical Perspective and References \\
                 References \\
                 Index",
}


bibtype: proceedings
filename: fparith.bib
label: Jonasson:2012:APSb
editor: Kristjan Jonasson
volume: 7134
publisher: pub-SV
address: pub-SV:adr
pages: xxviii + 477
year: 2012
CODEN: LNCSD9
DOI: https://doi.org/10.1007/978-3-642-28145-7
ISBN: 3-642-28144-3 (print), 3-642-28145-1 (e-book) OR 3642281443 (print), 3642281451 (ebook)
ISSN: 0302-9743 (print), 1611-3349 (electronic) OR 03029743 (print), 16113349 (electronic)
ISSNL: 0302-9743 OR 03029743
bibdate: Wed Dec 19 15:24:47 MST 2012
bibsource: https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/lncs.bib
bibtimestamp: 2012.12.19 15:24:47 MST
series: ser-LNCS
URL: http://www.springerlink.com/content/978-3-642-28145-7
acknowledgement: ack-nhfb
raweditor: Kristj{\'a}n J{\'o}nasson
booktitle:
Applied Parallel and Scientific Computing: 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6--9, 2010, Revised Selected Papers, Part II

title:
Applied Parallel and Scientific Computing: 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6--9, 2010, Revised Selected Papers, Part II

ISBN13:
978-3-642-28144-0 (print), 978-3-642-28145-7 (e-book) OR 9783642281440 (print), 9783642281457 (ebook)

TOC:
Free Energy Monte Carlo Simulations on a Distributed Network Numerical Investigation of the Cumulant Expansion for Fourier Path Integrals Optimization of Functionals of Orthonormal Functions in the Absence of Unitary Invariance Simulated Annealing with Coarse Graining and Distributed Computing Path Optimization with Application to Tunneling Shallow Water Simulations on Multiple GPUs High Performance Computing Techniques for Scaling Image Analysis Workflows Parallel Computation of Bivariate Polynomial Resultants on Graphics Processing Units Accelerating Model Reduction of Large Linear Systems with Graphics Processors Fast GPU-Based Fluid Simulations Using SPH Toward Techniques for Auto-tuning GPU Algorithms An Interval Version of the Crank-Nicolson Method The First Approach Parallel Detection of Interval Overlapping Using the Second-Order Information in Pareto-set Computations of a Multi-criteria Problem Comments on Fast and Exact Accumulation of Products An Interval Finite Difference Method of Crank-Nicolson Type for Solving the One-Dimensional Heat Conduction Equation with Mixed Boundary Conditions Using C-XSC for High Performance Verified Computing Efficient Implementation of Interval Matrix Multiplication The Computing Framework for Physics Analysis at LHCb Taming the Raven Testing the Random Access, Visualization and Exploration Network RAVEN RAVEN Boosting Data Analysis for the LHC Experiments Bridging HPC and Grid File I/O with IOFSL Fine Granularity Sparse QR Factorization for Multicore Based Systems Mixed Precision Iterative Refinement Methods for Linear Systems: Convergence Analysis Based on Krylov Subspace Methods An Implementation of the Tile QR Factorization for a GPU and Multiple CPUs Efficient Reduction from Block Hessenberg Form to Hessenberg Form Using Shared Memory Cache-Oblivious Algorithms and Matrix Formats for Computations on Interval Matrices Parallel Solution of Narrow Banded Diagonally Dominant Linear Systems An Approach for Semiautomatic Locality Optimizations Using OpenMP Memory-Efficient Sierpinski-Order Traversals on Dynamically Adaptive, Recursively Structured Triangular Grids Fast Wavelet Transform Utilizing a Multicore-Aware Framework Direct Sparse Factorization of Blocked Saddle Point Matrices Multi-Target Vectorization with MTPS C++ Generic Library Analysis of Gravitational Wave Signals on Heterogeneous Architectures Towards Efficient Execution of Erasure Codes on Multicore Architectures Communication-Efficient Algorithms for Numerical Quantum Dynamics Efficiently Implementing Monte Carlo Electrostatics Simulations on Multicore Accelerators Algebraic Multigrid Solver on Clusters of CPUs and GPUs Solution of Identification Problems in Computational Mechanics Parallel Processing Aspects ScalaTrace: Tracing, Analysis and Modeling of HPC Codes at Scale A Lightweight Library for Building Scalable Tools MATE: Toward Scalable Automated and Dynamic Performance Tuning Environment Improving the Scalability of Performance Evaluation Tools Automatic Performance Analysis of OpenMP Codes on a Scalable Shared Memory System Using Periscope Further Improving the Scalability of the Scalasca Toolset

rawbooktitle:
{Applied Parallel and Scientific Computing: 10th International Conference, PARA 2010, Reykjav{\'\i}k, Iceland, June 6--9, 2010, Revised Selected Papers, Part II}

rawtitle:
{Applied Parallel and Scientific Computing: 10th International Conference, PARA 2010, Reykjav{\'\i}k, Iceland, June 6--9, 2010, Revised Selected Papers, Part II}

rawTOC:
Free Energy Monte Carlo Simulations on a Distributed Network \\ Numerical Investigation of the Cumulant Expansion for Fourier Path Integrals \\ Optimization of Functionals of Orthonormal Functions in the Absence of Unitary Invariance \\ Simulated Annealing with Coarse Graining and Distributed Computing \\ Path Optimization with Application to Tunneling \\ Shallow Water Simulations on Multiple GPUs \\ High Performance Computing Techniques for Scaling Image Analysis Workflows \\ Parallel Computation of Bivariate Polynomial Resultants on Graphics Processing Units \\ Accelerating Model Reduction of Large Linear Systems with Graphics Processors \\ Fast GPU-Based Fluid Simulations Using SPH \\ Toward Techniques for Auto-tuning GPU Algorithms \\ An Interval Version of the Crank-Nicolson Method \\ The First Approach \\ Parallel Detection of Interval Overlapping \\ Using the Second-Order Information in Pareto-set Computations of a Multi-criteria Problem \\ Comments on Fast and Exact Accumulation of Products \\ An Interval Finite Difference Method of Crank-Nicolson Type for Solving the One-Dimensional Heat Conduction Equation with Mixed Boundary Conditions \\ Using C-XSC for High Performance Verified Computing \\ Efficient Implementation of Interval Matrix Multiplication \\ The Computing Framework for Physics Analysis at LHCb \\ Taming the Raven \\ Testing the Random Access, Visualization and Exploration Network RAVEN \\ RAVEN \\ Boosting Data Analysis for the LHC Experiments \\ Bridging HPC and Grid File I/O with IOFSL \\ Fine Granularity Sparse QR Factorization for Multicore Based Systems \\ Mixed Precision Iterative Refinement Methods for Linear Systems: Convergence Analysis Based on Krylov Subspace Methods \\ An Implementation of the Tile QR Factorization for a GPU and Multiple CPUs \\ Efficient Reduction from Block Hessenberg Form to Hessenberg Form Using Shared Memory \\ Cache-Oblivious Algorithms and Matrix Formats for Computations on Interval Matrices \\ Parallel Solution of Narrow Banded Diagonally Dominant Linear Systems \\ An Approach for Semiautomatic Locality Optimizations Using OpenMP \\ Memory-Efficient Sierpinski-Order Traversals on Dynamically Adaptive, Recursively Structured Triangular Grids \\ Fast Wavelet Transform Utilizing a Multicore-Aware Framework \\ Direct Sparse Factorization of Blocked Saddle Point Matrices \\ Multi-Target Vectorization with MTPS C++ Generic Library \\ Analysis of Gravitational Wave Signals on Heterogeneous Architectures \\ Towards Efficient Execution of Erasure Codes on Multicore Architectures \\ Communication-Efficient Algorithms for Numerical Quantum Dynamics \\ Efficiently Implementing Monte Carlo Electrostatics Simulations on Multicore Accelerators \\ Algebraic Multigrid Solver on Clusters of CPUs and GPUs \\ Solution of Identification Problems in Computational Mechanics \\ Parallel Processing Aspects \\ ScalaTrace: Tracing, Analysis and Modeling of HPC Codes at Scale \\ A Lightweight Library for Building Scalable Tools \\ MATE: Toward Scalable Automated and Dynamic Performance Tuning Environment \\ Improving the Scalability of Performance Evaluation Tools \\ Automatic Performance Analysis of OpenMP Codes on a Scalable Shared Memory System Using Periscope \\ Further Improving the Scalability of the Scalasca Toolset

entry:
@Proceedings{Jonasson:2012:APSb,
  editor =       "Kristj{\'a}n J{\'o}nasson",
  booktitle =    "{Applied Parallel and Scientific Computing: 10th
                 International Conference, PARA 2010, Reykjav{\'\i}k,
                 Iceland, June 6--9, 2010, Revised Selected Papers, Part
                 II}",
  title =        "{Applied Parallel and Scientific Computing: 10th
                 International Conference, PARA 2010, Reykjav{\'\i}k,
                 Iceland, June 6--9, 2010, Revised Selected Papers, Part
                 II}",
  volume =       "7134",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xxviii + 477",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-28145-7",
  ISBN =         "3-642-28144-3 (print), 3-642-28145-1 (e-book)",
  ISBN-13 =      "978-3-642-28144-0 (print), 978-3-642-28145-7
                 (e-book)",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  LCCN =         "????",
  bibdate =      "Wed Dec 19 15:24:47 MST 2012",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/lncs.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28145-7",
  acknowledgement = ack-nhfb,
  tableofcontents = "Free Energy Monte Carlo Simulations on a
                 Distributed Network \\
                 Numerical Investigation of the Cumulant Expansion for
                 Fourier Path Integrals \\
                 Optimization of Functionals of Orthonormal Functions in
                 the Absence of Unitary Invariance \\
                 Simulated Annealing with Coarse Graining and
                 Distributed Computing \\
                 Path Optimization with Application to Tunneling \\
                 Shallow Water Simulations on Multiple GPUs \\
                 High Performance Computing Techniques for Scaling Image
                 Analysis Workflows \\
                 Parallel Computation of Bivariate Polynomial Resultants
                 on Graphics Processing Units \\
                 Accelerating Model Reduction of Large Linear Systems
                 with Graphics Processors \\
                 Fast GPU-Based Fluid Simulations Using SPH \\
                 Toward Techniques for Auto-tuning GPU Algorithms \\
                 An Interval Version of the Crank-Nicolson Method \\
                 The First Approach \\
                 Parallel Detection of Interval Overlapping \\
                 Using the Second-Order Information in Pareto-set
                 Computations of a Multi-criteria Problem \\
                 Comments on Fast and Exact Accumulation of Products \\
                 An Interval Finite Difference Method of Crank-Nicolson
                 Type for Solving the One-Dimensional Heat Conduction
                 Equation with Mixed Boundary Conditions \\
                 Using C-XSC for High Performance Verified Computing \\
                 Efficient Implementation of Interval Matrix
                 Multiplication \\
                 The Computing Framework for Physics Analysis at LHCb
                 \\
                 Taming the Raven \\
                 Testing the Random Access, Visualization and
                 Exploration Network RAVEN \\
                 RAVEN \\
                 Boosting Data Analysis for the LHC Experiments \\
                 Bridging HPC and Grid File I/O with IOFSL \\
                 Fine Granularity Sparse QR Factorization for Multicore
                 Based Systems \\
                 Mixed Precision Iterative Refinement Methods for Linear
                 Systems: Convergence Analysis Based on Krylov Subspace
                 Methods \\
                 An Implementation of the Tile QR Factorization for a
                 GPU and Multiple CPUs \\
                 Efficient Reduction from Block Hessenberg Form to
                 Hessenberg Form Using Shared Memory \\
                 Cache-Oblivious Algorithms and Matrix Formats for
                 Computations on Interval Matrices \\
                 Parallel Solution of Narrow Banded Diagonally Dominant
                 Linear Systems \\
                 An Approach for Semiautomatic Locality Optimizations
                 Using OpenMP \\
                 Memory-Efficient Sierpinski-Order Traversals on
                 Dynamically Adaptive, Recursively Structured Triangular
                 Grids \\
                 Fast Wavelet Transform Utilizing a Multicore-Aware
                 Framework \\
                 Direct Sparse Factorization of Blocked Saddle Point
                 Matrices \\
                 Multi-Target Vectorization with MTPS C++ Generic
                 Library \\
                 Analysis of Gravitational Wave Signals on Heterogeneous
                 Architectures \\
                 Towards Efficient Execution of Erasure Codes on
                 Multicore Architectures \\
                 Communication-Efficient Algorithms for Numerical
                 Quantum Dynamics \\
                 Efficiently Implementing Monte Carlo Electrostatics
                 Simulations on Multicore Accelerators \\
                 Algebraic Multigrid Solver on Clusters of CPUs and GPUs
                 \\
                 Solution of Identification Problems in Computational
                 Mechanics \\
                 Parallel Processing Aspects \\
                 ScalaTrace: Tracing, Analysis and Modeling of HPC Codes
                 at Scale \\
                 A Lightweight Library for Building Scalable Tools \\
                 MATE: Toward Scalable Automated and Dynamic Performance
                 Tuning Environment \\
                 Improving the Scalability of Performance Evaluation
                 Tools \\
                 Automatic Performance Analysis of OpenMP Codes on a
                 Scalable Shared Memory System Using Periscope \\
                 Further Improving the Scalability of the Scalasca
                 Toolset",
}


bibtype: proceedings
filename: fparith.bib
label: IEEE:2013:PIS
editor: IEEE
booktitle: Proceedings of the 21st IEEE Symposium on Computer Arithmetic, Austin, Texas, USA, 8--10 April 2013
title: Proceedings of the 21st IEEE Symposium on Computer Arithmetic, Austin, Texas, USA, 8--10 April 2013
publisher: pub-IEEE
address: pub-IEEE:adr
pages: xvi + 229
year: 2013
ISBN: 0-7695-4957-8 OR 0769549578
ISBN13: 978-0-7695-4957-6 OR 9780769549576
ISSN: 1063-6889 OR 10636889
LCCN: QA76.9.C62 S95 2013
bibdate: Sat Aug 01 08:03:11 2013
bibtimestamp: 2013.08.01 08:03:11 ???
acknowledgement: ack-nhfb
raweditor: {IEEE}
bibsource:
https://www.math.utah.edu/pub/tex/bib/cryptography2010.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/mathcw.bib

keywords:
ARITH-21; computer arithmetic units; correctness proofs; cryptography; domain specific designs; error analysis; exascale computing; floating point arithmetic; floating-point error analysis; formal verification; function approximation; modular arithmetic; theorem proving; verification

rawbooktitle:
{Proceedings of the 21st IEEE Symposium on Computer Arithmetic, Austin, Texas, USA, 8--10 April 2013}

rawtitle:
{Proceedings of the 21st IEEE Symposium on Computer Arithmetic, Austin, Texas, USA, 8--10 April 2013}

entry:
@Proceedings{IEEE:2013:PIS,
  editor =       "{IEEE}",
  booktitle =    "{Proceedings of the 21st IEEE Symposium on Computer
                 Arithmetic, Austin, Texas, USA, 8--10 April 2013}",
  title =        "{Proceedings of the 21st IEEE Symposium on Computer
                 Arithmetic, Austin, Texas, USA, 8--10 April 2013}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xvi + 229",
  year =         "2013",
  ISBN =         "0-7695-4957-8",
  ISBN-13 =      "978-0-7695-4957-6",
  ISSN =         "1063-6889",
  LCCN =         "QA76.9.C62 S95 2013",
  bibdate =      "Sat Aug 01 08:03:11 2013",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/cryptography2010.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/mathcw.bib",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-21; computer arithmetic units; correctness
                 proofs; cryptography; domain specific designs; error
                 analysis; exascale computing; floating point
                 arithmetic; floating-point error analysis; formal
                 verification; function approximation; modular
                 arithmetic; theorem proving; verification",
}


bibtype: proceedings
filename: fparith.bib
label: Butler:2015:FMS
editor: Michael Butler and Sylvain Conchon and Fatiha Zaidi
volume: 9407
publisher: Springer International Publishing
address: Cham, Switzerland
pages: xxv + 436 + 150
year: 2015
DOI: https://doi.org/10.1007/978-3-319-25423-4
ISBN: 3-319-25422-7 (paperback), 3-319-25423-5 (e-book) OR 3319254227 (paperback), 3319254235 (ebook)
ISSN: 0302-9743 (print), 1611-3349 (electronic) OR 03029743 (print), 16113349 (electronic)
ISSNL: 0302-9743 OR 03029743
LCCN: QA76.758
bibdate: Fri Jan 31 15:45:10 MST 2020
bibtimestamp: 2020.01.31 15:45:10 MST
series: ser-LNCS
URL: http://link.springer.com/10.1007/978-3-319-25423-4
acknowledgement: ack-nhfb
raweditor: Michael Butler and Sylvain Conchon and Fatiha Za{\"i}di
booktitle:
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3--5, 2015, Proceedings

title:
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3--5, 2015, Proceedings

ISBN13:
978-3-319-25422-7 (paperback), 978-3-319-25423-4 (e-book) OR 9783319254227 (paperback), 9783319254234 (ebook)

bibsource:
fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/java2010.bib

abstract:
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

subject:
Computer science; Computer networks; Computer programming; Software engineering; Programming languages (Electronic computers); Algorithms; Logic, Symbolic and mathematical; Algorithms; Computer networks; Computer programming; Computer science; Logic, Symbolic and mathematical; Programming languages (Electronic computers); Software engineering; Computers; Programming; General; Programming Languages; Algorithms; Mathematics; Logic; Hardware; Network Hardware; software development; Programming and scripting languages: general; Algorithms and data structures; Mathematical theory of computation; Network hardware; Software Development and Engineering; Software Engineering

TOC:
Intro Preface Organization Invited Talks Can Java Ever Be Safe? The hiJaC Project Abstract Specification and Analysis of SoC Flows (Abstract) Algorithmic Analysis for Asynchronous Programs Contents Domain-Specific Languages with Scala 1 Introduction 2 External DSLs 2.1 The Parser Library Approach 2.2 The Parser Tool Approach 3 Internal DSLs 3.1 Annotations 3.2 Shallow Embedding 3.3 Deep Embedding 4 Discussion 5 Conclusions References Formal Verification of Programs Computing the Floating-Point Average 1 Introduction 2 Basics About Floating-Point Arithmetic 3 Methodology and Desired Specification 3.1 Methodology 3.2 Desired Specification 4 Formal Proof of the Algorithms 4.1 The average1 Function 4.2 The average3 Function 4.3 The average2 Function 4.4 Putting All Parts Together: The Average Functions 5 Specifications and Formal Verification of the Programs 5.1 Absolute Value 5.2 Accurate Average 5.3 Correct Average 6 Conclusion and Perspectives References Formalization and Verification of Declarative Cloud Orchestration 1 Introduction 2 TOSCA: Topology and Orchestration Specification for Cloud Application 3 Model of Automation of Topologies 4 CafeOBJ Specification of Model 5 Verification of Setup Operation 5.1 Proof Score for Condition (1) 5.2 Cyclic Dependency 5.3 Proof Score for Condition (2) 5.4 Proof Scores for Condition (3), (4), (5) and (6) 6 Related Work and Conclusion References Consistency Verification of Specification Rules 1 Introduction 2 Background 2.1 Constraints Satisfiability 2.2 Rules Consistency 3 Relationship Between MISes and MUSes 4 An Efficient Algorithm for Enumerating MUSes 4.1 The MARCO algorithm 4.2 The MUSesHunter Algorithm 4.3 Comparing MARCO and MUSesHunter 5 Empirical Analysis 5.1 MUSesHunter vs. MARCO 5.2 MISes Finder 6 Conclusion References Applying Automata Learning to Embedded Control Software 1 Introduction 2 Engine Status Manager 2.1 ESRA 2.2 ESM and Connected Components 2.3 Rational Rose RealTime 2.4 The ESM State Diagram 3 Learning the ESM 3.1 Experimental Set-Up 3.2 Test Selection Strategies 3.3 Results 4 Verification 4.1 Approach 4.2 Model Transformations 4.3 Results 5 Conclusions and Future Work References A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information 1 Introduction 2 Computation Tree Logic and Kripke Structures 2.1 Kripke Modal Transition System 2.2 KMTS as a Set of Kripke Structures 3 Semantics of CTL with Respect to KMTS 4 KMTS Operations 4.1 Dealing with Sets of KMTSs 4.2 Tree Partition Set 5 The Contraction Model Checking 6 Conclusions References Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction 1 Introduction 2 Major Ideas of PBFSRA 2.1 Principle of PBFSRA 2.2 Procedure of Applying PBFSRA

rawabstract:
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

rawbooktitle:
{Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3--5, 2015, Proceedings}

rawtitle:
{Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3--5, 2015, Proceedings}

rawTOC:
Intro \\ Preface \\ Organization \\ Invited Talks \\ Can Java Ever Be Safe? The hiJaC Project Abstract \\ Specification and Analysis of SoC Flows (Abstract) \\ Algorithmic Analysis for Asynchronous Programs \\ Contents \\ Domain-Specific Languages with Scala \\ 1 Introduction \\ 2 External DSLs \\ 2.1 The Parser Library Approach \\ 2.2 The Parser Tool Approach \\ 3 Internal DSLs \\ 3.1 Annotations \\ 3.2 Shallow Embedding \\ 3.3 Deep Embedding \\ 4 Discussion \\ 5 Conclusions \\ References \\ Formal Verification of Programs Computing the Floating-Point Average \\ 1 Introduction \\ 2 Basics About Floating-Point Arithmetic \\ 3 Methodology and Desired Specification \\ 3.1 Methodology \\ 3.2 Desired Specification \\ 4 Formal Proof of the Algorithms \\ 4.1 The average1 Function \\ 4.2 The average3 Function \\ 4.3 The average2 Function \\ 4.4 Putting All Parts Together: The Average Functions \\ 5 Specifications and Formal Verification of the Programs \\ 5.1 Absolute Value \\ 5.2 Accurate Average \\ 5.3 Correct Average \\ 6 Conclusion and Perspectives \\ References \\ Formalization and Verification of Declarative Cloud Orchestration \\ 1 Introduction \\ 2 TOSCA: Topology and Orchestration Specification for Cloud Application \\ 3 Model of Automation of Topologies \\ 4 CafeOBJ Specification of Model \\ 5 Verification of Setup Operation \\ 5.1 Proof Score for Condition (1) \\ 5.2 Cyclic Dependency \\ 5.3 Proof Score for Condition (2) \\ 5.4 Proof Scores for Condition (3), (4), (5) and (6) \\ 6 Related Work and Conclusion \\ References \\ Consistency Verification of Specification Rules \\ 1 Introduction \\ 2 Background \\ 2.1 Constraints Satisfiability \\ 2.2 Rules Consistency \\ 3 Relationship Between MISes and MUSes \\ 4 An Efficient Algorithm for Enumerating MUSes \\ 4.1 The MARCO algorithm \\ 4.2 The MUSesHunter Algorithm \\ 4.3 Comparing MARCO and MUSesHunter \\ 5 Empirical Analysis \\ 5.1 MUSesHunter vs. MARCO \\ 5.2 MISes Finder \\ 6 Conclusion \\ References \\ Applying Automata Learning to Embedded Control Software \\ 1 Introduction \\ 2 Engine Status Manager \\ 2.1 ESRA \\ 2.2 ESM and Connected Components \\ 2.3 Rational Rose RealTime \\ 2.4 The ESM State Diagram \\ 3 Learning the ESM \\ 3.1 Experimental Set-Up \\ 3.2 Test Selection Strategies \\ 3.3 Results \\ 4 Verification \\ 4.1 Approach \\ 4.2 Model Transformations \\ 4.3 Results \\ 5 Conclusions and Future Work \\ References \\ A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information \\ 1 Introduction \\ 2 Computation Tree Logic and Kripke Structures \\ 2.1 Kripke Modal Transition System \\ 2.2 KMTS as a Set of Kripke Structures \\ 3 Semantics of CTL with Respect to KMTS \\ 4 KMTS Operations \\ 4.1 Dealing with Sets of KMTSs \\ 4.2 Tree Partition Set \\ 5 The Contraction Model Checking \\ 6 Conclusions \\ References \\ Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction \\ 1 Introduction \\ 2 Major Ideas of PBFSRA \\ 2.1 Principle of PBFSRA \\ 2.2 Procedure of Applying PBFSRA

entry:
@Proceedings{Butler:2015:FMS,
  editor =       "Michael Butler and Sylvain Conchon and Fatiha
                 Za{\"i}di",
  booktitle =    "{Formal Methods and Software Engineering: 17th
                 International Conference on Formal Engineering Methods,
                 ICFEM 2015, Paris, France, November 3--5, 2015,
                 Proceedings}",
  title =        "{Formal Methods and Software Engineering: 17th
                 International Conference on Formal Engineering Methods,
                 ICFEM 2015, Paris, France, November 3--5, 2015,
                 Proceedings}",
  volume =       "9407",
  publisher =    "Springer International Publishing",
  address =      "Cham, Switzerland",
  pages =        "xxv + 436 + 150",
  year =         "2015",
  DOI =          "https://doi.org/10.1007/978-3-319-25423-4",
  ISBN =         "3-319-25422-7 (paperback), 3-319-25423-5 (e-book)",
  ISBN-13 =      "978-3-319-25422-7 (paperback), 978-3-319-25423-4
                 (e-book)",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  LCCN =         "QA76.758",
  bibdate =      "Fri Jan 31 15:45:10 MST 2020",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/java2010.bib",
  series =       ser-LNCS,
  URL =          "http://link.springer.com/10.1007/978-3-319-25423-4",
  abstract =     "This book constitutes the refereed proceedings of the
                 17th International Conference on Formal Engineering
                 Methods, ICFEM 2015, held in Paris, France, in November
                 2015. The 27 revised full papers presented were
                 carefully reviewed and selected from 82 submissions.
                 The papers cover a wide range of topics in the area of
                 formal methods and software engineering and are devoted
                 to advancing the state of the art of applying formal
                 methods in practice. They focus in particular on
                 combinations of conceptual and methodological aspects
                 with their formal foundation and tool support.",
  acknowledgement = ack-nhfb,
  subject =      "Computer science; Computer networks; Computer
                 programming; Software engineering; Programming
                 languages (Electronic computers); Algorithms; Logic,
                 Symbolic and mathematical; Algorithms; Computer
                 networks; Computer programming; Computer science;
                 Logic, Symbolic and mathematical; Programming languages
                 (Electronic computers); Software engineering;
                 Computers; Programming; General; Programming Languages;
                 Algorithms; Mathematics; Logic; Hardware; Network
                 Hardware; software development; Programming and
                 scripting languages: general; Algorithms and data
                 structures; Mathematical theory of computation; Network
                 hardware; Software Development and Engineering;
                 Software Engineering",
  tableofcontents = "Intro \\
                 Preface \\
                 Organization \\
                 Invited Talks \\
                 Can Java Ever Be Safe? The hiJaC Project Abstract \\
                 Specification and Analysis of SoC Flows (Abstract) \\
                 Algorithmic Analysis for Asynchronous Programs \\
                 Contents \\
                 Domain-Specific Languages with Scala \\
                 1 Introduction \\
                 2 External DSLs \\
                 2.1 The Parser Library Approach \\
                 2.2 The Parser Tool Approach \\
                 3 Internal DSLs \\
                 3.1 Annotations \\
                 3.2 Shallow Embedding \\
                 3.3 Deep Embedding \\
                 4 Discussion \\
                 5 Conclusions \\
                 References \\
                 Formal Verification of Programs Computing the
                 Floating-Point Average \\
                 1 Introduction \\
                 2 Basics About Floating-Point Arithmetic \\
                 3 Methodology and Desired Specification \\
                 3.1 Methodology \\
                 3.2 Desired Specification \\
                 4 Formal Proof of the Algorithms \\
                 4.1 The average1 Function \\
                 4.2 The average3 Function \\
                 4.3 The average2 Function \\
                 4.4 Putting All Parts Together: The Average Functions
                 \\
                 5 Specifications and Formal Verification of the
                 Programs \\
                 5.1 Absolute Value \\
                 5.2 Accurate Average \\
                 5.3 Correct Average \\
                 6 Conclusion and Perspectives \\
                 References \\
                 Formalization and Verification of Declarative Cloud
                 Orchestration \\
                 1 Introduction \\
                 2 TOSCA: Topology and Orchestration Specification for
                 Cloud Application \\
                 3 Model of Automation of Topologies \\
                 4 CafeOBJ Specification of Model \\
                 5 Verification of Setup Operation \\
                 5.1 Proof Score for Condition (1) \\
                 5.2 Cyclic Dependency \\
                 5.3 Proof Score for Condition (2) \\
                 5.4 Proof Scores for Condition (3), (4), (5) and (6)
                 \\
                 6 Related Work and Conclusion \\
                 References \\
                 Consistency Verification of Specification Rules \\
                 1 Introduction \\
                 2 Background \\
                 2.1 Constraints Satisfiability \\
                 2.2 Rules Consistency \\
                 3 Relationship Between MISes and MUSes \\
                 4 An Efficient Algorithm for Enumerating MUSes \\
                 4.1 The MARCO algorithm \\
                 4.2 The MUSesHunter Algorithm \\
                 4.3 Comparing MARCO and MUSesHunter \\
                 5 Empirical Analysis \\
                 5.1 MUSesHunter vs. MARCO \\
                 5.2 MISes Finder \\
                 6 Conclusion \\
                 References \\
                 Applying Automata Learning to Embedded Control Software
                 \\
                 1 Introduction \\
                 2 Engine Status Manager \\
                 2.1 ESRA \\
                 2.2 ESM and Connected Components \\
                 2.3 Rational Rose RealTime \\
                 2.4 The ESM State Diagram \\
                 3 Learning the ESM \\
                 3.1 Experimental Set-Up \\
                 3.2 Test Selection Strategies \\
                 3.3 Results \\
                 4 Verification \\
                 4.1 Approach \\
                 4.2 Model Transformations \\
                 4.3 Results \\
                 5 Conclusions and Future Work \\
                 References \\
                 A 3-Valued Contraction Model Checking Game: Deciding on
                 the World of Partial Information \\
                 1 Introduction \\
                 2 Computation Tree Logic and Kripke Structures \\
                 2.1 Kripke Modal Transition System \\
                 2.2 KMTS as a Set of Kripke Structures \\
                 3 Semantics of CTL with Respect to KMTS \\
                 4 KMTS Operations \\
                 4.1 Dealing with Sets of KMTSs \\
                 4.2 Tree Partition Set \\
                 5 The Contraction Model Checking \\
                 6 Conclusions \\
                 References \\
                 Supporting Requirements Analysis Using Pattern-Based
                 Formal Specification Construction \\
                 1 Introduction \\
                 2 Major Ideas of PBFSRA \\
                 2.1 Principle of PBFSRA \\
                 2.2 Procedure of Applying PBFSRA",
}


bibtype: book
filename: fparith.bib
label: Higham:2015:PCA
booktitle: The Princeton Companion to Applied Mathematics
title: The Princeton Companion to Applied Mathematics
publisher: pub-PRINCETON
address: pub-PRINCETON:adr
pages: 994 (est.)
year: 2015
ISBN: 0-691-15039-7 (hardcover) OR 0691150397 (hardcover)
ISBN13: 978-0-691-15039-0 (hardcover) OR 9780691150390 (hardcover)
LCCN: QA155 .P75 2015
bibdate: Wed Sep 9 05:32:49 MDT 2015
bibtimestamp: 2015.09.09 05:32:49 MDT
subject: Algebra; Mathematics; Mathematical models
acknowledgement: ack-nhfb
rawbooktitle: The {Princeton} Companion to Applied Mathematics
rawtitle: The {Princeton} Companion to Applied Mathematics
editor:
Nicholas J. Higham and Mark R. Dennis and Paul Glendinning and Paul A. Martin and Fadil Santosa and Jared Tanner

bibsource:
https://www.math.utah.edu/pub/bibnet/authors/h/higham-nicholas-john.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/prng.bib; z3950.loc.gov:7090/Voyager

TOC:
Preface / ix Contributors / xiii Part I: Introduction to Applied Mathematics I.1 What Is Applied Mathematics? / 1 I.2 The Language of Applied Mathematics / 8 I.3 Methods of Solution / 27 I.4 Algorithms / 40 I.5 Goals of Applied Mathematical Research / 48 I.6 The History of Applied Mathematics / 55 Part II: Concepts II.1 Asymptotics / 81 II.2 Boundary Layer / 82 II.3 Chaos and Ergodicity / 82 II.4 Complex Systems / 83 II.5 Conformal Mapping / 84 II.6 Conservation Laws / 86 II.7 Control / 88 II.8 Convexity / 89 II.9 Dimensional Analysis and Scaling / 90 II.10 The Fast Fourier Transform / 94 II.11 Finite Differences / 95 II.12 The Finite-Element Method / 96 II.13 Floating-Point Arithmetic / 96 II.14 Functions of Matrices / 97 II.15 Function Spaces / 99 II.16 Graph Theory / 101 II.17 Homogenization / 103 II.18 Hybrid Systems / 103 II.19 Integral Transforms and Convolution / 104 II.20 Interval Analysis / 105 II.21 Invariants and Conservation Laws / 106 II.22 The Jordan Canonical Form / 112 II.23 Krylov Subspaces / 113 II.24 The Level Set Method / 114 II.25 Markov Chains / 116 II.26 Model Reduction / 117 II.27 Multiscale Modeling / 119 II.28 Nonlinear Equations and Newton's Method / 120 II.29 Orthogonal Polynomials / 122 II.30 Shocks / 122 II.31 Singularities / 124 II.32 The Singular Value Decomposition / 126 II.33 Tensors and Manifolds / 127 II.34 Uncertainty Quantification / 131 II.35 Variational Principle / 134 II.36 Wave Phenomena / 134 Part III: Equations, Laws, and Functions of Applied Mathematics III.1 Benford's Law / 135 III.2 Bessel Functions / 137 III.3 The Black--Scholes Equation / 137 III.4 The Burgers Equation / 138 III.5 The Cahn--Hilliard Equation / 138 III.6 The Cauchy--Riemann Equations / 139 III.7 The Delta Function and Generalized Functions / 139 III.8 The Diffusion Equation / 142 III.9 The Dirac Equation / 142 III.10 Einstein's Field Equations / 144 III.11 The Euler Equations / 146 III.12 The Euler--Lagrange Equations / 147 III.13 The Gamma Function / 148 III.14 The Ginzburg--Landau Equation / 148 III.15 Hooke's Law / 149 III.16 The Korteweg--de Vries Equation / 150 III.17 The Lambert $W$ Function / 151 III.18 Laplace's Equation / 155 III.19 The Logistic Equation / 156 III.20 The Lorenz Equations / 158 III.21 Mathieu Functions / 159 III.22 Maxwell's Equations / 160 III.23 The Navier--Stokes Equations / 162 III.24 The Painleve Equations / 163 III.25 The Riccati Equation / 165 III.26 Schrodinger's Equation / 167 III.27 The Shallow-Water Equations / 167 III.28 The Sylvester and Lyapunov Equations / 168 III.29 The Thin-Film Equation / 169 III.30 The Tricomi Equation / 170 III.31 The Wave Equation / 171 Part IV: Areas of Applied Mathematics IV.1 Complex Analysis / 173 IV.2 Ordinary Differential Equations / 181 IV.3 Partial Differential Equations / 190 IV.4 Integral Equations / 200 IV.5 Perturbation Theory and Asymptotics / 208 IV.6 Calculus of Variations / 218 IV.7 Special Functions / 227 IV.8 Spectral Theory / 236 IV.9 Approximation Theory / 248 IV.10 Numerical Linear Algebra and Matrix Analysis / 263 IV.11 Continuous Optimization (Nonlinear and Linear Programming) / 281 IV.12 Numerical Solution of Ordinary Differential Equations / 293 IV.13 Numerical Solution of Partial Differential Equations / 306 IV.14 Applications of Stochastic Analysis / 319 IV.15 Inverse Problems / 327 IV.16 Computational Science / 335 IV.17 Data Mining and Analysis / 350 IV.18 Network Analysis / 360 IV.19 Classical Mechanics / 374 IV.20 Dynamical Systems / 383 IV.21 Bifurcation Theory / 393 IV.22 Symmetry in Applied Mathematics / 402 IV.23 Quantum Mechanics / 411 IV.24 Random-Matrix Theory / 419 IV.25 Kinetic Theory / 428 IV.26 Continuum Mechanics / 446 IV.27 Pattern Formation / 458 IV.28 Fluid Dynamics / 467 IV.29 Magnetohydrodynamics / 476 IV.30 Earth System Dynamics / 485 IV.31 Effective Medium Theories / 500 IV.32 Mechanics of Solids / 505 IV.33 Soft Matter / 516 IV.34 Control Theory / 523 IV.35 Signal Processing / 533 IV.36 Information Theory / 545 IV.37 Applied Combinatorics and Graph Theory / 552 IV.38 Combinatorial Optimization / 564 IV.39 Algebraic Geometry / 570 IV.40 General Relativity and Cosmology / 579 Part V: Modeling V.1 The Mathematics of Adaptation (Or the Ten Avatars of Vishnu) / 591 V.2 Sport / 598 V.3 Inerters / 604 V.4 Mathematical Biomechanics / 609 V.5 Mathematical Physiology / 616 V.6 Cardiac Modeling / 623 V.7 Chemical Reactions / 627 V.8 Divergent Series: Taming the Tails / 634 V.9 Financial Mathematics / 640 V.10 Portfolio Theory / 648 V.11 Bayesian Inference in Applied Mathematics / 658 V.12 A Symmetric Framework with Many Applications / 661 V.13 Granular Flows / 665 V.14 Modern Optics / 673 V.15 Numerical Relativity / 680 V.16 The Spread of Infectious Diseases / 687 V.17 The Mathematics of Sea Ice / 694 V.18 Numerical Weather Prediction / 705 V.19 Tsunami Modeling / 712 V.20 Shock Waves / 720 V.21 Turbulence / 724 Part VI: Example Problems VI.1 Cloaking / 733 VI.2 Bubbles / 735 VI.3 Foams / 737 VI.4 Inverted Pendulums / 741 VI.5 Insect Flight / 743 VI.6 The Flight of a Golf Ball / 746 VI.7 Automatic Differentiation / 749 VI.8 Knotting and Linking of Macromolecules / 752 VI.9 Ranking Web Pages / 755 VI.10 Searching a Graph / 757 VI.11 Evaluating Elementary Functions / 759 VI.12 Random Number Generation / 761 VI.13 Optimal Sensor Location in the Control of Energy-Efficient Buildings / 763 VI.14 Robotics / 767 VI.15 Slipping, Sliding, Rattling, and Impact: Nonsmooth Dynamics and Its Applications / 769 VI.16 From the $N$-Body Problem to Astronomy and Dark Matter / 771 VI.17 The $N$-Body Problem and the Fast Multipole Method / 775 VI.18 The Traveling Salesman Problem / 778 Part VII: Application Areas VII.1 Aircraft Noise / 783 VII.2 A Hybrid Symbolic--Numeric Approach to Geometry Processing and Modeling / 787 VII.3 Computer-Aided Proofs via Interval Analysis / 790 VII.4 Applications of Max-Plus Algebra / 795 VII.5 Evolving Social Networks, Attitudes, and Beliefs --- and Counterterrorism / 800 VII.6 Chip Design / 804 VII.7 Color Spaces and Digital Imaging / 808 VII.8 Mathematical Image Processing / 813 VII.9 Medical Imaging / 816 VII.10 Compressed Sensing / 823 VII.11 Programming Languages: An Applied Mathematics View / 828 VII.12 High-Performance Computing / 839 VII.13 Visualization / 843 VII.14 Electronic Structure Calculations (Solid State Physics) / 847 VII.15 Flame Propagation / 852 VII.16 Imaging the Earth Using Green's Theorem / 857 VII.17 Radar Imaging / 860 VII.18 Modeling a Pregnancy Testing Kit / 864 VII.19 Airport Baggage Screening with X-Ray Tomography / 866 VII.20 Mathematical Economics / 868 VII.21 Mathematical Neuroscience / 873 VII.22 Systems Biology / 879 VII.23 Communication Networks / 883 VII.24 Text Mining / 887 VII.25 Voting Systems / 891 Part VIII: Final Perspectives VIII.1 Mathematical Writing / 897 VIII.2 How to Read and Understand a Paper / 903 VIII.3 How to Write a General Interest Mathematics Book / 906 VIII.4 Workflow / 912 VIII.5 Reproducible Research in the Mathematical Sciences / 916 VIII.6 Experimental Applied Mathematics / 925 VIII.7 Teaching Applied Mathematics / 933 VIII.8 Mediated Mathematics: Representations of Mathematics in Popular Culture and Why These Matter / 943 VIII.9 Mathematics and Policy / 953 Index / 963

raweditor:
Nicholas J. Higham and Mark R. Dennis and Paul Glendinning and Paul A. Martin and Fadil Santosa and Jared Tanner

rawTOC:
Preface / ix \\ Contributors / xiii \\ Part I: Introduction to Applied Mathematics \\ I.1 What Is Applied Mathematics? / 1 \\ I.2 The Language of Applied Mathematics / 8 \\ I.3 Methods of Solution / 27 \\ I.4 Algorithms / 40 \\ I.5 Goals of Applied Mathematical Research / 48 \\ I.6 The History of Applied Mathematics / 55 \\ Part II: Concepts \\ II.1 Asymptotics / 81 \\ II.2 Boundary Layer / 82 \\ II.3 Chaos and Ergodicity / 82 \\ II.4 Complex Systems / 83 \\ II.5 Conformal Mapping / 84 \\ II.6 Conservation Laws / 86 \\ II.7 Control / 88 \\ II.8 Convexity / 89 \\ II.9 Dimensional Analysis and Scaling / 90 \\ II.10 The Fast Fourier Transform / 94 \\ II.11 Finite Differences / 95 \\ II.12 The Finite-Element Method / 96 \\ II.13 Floating-Point Arithmetic / 96 \\ II.14 Functions of Matrices / 97 \\ II.15 Function Spaces / 99 \\ II.16 Graph Theory / 101 \\ II.17 Homogenization / 103 \\ II.18 Hybrid Systems / 103 \\ II.19 Integral Transforms and Convolution / 104 \\ II.20 Interval Analysis / 105 \\ II.21 Invariants and Conservation Laws / 106 \\ II.22 The Jordan Canonical Form / 112 \\ II.23 Krylov Subspaces / 113 \\ II.24 The Level Set Method / 114 \\ II.25 Markov Chains / 116 \\ II.26 Model Reduction / 117 \\ II.27 Multiscale Modeling / 119 \\ II.28 Nonlinear Equations and Newton's Method / 120 \\ II.29 Orthogonal Polynomials / 122 \\ II.30 Shocks / 122 \\ II.31 Singularities / 124 \\ II.32 The Singular Value Decomposition / 126 \\ II.33 Tensors and Manifolds / 127 \\ II.34 Uncertainty Quantification / 131 \\ II.35 Variational Principle / 134 \\ II.36 Wave Phenomena / 134 \\ Part III: Equations, Laws, and Functions of Applied Mathematics \\ III.1 Benford's Law / 135 \\ III.2 Bessel Functions / 137 \\ III.3 The Black--Scholes Equation / 137 \\ III.4 The Burgers Equation / 138 \\ III.5 The Cahn--Hilliard Equation / 138 \\ III.6 The Cauchy--Riemann Equations / 139 \\ III.7 The Delta Function and Generalized Functions / 139 \\ III.8 The Diffusion Equation / 142 \\ III.9 The Dirac Equation / 142 \\ III.10 Einstein's Field Equations / 144 \\ III.11 The Euler Equations / 146 \\ III.12 The Euler--Lagrange Equations / 147 \\ III.13 The Gamma Function / 148 \\ III.14 The Ginzburg--Landau Equation / 148 \\ III.15 Hooke's Law / 149 \\ III.16 The Korteweg--de Vries Equation / 150 \\ III.17 The Lambert $W$ Function / 151 \\ III.18 Laplace's Equation / 155 \\ III.19 The Logistic Equation / 156 \\ III.20 The Lorenz Equations / 158 \\ III.21 Mathieu Functions / 159 \\ III.22 Maxwell's Equations / 160 \\ III.23 The Navier--Stokes Equations / 162 \\ III.24 The Painlev{\'e} Equations / 163 \\ III.25 The Riccati Equation / 165 \\ III.26 Schr{\"o}dinger's Equation / 167 \\ III.27 The Shallow-Water Equations / 167 \\ III.28 The Sylvester and Lyapunov Equations / 168 \\ III.29 The Thin-Film Equation / 169 \\ III.30 The Tricomi Equation / 170 \\ III.31 The Wave Equation / 171 \\ Part IV: Areas of Applied Mathematics \\ IV.1 Complex Analysis / 173 \\ IV.2 Ordinary Differential Equations / 181 \\ IV.3 Partial Differential Equations / 190 \\ IV.4 Integral Equations / 200 \\ IV.5 Perturbation Theory and Asymptotics / 208 \\ IV.6 Calculus of Variations / 218 \\ IV.7 Special Functions / 227 \\ IV.8 Spectral Theory / 236 \\ IV.9 Approximation Theory / 248 \\ IV.10 Numerical Linear Algebra and Matrix Analysis / 263 \\ IV.11 Continuous Optimization (Nonlinear and Linear Programming) / 281 \\ IV.12 Numerical Solution of Ordinary Differential Equations / 293 \\ IV.13 Numerical Solution of Partial Differential Equations / 306 \\ IV.14 Applications of Stochastic Analysis / 319 \\ IV.15 Inverse Problems / 327 \\ IV.16 Computational Science / 335 \\ IV.17 Data Mining and Analysis / 350 \\ IV.18 Network Analysis / 360 \\ IV.19 Classical Mechanics / 374 \\ IV.20 Dynamical Systems / 383 \\ IV.21 Bifurcation Theory / 393 \\ IV.22 Symmetry in Applied Mathematics / 402 \\ IV.23 Quantum Mechanics / 411 \\ IV.24 Random-Matrix Theory / 419 \\ IV.25 Kinetic Theory / 428 \\ IV.26 Continuum Mechanics / 446 \\ IV.27 Pattern Formation / 458 \\ IV.28 Fluid Dynamics / 467 \\ IV.29 Magnetohydrodynamics / 476 \\ IV.30 Earth System Dynamics / 485 \\ IV.31 Effective Medium Theories / 500 \\ IV.32 Mechanics of Solids / 505 \\ IV.33 Soft Matter / 516 \\ IV.34 Control Theory / 523 \\ IV.35 Signal Processing / 533 \\ IV.36 Information Theory / 545 \\ IV.37 Applied Combinatorics and Graph Theory / 552 \\ IV.38 Combinatorial Optimization / 564 \\ IV.39 Algebraic Geometry / 570 \\ IV.40 General Relativity and Cosmology / 579 \\ Part V: Modeling \\ V.1 The Mathematics of Adaptation (Or the Ten Avatars of Vishnu) / 591 \\ V.2 Sport / 598 \\ V.3 Inerters / 604 \\ V.4 Mathematical Biomechanics / 609 \\ V.5 Mathematical Physiology / 616 \\ V.6 Cardiac Modeling / 623 \\ V.7 Chemical Reactions / 627 \\ V.8 Divergent Series: Taming the Tails / 634 \\ V.9 Financial Mathematics / 640 \\ V.10 Portfolio Theory / 648 \\ V.11 Bayesian Inference in Applied Mathematics / 658 \\ V.12 A Symmetric Framework with Many Applications / 661 \\ V.13 Granular Flows / 665 \\ V.14 Modern Optics / 673 \\ V.15 Numerical Relativity / 680 \\ V.16 The Spread of Infectious Diseases / 687 \\ V.17 The Mathematics of Sea Ice / 694 \\ V.18 Numerical Weather Prediction / 705 \\ V.19 Tsunami Modeling / 712 \\ V.20 Shock Waves / 720 \\ V.21 Turbulence / 724 \\ Part VI: Example Problems \\ VI.1 Cloaking / 733 \\ VI.2 Bubbles / 735 \\ VI.3 Foams / 737 \\ VI.4 Inverted Pendulums / 741 \\ VI.5 Insect Flight / 743 \\ VI.6 The Flight of a Golf Ball / 746 \\ VI.7 Automatic Differentiation / 749 \\ VI.8 Knotting and Linking of Macromolecules / 752 \\ VI.9 Ranking Web Pages / 755 \\ VI.10 Searching a Graph / 757 \\ VI.11 Evaluating Elementary Functions / 759 \\ VI.12 Random Number Generation / 761 \\ VI.13 Optimal Sensor Location in the Control of Energy-Efficient Buildings / 763 \\ VI.14 Robotics / 767 \\ VI.15 Slipping, Sliding, Rattling, and Impact: Nonsmooth Dynamics and Its Applications / 769 \\ VI.16 From the $N$-Body Problem to Astronomy and Dark Matter / 771 \\ VI.17 The $N$-Body Problem and the Fast Multipole Method / 775 \\ VI.18 The Traveling Salesman Problem / 778 \\ Part VII: Application Areas \\ VII.1 Aircraft Noise / 783 \\ VII.2 A Hybrid Symbolic--Numeric Approach to Geometry Processing and Modeling / 787 \\ VII.3 Computer-Aided Proofs via Interval Analysis / 790 \\ VII.4 Applications of Max-Plus Algebra / 795 \\ VII.5 Evolving Social Networks, Attitudes, and Beliefs --- and Counterterrorism / 800 \\ VII.6 Chip Design / 804 \\ VII.7 Color Spaces and Digital Imaging / 808 \\ VII.8 Mathematical Image Processing / 813 \\ VII.9 Medical Imaging / 816 \\ VII.10 Compressed Sensing / 823 \\ VII.11 Programming Languages: An Applied Mathematics View / 828 \\ VII.12 High-Performance Computing / 839 \\ VII.13 Visualization / 843 \\ VII.14 Electronic Structure Calculations (Solid State Physics) / 847 \\ VII.15 Flame Propagation / 852 \\ VII.16 Imaging the Earth Using Green's Theorem / 857 \\ VII.17 Radar Imaging / 860 \\ VII.18 Modeling a Pregnancy Testing Kit / 864 \\ VII.19 Airport Baggage Screening with X-Ray Tomography / 866 \\ VII.20 Mathematical Economics / 868 \\ VII.21 Mathematical Neuroscience / 873 \\ VII.22 Systems Biology / 879 \\ VII.23 Communication Networks / 883 \\ VII.24 Text Mining / 887 \\ VII.25 Voting Systems / 891 \\ Part VIII: Final Perspectives \\ VIII.1 Mathematical Writing / 897 \\ VIII.2 How to Read and Understand a Paper / 903 \\ VIII.3 How to Write a General Interest Mathematics Book / 906 \\ VIII.4 Workflow / 912 \\ VIII.5 Reproducible Research in the Mathematical Sciences / 916 \\ VIII.6 Experimental Applied Mathematics / 925 \\ VIII.7 Teaching Applied Mathematics / 933 \\ VIII.8 Mediated Mathematics: Representations of Mathematics in Popular Culture and Why These Matter / 943 \\ VIII.9 Mathematics and Policy / 953 \\ Index / 963

entry:
@Book{Higham:2015:PCA,
  editor =       "Nicholas J. Higham and Mark R. Dennis and Paul
                 Glendinning and Paul A. Martin and Fadil Santosa and
                 Jared Tanner",
  booktitle =    "The {Princeton} Companion to Applied Mathematics",
  title =        "The {Princeton} Companion to Applied Mathematics",
  publisher =    pub-PRINCETON,
  address =      pub-PRINCETON:adr,
  pages =        "994 (est.)",
  year =         "2015",
  ISBN =         "0-691-15039-7 (hardcover)",
  ISBN-13 =      "978-0-691-15039-0 (hardcover)",
  LCCN =         "QA155 .P75 2015",
  bibdate =      "Wed Sep 9 05:32:49 MDT 2015",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/h/higham-nicholas-john.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/prng.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  subject =      "Algebra; Mathematics; Mathematical models",
  tableofcontents = "Preface / ix \\
                 Contributors / xiii \\
                 Part I: Introduction to Applied Mathematics \\
                 I.1 What Is Applied Mathematics? / 1 \\
                 I.2 The Language of Applied Mathematics / 8 \\
                 I.3 Methods of Solution / 27 \\
                 I.4 Algorithms / 40 \\
                 I.5 Goals of Applied Mathematical Research / 48 \\
                 I.6 The History of Applied Mathematics / 55 \\
                 Part II: Concepts \\
                 II.1 Asymptotics / 81 \\
                 II.2 Boundary Layer / 82 \\
                 II.3 Chaos and Ergodicity / 82 \\
                 II.4 Complex Systems / 83 \\
                 II.5 Conformal Mapping / 84 \\
                 II.6 Conservation Laws / 86 \\
                 II.7 Control / 88 \\
                 II.8 Convexity / 89 \\
                 II.9 Dimensional Analysis and Scaling / 90 \\
                 II.10 The Fast Fourier Transform / 94 \\
                 II.11 Finite Differences / 95 \\
                 II.12 The Finite-Element Method / 96 \\
                 II.13 Floating-Point Arithmetic / 96 \\
                 II.14 Functions of Matrices / 97 \\
                 II.15 Function Spaces / 99 \\
                 II.16 Graph Theory / 101 \\
                 II.17 Homogenization / 103 \\
                 II.18 Hybrid Systems / 103 \\
                 II.19 Integral Transforms and Convolution / 104 \\
                 II.20 Interval Analysis / 105 \\
                 II.21 Invariants and Conservation Laws / 106 \\
                 II.22 The Jordan Canonical Form / 112 \\
                 II.23 Krylov Subspaces / 113 \\
                 II.24 The Level Set Method / 114 \\
                 II.25 Markov Chains / 116 \\
                 II.26 Model Reduction / 117 \\
                 II.27 Multiscale Modeling / 119 \\
                 II.28 Nonlinear Equations and Newton's Method / 120 \\
                 II.29 Orthogonal Polynomials / 122 \\
                 II.30 Shocks / 122 \\
                 II.31 Singularities / 124 \\
                 II.32 The Singular Value Decomposition / 126 \\
                 II.33 Tensors and Manifolds / 127 \\
                 II.34 Uncertainty Quantification / 131 \\
                 II.35 Variational Principle / 134 \\
                 II.36 Wave Phenomena / 134 \\
                 Part III: Equations, Laws, and Functions of Applied
                 Mathematics \\
                 III.1 Benford's Law / 135 \\
                 III.2 Bessel Functions / 137 \\
                 III.3 The Black--Scholes Equation / 137 \\
                 III.4 The Burgers Equation / 138 \\
                 III.5 The Cahn--Hilliard Equation / 138 \\
                 III.6 The Cauchy--Riemann Equations / 139 \\
                 III.7 The Delta Function and Generalized Functions /
                 139 \\
                 III.8 The Diffusion Equation / 142 \\
                 III.9 The Dirac Equation / 142 \\
                 III.10 Einstein's Field Equations / 144 \\
                 III.11 The Euler Equations / 146 \\
                 III.12 The Euler--Lagrange Equations / 147 \\
                 III.13 The Gamma Function / 148 \\
                 III.14 The Ginzburg--Landau Equation / 148 \\
                 III.15 Hooke's Law / 149 \\
                 III.16 The Korteweg--de Vries Equation / 150 \\
                 III.17 The Lambert $W$ Function / 151 \\
                 III.18 Laplace's Equation / 155 \\
                 III.19 The Logistic Equation / 156 \\
                 III.20 The Lorenz Equations / 158 \\
                 III.21 Mathieu Functions / 159 \\
                 III.22 Maxwell's Equations / 160 \\
                 III.23 The Navier--Stokes Equations / 162 \\
                 III.24 The Painlev{\'e} Equations / 163 \\
                 III.25 The Riccati Equation / 165 \\
                 III.26 Schr{\"o}dinger's Equation / 167 \\
                 III.27 The Shallow-Water Equations / 167 \\
                 III.28 The Sylvester and Lyapunov Equations / 168 \\
                 III.29 The Thin-Film Equation / 169 \\
                 III.30 The Tricomi Equation / 170 \\
                 III.31 The Wave Equation / 171 \\
                 Part IV: Areas of Applied Mathematics \\
                 IV.1 Complex Analysis / 173 \\
                 IV.2 Ordinary Differential Equations / 181 \\
                 IV.3 Partial Differential Equations / 190 \\
                 IV.4 Integral Equations / 200 \\
                 IV.5 Perturbation Theory and Asymptotics / 208 \\
                 IV.6 Calculus of Variations / 218 \\
                 IV.7 Special Functions / 227 \\
                 IV.8 Spectral Theory / 236 \\
                 IV.9 Approximation Theory / 248 \\
                 IV.10 Numerical Linear Algebra and Matrix Analysis /
                 263 \\
                 IV.11 Continuous Optimization (Nonlinear and Linear
                 Programming) / 281 \\
                 IV.12 Numerical Solution of Ordinary Differential
                 Equations / 293 \\
                 IV.13 Numerical Solution of Partial Differential
                 Equations / 306 \\
                 IV.14 Applications of Stochastic Analysis / 319 \\
                 IV.15 Inverse Problems / 327 \\
                 IV.16 Computational Science / 335 \\
                 IV.17 Data Mining and Analysis / 350 \\
                 IV.18 Network Analysis / 360 \\
                 IV.19 Classical Mechanics / 374 \\
                 IV.20 Dynamical Systems / 383 \\
                 IV.21 Bifurcation Theory / 393 \\
                 IV.22 Symmetry in Applied Mathematics / 402 \\
                 IV.23 Quantum Mechanics / 411 \\
                 IV.24 Random-Matrix Theory / 419 \\
                 IV.25 Kinetic Theory / 428 \\
                 IV.26 Continuum Mechanics / 446 \\
                 IV.27 Pattern Formation / 458 \\
                 IV.28 Fluid Dynamics / 467 \\
                 IV.29 Magnetohydrodynamics / 476 \\
                 IV.30 Earth System Dynamics / 485 \\
                 IV.31 Effective Medium Theories / 500 \\
                 IV.32 Mechanics of Solids / 505 \\
                 IV.33 Soft Matter / 516 \\
                 IV.34 Control Theory / 523 \\
                 IV.35 Signal Processing / 533 \\
                 IV.36 Information Theory / 545 \\
                 IV.37 Applied Combinatorics and Graph Theory / 552 \\
                 IV.38 Combinatorial Optimization / 564 \\
                 IV.39 Algebraic Geometry / 570 \\
                 IV.40 General Relativity and Cosmology / 579 \\
                 Part V: Modeling \\
                 V.1 The Mathematics of Adaptation (Or the Ten Avatars
                 of Vishnu) / 591 \\
                 V.2 Sport / 598 \\
                 V.3 Inerters / 604 \\
                 V.4 Mathematical Biomechanics / 609 \\
                 V.5 Mathematical Physiology / 616 \\
                 V.6 Cardiac Modeling / 623 \\
                 V.7 Chemical Reactions / 627 \\
                 V.8 Divergent Series: Taming the Tails / 634 \\
                 V.9 Financial Mathematics / 640 \\
                 V.10 Portfolio Theory / 648 \\
                 V.11 Bayesian Inference in Applied Mathematics / 658
                 \\
                 V.12 A Symmetric Framework with Many Applications / 661
                 \\
                 V.13 Granular Flows / 665 \\
                 V.14 Modern Optics / 673 \\
                 V.15 Numerical Relativity / 680 \\
                 V.16 The Spread of Infectious Diseases / 687 \\
                 V.17 The Mathematics of Sea Ice / 694 \\
                 V.18 Numerical Weather Prediction / 705 \\
                 V.19 Tsunami Modeling / 712 \\
                 V.20 Shock Waves / 720 \\
                 V.21 Turbulence / 724 \\
                 Part VI: Example Problems \\
                 VI.1 Cloaking / 733 \\
                 VI.2 Bubbles / 735 \\
                 VI.3 Foams / 737 \\
                 VI.4 Inverted Pendulums / 741 \\
                 VI.5 Insect Flight / 743 \\
                 VI.6 The Flight of a Golf Ball / 746 \\
                 VI.7 Automatic Differentiation / 749 \\
                 VI.8 Knotting and Linking of Macromolecules / 752 \\
                 VI.9 Ranking Web Pages / 755 \\
                 VI.10 Searching a Graph / 757 \\
                 VI.11 Evaluating Elementary Functions / 759 \\
                 VI.12 Random Number Generation / 761 \\
                 VI.13 Optimal Sensor Location in the Control of
                 Energy-Efficient Buildings / 763 \\
                 VI.14 Robotics / 767 \\
                 VI.15 Slipping, Sliding, Rattling, and Impact:
                 Nonsmooth Dynamics and Its Applications / 769 \\
                 VI.16 From the $N$-Body Problem to Astronomy and Dark
                 Matter / 771 \\
                 VI.17 The $N$-Body Problem and the Fast Multipole
                 Method / 775 \\
                 VI.18 The Traveling Salesman Problem / 778 \\
                 Part VII: Application Areas \\
                 VII.1 Aircraft Noise / 783 \\
                 VII.2 A Hybrid Symbolic--Numeric Approach to Geometry
                 Processing and Modeling / 787 \\
                 VII.3 Computer-Aided Proofs via Interval Analysis / 790
                 \\
                 VII.4 Applications of Max-Plus Algebra / 795 \\
                 VII.5 Evolving Social Networks, Attitudes, and Beliefs
                 --- and Counterterrorism / 800 \\
                 VII.6 Chip Design / 804 \\
                 VII.7 Color Spaces and Digital Imaging / 808 \\
                 VII.8 Mathematical Image Processing / 813 \\
                 VII.9 Medical Imaging / 816 \\
                 VII.10 Compressed Sensing / 823 \\
                 VII.11 Programming Languages: An Applied Mathematics
                 View / 828 \\
                 VII.12 High-Performance Computing / 839 \\
                 VII.13 Visualization / 843 \\
                 VII.14 Electronic Structure Calculations (Solid State
                 Physics) / 847 \\
                 VII.15 Flame Propagation / 852 \\
                 VII.16 Imaging the Earth Using Green's Theorem / 857
                 \\
                 VII.17 Radar Imaging / 860 \\
                 VII.18 Modeling a Pregnancy Testing Kit / 864 \\
                 VII.19 Airport Baggage Screening with X-Ray Tomography
                 / 866 \\
                 VII.20 Mathematical Economics / 868 \\
                 VII.21 Mathematical Neuroscience / 873 \\
                 VII.22 Systems Biology / 879 \\
                 VII.23 Communication Networks / 883 \\
                 VII.24 Text Mining / 887 \\
                 VII.25 Voting Systems / 891 \\
                 Part VIII: Final Perspectives \\
                 VIII.1 Mathematical Writing / 897 \\
                 VIII.2 How to Read and Understand a Paper / 903 \\
                 VIII.3 How to Write a General Interest Mathematics Book
                 / 906 \\
                 VIII.4 Workflow / 912 \\
                 VIII.5 Reproducible Research in the Mathematical
                 Sciences / 916 \\
                 VIII.6 Experimental Applied Mathematics / 925 \\
                 VIII.7 Teaching Applied Mathematics / 933 \\
                 VIII.8 Mediated Mathematics: Representations of
                 Mathematics in Popular Culture and Why These Matter /
                 943 \\
                 VIII.9 Mathematics and Policy / 953 \\
                 Index / 963",
}


bibtype: proceedings
filename: fparith.bib
label: IEEE:2015:ISS
editor: IEEE
booktitle: 2015 IEEE Symposium on Security and Privacy (SP 2015) San Jose, California, USA, 18--20 May 2015
title: 2015 IEEE Symposium on Security and Privacy (SP 2015) San Jose, California, USA, 18--20 May 2015
publisher: pub-IEEE
address: pub-IEEE:adr
pages: xix + 952
year: 2015
ISBN: 1-4673-6949-7 (print), 1-4673-6950-0 (e-book) OR 1467369497 (print), 1467369500 (ebook)
ISBN13: 978-1-4673-6949-7, 978-1-4673-6950-3 (e-book) OR 9781467369497, 9781467369503 (ebook)
ISSN: 1081-6011 (print), 2375-1207 (electronic) OR 10816011 (print), 23751207 (electronic)
ISSNL: 1081-6011 OR 10816011
LCCN: QA76.9.A25
bibdate: Mon Feb 10 08:59:08 MST 2020
bibtimestamp: 2020.02.10 08:59:08 MST
URL: http://www.gbv.de/dms/tib-ub-hannover/836112652.pdf
acknowledgement: ack-nhfb
rawbooktitle: {2015 IEEE Symposium on Security and Privacy (SP 2015) San Jose, California, USA, 18--20 May 2015}
raweditor: {IEEE}
rawtitle: {2015 IEEE Symposium on Security and Privacy (SP 2015) San Jose, California, USA, 18--20 May 2015}
bibsource:
fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib

entry:
@Proceedings{IEEE:2015:ISS,
  editor =       "{IEEE}",
  booktitle =    "{2015 IEEE Symposium on Security and Privacy (SP 2015)
                 San Jose, California, USA, 18--20 May 2015}",
  title =        "{2015 IEEE Symposium on Security and Privacy (SP 2015)
                 San Jose, California, USA, 18--20 May 2015}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xix + 952",
  year =         "2015",
  ISBN =         "1-4673-6949-7 (print), 1-4673-6950-0 (e-book)",
  ISBN-13 =      "978-1-4673-6949-7, 978-1-4673-6950-3 (e-book)",
  ISSN =         "1081-6011 (print), 2375-1207 (electronic)",
  ISSN-L =       "1081-6011",
  LCCN =         "QA76.9.A25",
  bibdate =      "Mon Feb 10 08:59:08 MST 2020",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  URL =          "http://www.gbv.de/dms/tib-ub-hannover/836112652.pdf",
  acknowledgement = ack-nhfb,
}


bibtype: proceedings
filename: fparith.bib
label: Muller:2015:ISC
editor: Jean-Michel Muller and Arnaud Tisserand and Julio Villalba
booktitle: 2015 IEEE 22nd Symposium on Computer Arithmetic (ARITH 2015) Lyon, France, 22--24 June 2015
title: 2015 IEEE 22nd Symposium on Computer Arithmetic (ARITH 2015) Lyon, France, 22--24 June 2015
publisher: pub-IEEE
address: pub-IEEE:adr
pages: xii + 176
year: 2015
ISBN: 1-4799-8665-8, 1-4799-8663-1 OR 1479986658, 1479986631
ISBN13: 978-1-4799-8665-1, 978-1-4799-8663-7 OR 9781479986651, 9781479986637
ISSN: 1063-6889 OR 10636889
LCCN: QA76.9.C62 S95 2015
bibdate: Sat Aug 01 08:03:11 2015
bibtimestamp: 2015.08.01 08:03:11 ???
URL: http://ieeexplore.ieee.org/servlet/opac?punumber=7193754
acknowledgement: ack-nhfb
rawbooktitle: {2015 IEEE 22nd Symposium on Computer Arithmetic (ARITH 2015) Lyon, France, 22--24 June 2015}
raweditor: Jean-Michel Muller and Arnaud Tisserand and Julio Villalba
rawtitle: {2015 IEEE 22nd Symposium on Computer Arithmetic (ARITH 2015) Lyon, France, 22--24 June 2015}
bibsource:
https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/mathcw.bib

keywords:
ARITH-22; computer arithmetic units; correctness proofs; cryptography; domain specific designs; error analysis; exascale computing; floating point arithmetic; floating-point error analysis; formal verification; function approximation; modular arithmetic; theorem proving; verification

entry:
@Proceedings{Muller:2015:ISC,
  editor =       "Jean-Michel Muller and Arnaud Tisserand and Julio
                 Villalba",
  booktitle =    "{2015 IEEE 22nd Symposium on Computer Arithmetic
                 (ARITH 2015) Lyon, France, 22--24 June 2015}",
  title =        "{2015 IEEE 22nd Symposium on Computer Arithmetic
                 (ARITH 2015) Lyon, France, 22--24 June 2015}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xii + 176",
  year =         "2015",
  ISBN =         "1-4799-8665-8, 1-4799-8663-1",
  ISBN-13 =      "978-1-4799-8665-1, 978-1-4799-8663-7",
  ISSN =         "1063-6889",
  LCCN =         "QA76.9.C62 S95 2015",
  bibdate =      "Sat Aug 01 08:03:11 2015",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/mathcw.bib",
  URL =          "http://ieeexplore.ieee.org/servlet/opac?punumber=7193754",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-22; computer arithmetic units; correctness
                 proofs; cryptography; domain specific designs; error
                 analysis; exascale computing; floating point
                 arithmetic; floating-point error analysis; formal
                 verification; function approximation; modular
                 arithmetic; theorem proving; verification",
}


bibtype: book
filename: fparith.bib
label: Swartzlander:2015:CAa
editor: Earl E. Swartzlander, Jr.
booktitle: Computer Arithmetic
title: Computer Arithmetic
volume: 1
publisher: pub-WORLD-SCI
address: pub-WORLD-SCI:adr
year: 2015
DOI: https://doi.org/10.1142/9476
LCCN: QA76.6 .C633 2015 vol. 1
bibdate: Tue Aug 7 07:57:49 MDT 2018
bibtimestamp: 2018.08.07 07:57:49 MDT
acknowledgement: ack-nhfb
rawbooktitle: Computer Arithmetic
raweditor: Earl E. {Swartzlander, Jr.}
rawtitle: Computer Arithmetic
ISBN:
981-4651-56-7 (vol. 1; hardcover), 981-4651-57-5, 981-4641-47-2 (e-book) OR 9814651567 (vol. 1; hardcover), 9814651575, 9814641472 (ebook)

ISBN13:
978-981-4651-56-1 (vol. 1; hardcover), 978-981-4651-57-8, 978-981-4641-47-0 (e-book) OR 9789814651561 (vol. 1; hardcover), 9789814651578, 9789814641470 (ebook)

bibsource:
fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/bibnet/authors/h/hamming-richard-w.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib

abstract:
This is the new edition of the classic book booktitle Computer Arithmetic in three volumes published originally in 1990 by IEEE Computer Society Press. As in the original, the book contains many classic papers treating advanced concepts in computer arithmetic, which is very suitable as stand-alone textbooks or complementary materials to textbooks on computer arithmetic for graduate students and research professionals interested in the field. Told in the words of the initial developers, this book conveys the excitement of the creators, and the implementations provide insight into the details necessary to realize real chips. This second volume presents topics on error tolerant arithmetic, digit on-line arithmetic, number systems, and now in this new edition, a topic on implementations of arithmetic operations, all wrapped with an updated overview and a new introduction for each chapter.

rawabstract:
This is the new edition of the classic book \booktitle{Computer Arithmetic} in three volumes published originally in 1990 by IEEE Computer Society Press. As in the original, the book contains many classic papers treating advanced concepts in computer arithmetic, which is very suitable as stand-alone textbooks or complementary materials to textbooks on computer arithmetic for graduate students and research professionals interested in the field. Told in the words of the initial developers, this book conveys the excitement of the creators, and the implementations provide insight into the details necessary to realize real chips. This second volume presents topics on error tolerant arithmetic, digit on-line arithmetic, number systems, and now in this new edition, a topic on implementations of arithmetic operations, all wrapped with an updated overview and a new introduction for each chapter.

entry:
@Book{Swartzlander:2015:CAa,
  editor =       "Earl E. {Swartzlander, Jr.}",
  booktitle =    "Computer Arithmetic",
  title =        "Computer Arithmetic",
  volume =       "1",
  publisher =    pub-WORLD-SCI,
  address =      pub-WORLD-SCI:adr,
  pages =        "????",
  year =         "2015",
  DOI =          "https://doi.org/10.1142/9476",
  ISBN =         "981-4651-56-7 (vol. 1; hardcover), 981-4651-57-5,
                 981-4641-47-2 (e-book)",
  ISBN-13 =      "978-981-4651-56-1 (vol. 1; hardcover),
                 978-981-4651-57-8, 978-981-4641-47-0 (e-book)",
  LCCN =         "QA76.6 .C633 2015 vol. 1",
  bibdate =      "Tue Aug 7 07:57:49 MDT 2018",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/bibnet/authors/h/hamming-richard-w.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  abstract =     "This is the new edition of the classic book
                 \booktitle{Computer Arithmetic} in three volumes
                 published originally in 1990 by IEEE Computer Society
                 Press. As in the original, the book contains many
                 classic papers treating advanced concepts in computer
                 arithmetic, which is very suitable as stand-alone
                 textbooks or complementary materials to textbooks on
                 computer arithmetic for graduate students and research
                 professionals interested in the field. Told in the
                 words of the initial developers, this book conveys the
                 excitement of the creators, and the implementations
                 provide insight into the details necessary to realize
                 real chips. This second volume presents topics on error
                 tolerant arithmetic, digit on-line arithmetic, number
                 systems, and now in this new edition, a topic on
                 implementations of arithmetic operations, all wrapped
                 with an updated overview and a new introduction for
                 each chapter.",
  acknowledgement = ack-nhfb,
}


bibtype: book
filename: fparith.bib
label: Swartzlander:2015:CAb
editor: Earl E. Swartzlander, Jr.
booktitle: Computer Arithmetic
title: Computer Arithmetic
volume: 2
publisher: pub-WORLD-SCI
address: pub-WORLD-SCI:adr
pages: xxxviii + 446
year: 2015
DOI: https://doi.org/10.1142/9422; https://doi.org/10.1142/9789814641470
ISBN: 981-4641-46-4 (hardcover), 981-4641-47-2 (e-book) OR 9814641464 (hardcover), 9814641472 (ebook)
LCCN: QA76.6 .C633 2015 vol. 2
bibdate: Tue Aug 7 07:57:49 MDT 2018
bibtimestamp: 2018.08.07 07:57:49 MDT
acknowledgement: ack-nhfb
rawbooktitle: Computer Arithmetic
raweditor: Earl E. {Swartzlander, Jr.}
rawtitle: Computer Arithmetic
ISBN13:
978-981-4641-46-3 (hardcover), 978-981-4641-47-0 (e-book) OR 9789814641463 (hardcover), 9789814641470 (ebook)

bibsource:
fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/bibnet/authors/h/hamming-richard-w.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib

abstract:
This is the new edition of the classic book booktitle Computer Arithmetic in three volumes published originally in 1990 by IEEE Computer Society Press. As in the original, the book contains many classic papers treating advanced concepts in computer arithmetic, which is very suitable as stand-alone textbooks or complementary materials to textbooks on computer arithmetic for graduate students and research professionals interested in the field. Told in the words of the initial developers, this book conveys the excitement of the creators, and the implementations provide insight into the details necessary to realize real chips. This second volume presents topics on error tolerant arithmetic, digit on-line arithmetic, number systems, and now in this new edition, a topic on implementations of arithmetic operations, all wrapped with an updated overview and a new introduction for each chapter.

TOC:
About the Editor Preface Contents by Author Overview of Computer Arithmetic Part I: ERROR TOLERANT ARITHMETIC Editors' Comments on Papers 1 Through 5 Error Detecting and Error Correcting Codes Generalized Parity Checking Error-Checking Logic for Arithmetic-Type Operations of a Processor Arithmetic Algorithms for Error-Coded Operands Error Detection and Correction for Addition and Subtraction, Through Higher Radix Extensions of Hamming Codes Part II: ON-LINE ARITHMETIC Editor's Comments on Papers 6 Through 13 Signed-Digit Number Representations for Fast Parallel Arithmetic On-Line Arithmetic: A Design Methodology and Applications in Digital Signal Processing On-Line Algorithms for Division and Multiplication Error Analysis of Certain Floating-Point On-Line Algorithms Improved Normalization Results for Digit On-Line Arithmetic Fully Digit On-Line Networks On-Line Scheme for Computing Rotation Factors On-the-Fly Conversion of Redundant into Conventional Representations Part III: VLSI ADDER IMPLEMENTATIONS Editor's Comments on Papers 14 Through 18 Time-Component Complexity of Two Approaches to Multioperand Binary Addition Some Optimal Schemes for ALU Implementation in VLSI Technology An Area-Time Efficient NMOS Adder Regular, Area-Time Efficient Carry-Lookahead Adders Efficient Use of Time and Hardware Redundancy for Concurrent Error Detection in a 32-bit VLSI Adder Part IV: VLSI MULTIPLIER IMPLEMENTATIONS Editor's Comments on Papers 19 Through 24 A Monolithic $16 times 16$ Digital Multiplier Optimization of One-Bit Full Adders Embedded in Regular Structures A VLSI Layout for a Pipelined Dadda Multiplier A Very Fast Multiplication Algorithm for VLSI Implementation A High-Speed Multiplier Using a Redundant Binary Adder Tree A Sub-10-ns $16 times 16$ Multiplier Using 0.6-m CMOS Technology Part V: FLOATING-POINT VLSI CHIPS Editor's Comments on Papers 25 Through 30 A High Performance Floating Point Coprocessor 64 Bit Monolithic Floating Point Processors A CMOS Floating Point Multiplier A Single-Chip 80-Bit Floating Point Processor VLSI Floating-Point Processors Fast Multiply and Divide for a VLSI Floating-Point Unit Part VI: NUMBER REPRESENTATION Editor's Comments on Papers 31 Through 37 The Residue Number System A Formalization of Floating-Point Numeric Base Conversion CADAC: A Controlled-Precision Decimal Arithmetic Unit Finite Precision Rational Arithmetic: Slash Number Systems Finite Precision Lexicographic Continued Fraction Number Systems An Overflow/Underflow-Free Floating-Point Representation of Numbers A Closed Computer Arithmetic Part VII: IMPLEMENTATIONS Editor's Comments on Papers 38 Through 40 Applications of Distributed Arithmetic to Digital Signal Processing: A Tutorial Review Designing Low-Power Circuits: Practical Recipes The European Logarithmic Microprocessor Bibliography

rawabstract:
This is the new edition of the classic book \booktitle{Computer Arithmetic} in three volumes published originally in 1990 by IEEE Computer Society Press. As in the original, the book contains many classic papers treating advanced concepts in computer arithmetic, which is very suitable as stand-alone textbooks or complementary materials to textbooks on computer arithmetic for graduate students and research professionals interested in the field. Told in the words of the initial developers, this book conveys the excitement of the creators, and the implementations provide insight into the details necessary to realize real chips. This second volume presents topics on error tolerant arithmetic, digit on-line arithmetic, number systems, and now in this new edition, a topic on implementations of arithmetic operations, all wrapped with an updated overview and a new introduction for each chapter.

rawTOC:
About the Editor \\ Preface \\ Contents by Author \\ Overview of Computer Arithmetic \\ Part I: ERROR TOLERANT ARITHMETIC \\ Editors' Comments on Papers 1 Through 5 \\ Error Detecting and Error Correcting Codes \\ Generalized Parity Checking \\ Error-Checking Logic for Arithmetic-Type Operations of a Processor \\ Arithmetic Algorithms for Error-Coded Operands \\ Error Detection and Correction for Addition and Subtraction, Through Higher Radix Extensions of Hamming Codes \\ Part II: ON-LINE ARITHMETIC \\ Editor's Comments on Papers 6 Through 13 \\ Signed-Digit Number Representations for Fast Parallel Arithmetic \\ On-Line Arithmetic: A Design Methodology and Applications in Digital Signal Processing \\ On-Line Algorithms for Division and Multiplication \\ Error Analysis of Certain Floating-Point On-Line Algorithms \\ Improved Normalization Results for Digit On-Line Arithmetic \\ Fully Digit On-Line Networks \\ On-Line Scheme for Computing Rotation Factors \\ On-the-Fly Conversion of Redundant into Conventional Representations \\ Part III: VLSI ADDER IMPLEMENTATIONS \\ Editor's Comments on Papers 14 Through 18 \\ Time-Component Complexity of Two Approaches to Multioperand Binary Addition \\ Some Optimal Schemes for ALU Implementation in VLSI Technology \\ An Area-Time Efficient NMOS Adder \\ Regular, Area-Time Efficient Carry-Lookahead Adders \\ Efficient Use of Time and Hardware Redundancy for Concurrent Error Detection in a 32-bit VLSI Adder \\ Part IV: VLSI MULTIPLIER IMPLEMENTATIONS \\ Editor's Comments on Papers 19 Through 24 \\ A Monolithic $16 \times 16$ Digital Multiplier \\ Optimization of One-Bit Full Adders Embedded in Regular Structures \\ A VLSI Layout for a Pipelined Dadda Multiplier \\ A Very Fast Multiplication Algorithm for VLSI Implementation \\ A High-Speed Multiplier Using a Redundant Binary Adder Tree \\ A Sub-10-ns $16 \times 16$ Multiplier Using 0.6-m CMOS Technology \\ Part V: FLOATING-POINT VLSI CHIPS \\ Editor's Comments on Papers 25 Through 30 \\ A High Performance Floating Point Coprocessor \\ 64 Bit Monolithic Floating Point Processors \\ A CMOS Floating Point Multiplier \\ A Single-Chip 80-Bit Floating Point Processor \\ VLSI Floating-Point Processors \\ Fast Multiply and Divide for a VLSI Floating-Point Unit \\ Part VI: NUMBER REPRESENTATION \\ Editor's Comments on Papers 31 Through 37 \\ The Residue Number System \\ A Formalization of Floating-Point Numeric Base Conversion \\ CADAC: A Controlled-Precision Decimal Arithmetic Unit \\ Finite Precision Rational Arithmetic: Slash Number Systems \\ Finite Precision Lexicographic Continued Fraction Number Systems \\ An Overflow/Underflow-Free Floating-Point Representation of Numbers \\ A Closed Computer Arithmetic \\ Part VII: IMPLEMENTATIONS \\ Editor's Comments on Papers 38 Through 40 \\ Applications of Distributed Arithmetic to Digital Signal Processing: A Tutorial Review \\ Designing Low-Power Circuits: Practical Recipes \\ The European Logarithmic Microprocessor \\ Bibliography

entry:
@Book{Swartzlander:2015:CAb,
  editor =       "Earl E. {Swartzlander, Jr.}",
  booktitle =    "Computer Arithmetic",
  title =        "Computer Arithmetic",
  volume =       "2",
  publisher =    pub-WORLD-SCI,
  address =      pub-WORLD-SCI:adr,
  pages =        "xxxviii + 446",
  year =         "2015",
  DOI =          "https://doi.org/10.1142/9422;
                 https://doi.org/10.1142/9789814641470",
  ISBN =         "981-4641-46-4 (hardcover), 981-4641-47-2 (e-book)",
  ISBN-13 =      "978-981-4641-46-3 (hardcover), 978-981-4641-47-0
                 (e-book)",
  LCCN =         "QA76.6 .C633 2015 vol. 2",
  bibdate =      "Tue Aug 7 07:57:49 MDT 2018",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/bibnet/authors/h/hamming-richard-w.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  abstract =     "This is the new edition of the classic book
                 \booktitle{Computer Arithmetic} in three volumes
                 published originally in 1990 by IEEE Computer Society
                 Press. As in the original, the book contains many
                 classic papers treating advanced concepts in computer
                 arithmetic, which is very suitable as stand-alone
                 textbooks or complementary materials to textbooks on
                 computer arithmetic for graduate students and research
                 professionals interested in the field. Told in the
                 words of the initial developers, this book conveys the
                 excitement of the creators, and the implementations
                 provide insight into the details necessary to realize
                 real chips. This second volume presents topics on error
                 tolerant arithmetic, digit on-line arithmetic, number
                 systems, and now in this new edition, a topic on
                 implementations of arithmetic operations, all wrapped
                 with an updated overview and a new introduction for
                 each chapter.",
  acknowledgement = ack-nhfb,
  tableofcontents = "About the Editor \\
                 Preface \\
                 Contents by Author \\
                 Overview of Computer Arithmetic \\
                 Part I: ERROR TOLERANT ARITHMETIC \\
                 Editors' Comments on Papers 1 Through 5 \\
                 Error Detecting and Error Correcting Codes \\
                 Generalized Parity Checking \\
                 Error-Checking Logic for Arithmetic-Type Operations of
                 a Processor \\
                 Arithmetic Algorithms for Error-Coded Operands \\
                 Error Detection and Correction for Addition and
                 Subtraction, Through Higher Radix Extensions of Hamming
                 Codes \\
                 Part II: ON-LINE ARITHMETIC \\
                 Editor's Comments on Papers 6 Through 13 \\
                 Signed-Digit Number Representations for Fast Parallel
                 Arithmetic \\
                 On-Line Arithmetic: A Design Methodology and
                 Applications in Digital Signal Processing \\
                 On-Line Algorithms for Division and Multiplication \\
                 Error Analysis of Certain Floating-Point On-Line
                 Algorithms \\
                 Improved Normalization Results for Digit On-Line
                 Arithmetic \\
                 Fully Digit On-Line Networks \\
                 On-Line Scheme for Computing Rotation Factors \\
                 On-the-Fly Conversion of Redundant into Conventional
                 Representations \\
                 Part III: VLSI ADDER IMPLEMENTATIONS \\
                 Editor's Comments on Papers 14 Through 18 \\
                 Time-Component Complexity of Two Approaches to
                 Multioperand Binary Addition \\
                 Some Optimal Schemes for ALU Implementation in VLSI
                 Technology \\
                 An Area-Time Efficient NMOS Adder \\
                 Regular, Area-Time Efficient Carry-Lookahead Adders \\
                 Efficient Use of Time and Hardware Redundancy for
                 Concurrent Error Detection in a 32-bit VLSI Adder \\
                 Part IV: VLSI MULTIPLIER IMPLEMENTATIONS \\
                 Editor's Comments on Papers 19 Through 24 \\
                 A Monolithic $16 \times 16$ Digital Multiplier \\
                 Optimization of One-Bit Full Adders Embedded in Regular
                 Structures \\
                 A VLSI Layout for a Pipelined Dadda Multiplier \\
                 A Very Fast Multiplication Algorithm for VLSI
                 Implementation \\
                 A High-Speed Multiplier Using a Redundant Binary Adder
                 Tree \\
                 A Sub-10-ns $16 \times 16$ Multiplier Using 0.6-m CMOS
                 Technology \\
                 Part V: FLOATING-POINT VLSI CHIPS \\
                 Editor's Comments on Papers 25 Through 30 \\
                 A High Performance Floating Point Coprocessor \\
                 64 Bit Monolithic Floating Point Processors \\
                 A CMOS Floating Point Multiplier \\
                 A Single-Chip 80-Bit Floating Point Processor \\
                 VLSI Floating-Point Processors \\
                 Fast Multiply and Divide for a VLSI Floating-Point Unit
                 \\
                 Part VI: NUMBER REPRESENTATION \\
                 Editor's Comments on Papers 31 Through 37 \\
                 The Residue Number System \\
                 A Formalization of Floating-Point Numeric Base
                 Conversion \\
                 CADAC: A Controlled-Precision Decimal Arithmetic Unit
                 \\
                 Finite Precision Rational Arithmetic: Slash Number
                 Systems \\
                 Finite Precision Lexicographic Continued Fraction
                 Number Systems \\
                 An Overflow/Underflow-Free Floating-Point
                 Representation of Numbers \\
                 A Closed Computer Arithmetic \\
                 Part VII: IMPLEMENTATIONS \\
                 Editor's Comments on Papers 38 Through 40 \\
                 Applications of Distributed Arithmetic to Digital
                 Signal Processing: A Tutorial Review \\
                 Designing Low-Power Circuits: Practical Recipes \\
                 The European Logarithmic Microprocessor \\
                 Bibliography",
}


bibtype: book
filename: fparith.bib
label: Swartzlander:2015:CAc
editor: Earl E. Swartzlander, Jr.
booktitle: Computer Arithmetic
title: Computer Arithmetic
volume: 3
publisher: pub-WORLD-SCI
address: pub-WORLD-SCI:adr
pages: xvii + 451
year: 2015
DOI: https://doi.org/10.1142/9467
ISBN: 981-4651-13-3 (hardcover), 981-4641-47-2 (e-book) OR 9814651133 (hardcover), 9814641472 (ebook)
LCCN: QA76.6 .C633 2015 vol. 3
bibdate: Tue Aug 7 07:57:49 MDT 2018
bibtimestamp: 2018.08.07 07:57:49 MDT
acknowledgement: ack-nhfb
rawbooktitle: Computer Arithmetic
raweditor: Earl E. {Swartzlander, Jr.}
rawtitle: Computer Arithmetic
ISBN13:
978-981-4651-13-4 (hardcover), 978-981-4641-47-0 (e-book) OR 9789814651134 (hardcover), 9789814641470 (ebook)

bibsource:
fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/bibnet/authors/h/hamming-richard-w.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib

abstract:
booktitle Computer Arithmetic, Volume III, is a compilation of key papers in computer arithmetic on floating-point arithmetic and design. The intent is to show progress, evolution, and novelty in the area of floating-point arithmetic. This field has made extraordinary progress since the initial software routines on mainframe computers have evolved into hardware implementations in processors spanning a wide range of performance. Nevertheless, these papers pave the way to the understanding of modern day processors design where computer arithmetic are supported by floating-point units. The goal of Volume III is to collect the defining document for floating-point arithmetic and many of the key papers on the implementation of both binary and decimal floating-point arithmetic into a single volume. Although fewer than forty papers are included, their reference lists will direct the interested reader to other excellent work that could not be included here. Volume III is specifically oriented to the needs of designers and users of both general-purpose computers and special-purpose digital processors. The book should also be useful to systems engineers, computer architects, and logic designers. It is also intended to serve as a primary text for a course on floating-point arithmetic, as well as a supplementary text for courses in digital arithmetic and high-speed signal processing.

TOC:
Part I. Overview 1. IEEE standard for floating-point arithmetic Part II. Floating-point addition 2. Delay-optimized implementation of IEEE floating-point addition / P. M. Seidel and G. Even 3. Using the reverse-carry approach for double datapath floating-point addition / J. D. Bruguera and T. Lang 4. Reduced latency IEEE floating-point standard adder architectures / A. Beaumont-Smith [et al.] 5. Leading-zero anticipatory logic for high-speed floating-point addition / H. Suzuki [et al.] 6. Leading zero anticipation and detection - A comparison of methods / M. Schmookler and K. Nowka 7. S/370 sign-magnitude floating-point adder / S. Vassiliadis, D. S. Lemon and M. Putrino Part III. Floating-point multiplication 8. A quadruple precision and dual double precision floating-point multiplier / A. Akkas and M. J. Schulte 9. A dual mode IEEE multiplier / G. Even, S. M. Mueller and P. M. Seidel 10. 167 MHz radix-4 floating-point multiplier / R. K. Yu and G. B. Zyner Part IV. Rounding 11. Rounding algorithms for IEEE multipliers / M. R. Santoro, G. Bewick and M. A. Horowitz 12. ``Systematic IEEE rounding method for high-speed floating-point multipliers / N. T. Quach, N. Takagi, and M. J. Flynn 13. A comparison of three rounding algorithms for IEEE floating-point multiplication / G. Even and P. M. Seidel 14. Prenormalization rounding in IEEE floating-point operations using a flagged prefix adder / N. Burgess Part V. Fused multiply add 15. Design of the IBM RISC system/6000 floating-point execution unit / R. K. Montoye, E. Hokenek and S. L. Runyon 16. A 17 x 69 bit multiply and add unit with redundant binary feedback and single cycle latency / W. S. Briggs and D. Matula 17. Comparison of single- and dual-pass multiply-add fused floating-point units / R. Jessani and M. Putrino 18. Floating-point fused multiply-add with reduced latency / T. Lang and J. D. Bruguera 19. Floating-point fused multiply-add architectures / E. Quinnell, E. E. Swartzlander, Jr. and C. Lemonds Part VI. Floating-point division 20. Floating-point division and square root algorithms and implementation in the AMD-K7 microprocessor / S. F. Oberman 21. High performance floating-point unit with 116 bit wide divider / G. Gerwig [et al.] 22. High-speed double-precision computation of reciprocal, division, square root, and inverse square root / J. A. Pineiro and J. D. Bruguera 23. 167 MHz radix-8 floating-point divide and square root using overlapped radix-2 stages / J. Prabhu and G. Zyner 24. Division algorithms and implementations / S. F. Oberman and M. J. Flynn 25. Faithful interpolation in reciprocal tables / D. Das Sarma and D. W. Matula Part VII. Elementary functions 26. Computation of elementary functions on the IBM RISC system/6000 processor / P. W. Markstein 27. Accurate and monotone approximations of some transcendental functions / W. Ferguson and T. Brightman 28. The K5 transcendental functions / T. Lynch [et al.] 29. Hardware designs for exactly rounded elementary functions / M. J. Schulte and E. E. Swartzlander, Jr. 30. Toward correctly rounded transcendentals / V. Lefevre, Jean-Michel Muller and A. Tisserand 31. Reciprocation, square root, inverse square root and some elementary functions using small multipliers / M. Ercegovac [et al.] 32. Multipartite table methods / F. Dinechin and A. Tisserand Part VIII. Decimal floating-point arithmetic 33. A decimal floating-point specification / M. F. Cowlishaw [et al.] 34. Decimal floating-point: Algorism for computers / M. F. Cowlishaw 35. A software implementation of the IEEE 754R decimal floating-point arithmetic using the binary encoded format / M. Cornea [et al.] 36. Decimal floating-point multiplication, / M. A. Erle, B. J. Hickmann and M. J. Schulte 37. A survey of hardware designs for decimal arithmetic / L.-K. Wang [et al.]

rawabstract:
\booktitle{Computer Arithmetic}, Volume III, is a compilation of key papers in computer arithmetic on floating-point arithmetic and design. The intent is to show progress, evolution, and novelty in the area of floating-point arithmetic. This field has made extraordinary progress since the initial software routines on mainframe computers have evolved into hardware implementations in processors spanning a wide range of performance. Nevertheless, these papers pave the way to the understanding of modern day processors design where computer arithmetic are supported by floating-point units. The goal of Volume III is to collect the defining document for floating-point arithmetic and many of the key papers on the implementation of both binary and decimal floating-point arithmetic into a single volume. Although fewer than forty papers are included, their reference lists will direct the interested reader to other excellent work that could not be included here. Volume III is specifically oriented to the needs of designers and users of both general-purpose computers and special-purpose digital processors. The book should also be useful to systems engineers, computer architects, and logic designers. It is also intended to serve as a primary text for a course on floating-point arithmetic, as well as a supplementary text for courses in digital arithmetic and high-speed signal processing.

rawTOC:
Part I. Overview \\ 1. IEEE standard for floating-point arithmetic \\ Part II. Floating-point addition \\ 2. Delay-optimized implementation of IEEE floating-point addition / P. M. Seidel and G. Even \\ 3. Using the reverse-carry approach for double datapath floating-point addition / J. D. Bruguera and T. Lang \\ 4. Reduced latency IEEE floating-point standard adder architectures / A. Beaumont-Smith [et al.] \\ 5. Leading-zero anticipatory logic for high-speed floating-point addition / H. Suzuki [et al.] \\ 6. Leading zero anticipation and detection - A comparison of methods / M. Schmookler and K. Nowka \\ 7. S/370 sign-magnitude floating-point adder / S. Vassiliadis, D. S. Lemon and M. Putrino \\ Part III. Floating-point multiplication \\ 8. A quadruple precision and dual double precision floating-point multiplier / A. Akkas and M. J. Schulte \\ 9. A dual mode IEEE multiplier / G. Even, S. M. Mueller and P. M. Seidel \\ 10. 167 MHz radix-4 floating-point multiplier / R. K. Yu and G. B. Zyner \\ Part IV. Rounding \\ 11. Rounding algorithms for IEEE multipliers / M. R. Santoro, G. Bewick and M. A. Horowitz \\ 12. ``Systematic IEEE rounding method for high-speed floating-point multipliers / N. T. Quach, N. Takagi, and M. J. Flynn \\ 13. A comparison of three rounding algorithms for IEEE floating-point multiplication / G. Even and P. M. Seidel \\ 14. Prenormalization rounding in IEEE floating-point operations using a flagged prefix adder / N. Burgess \\ Part V. Fused multiply add \\ 15. Design of the IBM RISC system/6000 floating-point execution unit / R. K. Montoye, E. Hokenek and S. L. Runyon \\ 16. A 17 x 69 bit multiply and add unit with redundant binary feedback and single cycle latency / W. S. Briggs and D. Matula \\ 17. Comparison of single- and dual-pass multiply-add fused floating-point units / R. Jessani and M. Putrino \\ 18. Floating-point fused multiply-add with reduced latency / T. Lang and J. D. Bruguera \\ 19. Floating-point fused multiply-add architectures / E. Quinnell, E. E. Swartzlander, Jr. and C. Lemonds \\ Part VI. Floating-point division \\ 20. Floating-point division and square root algorithms and implementation in the AMD-K7 microprocessor / S. F. Oberman \\ 21. High performance floating-point unit with 116 bit wide divider / G. Gerwig [et al.] \\ 22. High-speed double-precision computation of reciprocal, division, square root, and inverse square root / J. A. Pineiro and J. D. Bruguera \\ 23. 167 MHz radix-8 floating-point divide and square root using overlapped radix-2 stages / J. Prabhu and G. Zyner \\ 24. Division algorithms and implementations / S. F. Oberman and M. J. Flynn \\ 25. Faithful interpolation in reciprocal tables / D. Das Sarma and D. W. Matula \\ Part VII. Elementary functions \\ 26. Computation of elementary functions on the IBM RISC system/6000 processor / P. W. Markstein \\ 27. Accurate and monotone approximations of some transcendental functions / W. Ferguson and T. Brightman \\ 28. The K5 transcendental functions / T. Lynch [et al.] \\ 29. Hardware designs for exactly rounded elementary functions / M. J. Schulte and E. E. Swartzlander, Jr. \\ 30. Toward correctly rounded transcendentals / V. Lefevre, Jean-Michel Muller and A. Tisserand \\ 31. Reciprocation, square root, inverse square root and some elementary functions using small multipliers / M. Ercegovac [et al.] \\ 32. Multipartite table methods / F. Dinechin and A. Tisserand \\ Part VIII. Decimal floating-point arithmetic \\ 33. A decimal floating-point specification / M. F. Cowlishaw [et al.] \\ 34. Decimal floating-point: Algorism for computers / M. F. Cowlishaw \\ 35. A software implementation of the IEEE 754R decimal floating-point arithmetic using the binary encoded format / M. Cornea [et al.] \\ 36. Decimal floating-point multiplication, / M. A. Erle, B. J. Hickmann and M. J. Schulte \\ 37. A survey of hardware designs for decimal arithmetic / L.-K. Wang [et al.]

entry:
@Book{Swartzlander:2015:CAc,
  editor =       "Earl E. {Swartzlander, Jr.}",
  booktitle =    "Computer Arithmetic",
  title =        "Computer Arithmetic",
  volume =       "3",
  publisher =    pub-WORLD-SCI,
  address =      pub-WORLD-SCI:adr,
  pages =        "xvii + 451",
  year =         "2015",
  DOI =          "https://doi.org/10.1142/9467",
  ISBN =         "981-4651-13-3 (hardcover), 981-4641-47-2 (e-book)",
  ISBN-13 =      "978-981-4651-13-4 (hardcover), 978-981-4641-47-0
                 (e-book)",
  LCCN =         "QA76.6 .C633 2015 vol. 3",
  bibdate =      "Tue Aug 7 07:57:49 MDT 2018",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/bibnet/authors/h/hamming-richard-w.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  abstract =     "\booktitle{Computer Arithmetic}, Volume III, is a
                 compilation of key papers in computer arithmetic on
                 floating-point arithmetic and design. The intent is to
                 show progress, evolution, and novelty in the area of
                 floating-point arithmetic. This field has made
                 extraordinary progress since the initial software
                 routines on mainframe computers have evolved into
                 hardware implementations in processors spanning a wide
                 range of performance. Nevertheless, these papers pave
                 the way to the understanding of modern day processors
                 design where computer arithmetic are supported by
                 floating-point units. The goal of Volume III is to
                 collect the defining document for floating-point
                 arithmetic and many of the key papers on the
                 implementation of both binary and decimal
                 floating-point arithmetic into a single volume.
                 Although fewer than forty papers are included, their
                 reference lists will direct the interested reader to
                 other excellent work that could not be included here.
                 Volume III is specifically oriented to the needs of
                 designers and users of both general-purpose computers
                 and special-purpose digital processors. The book should
                 also be useful to systems engineers, computer
                 architects, and logic designers. It is also intended to
                 serve as a primary text for a course on floating-point
                 arithmetic, as well as a supplementary text for courses
                 in digital arithmetic and high-speed signal
                 processing.",
  acknowledgement = ack-nhfb,
  tableofcontents = "Part I. Overview \\
                 1. IEEE standard for floating-point arithmetic \\
                 Part II. Floating-point addition \\
                 2. Delay-optimized implementation of IEEE
                 floating-point addition / P. M. Seidel and G. Even \\
                 3. Using the reverse-carry approach for double datapath
                 floating-point addition / J. D. Bruguera and T. Lang
                 \\
                 4. Reduced latency IEEE floating-point standard adder
                 architectures / A. Beaumont-Smith [et al.] \\
                 5. Leading-zero anticipatory logic for high-speed
                 floating-point addition / H. Suzuki [et al.] \\
                 6. Leading zero anticipation and detection - A
                 comparison of methods / M. Schmookler and K. Nowka \\
                 7. S/370 sign-magnitude floating-point adder / S.
                 Vassiliadis, D. S. Lemon and M. Putrino \\
                 Part III. Floating-point multiplication \\
                 8. A quadruple precision and dual double precision
                 floating-point multiplier / A. Akkas and M. J. Schulte
                 \\
                 9. A dual mode IEEE multiplier / G. Even, S. M. Mueller
                 and P. M. Seidel \\
                 10. 167 MHz radix-4 floating-point multiplier / R. K.
                 Yu and G. B. Zyner \\
                 Part IV. Rounding \\
                 11. Rounding algorithms for IEEE multipliers / M. R.
                 Santoro, G. Bewick and M. A. Horowitz \\
                 12. ``Systematic IEEE rounding method for high-speed
                 floating-point multipliers / N. T. Quach, N. Takagi,
                 and M. J. Flynn \\
                 13. A comparison of three rounding algorithms for IEEE
                 floating-point multiplication / G. Even and P. M.
                 Seidel \\
                 14. Prenormalization rounding in IEEE floating-point
                 operations using a flagged prefix adder / N. Burgess
                 \\
                 Part V. Fused multiply add \\
                 15. Design of the IBM RISC system/6000 floating-point
                 execution unit / R. K. Montoye, E. Hokenek and S. L.
                 Runyon \\
                 16. A 17 x 69 bit multiply and add unit with redundant
                 binary feedback and single cycle latency / W. S. Briggs
                 and D. Matula \\
                 17. Comparison of single- and dual-pass multiply-add
                 fused floating-point units / R. Jessani and M. Putrino
                 \\
                 18. Floating-point fused multiply-add with reduced
                 latency / T. Lang and J. D. Bruguera \\
                 19. Floating-point fused multiply-add architectures /
                 E. Quinnell, E. E. Swartzlander, Jr. and C. Lemonds \\
                 Part VI. Floating-point division \\
                 20. Floating-point division and square root algorithms
                 and implementation in the AMD-K7 microprocessor / S. F.
                 Oberman \\
                 21. High performance floating-point unit with 116 bit
                 wide divider / G. Gerwig [et al.] \\
                 22. High-speed double-precision computation of
                 reciprocal, division, square root, and inverse square
                 root / J. A. Pineiro and J. D. Bruguera \\
                 23. 167 MHz radix-8 floating-point divide and square
                 root using overlapped radix-2 stages / J. Prabhu and G.
                 Zyner \\
                 24. Division algorithms and implementations / S. F.
                 Oberman and M. J. Flynn \\
                 25. Faithful interpolation in reciprocal tables / D.
                 Das Sarma and D. W. Matula \\
                 Part VII. Elementary functions \\
                 26. Computation of elementary functions on the IBM RISC
                 system/6000 processor / P. W. Markstein \\
                 27. Accurate and monotone approximations of some
                 transcendental functions / W. Ferguson and T. Brightman
                 \\
                 28. The K5 transcendental functions / T. Lynch [et al.]
                 \\
                 29. Hardware designs for exactly rounded elementary
                 functions / M. J. Schulte and E. E. Swartzlander, Jr.
                 \\
                 30. Toward correctly rounded transcendentals / V.
                 Lefevre, Jean-Michel Muller and A. Tisserand \\
                 31. Reciprocation, square root, inverse square root and
                 some elementary functions using small multipliers / M.
                 Ercegovac [et al.] \\
                 32. Multipartite table methods / F. Dinechin and A.
                 Tisserand \\
                 Part VIII. Decimal floating-point arithmetic \\
                 33. A decimal floating-point specification / M. F.
                 Cowlishaw [et al.] \\
                 34. Decimal floating-point: Algorism for computers / M.
                 F. Cowlishaw \\
                 35. A software implementation of the IEEE 754R decimal
                 floating-point arithmetic using the binary encoded
                 format / M. Cornea [et al.] \\
                 36. Decimal floating-point multiplication, / M. A.
                 Erle, B. J. Hickmann and M. J. Schulte \\
                 37. A survey of hardware designs for decimal arithmetic
                 / L.-K. Wang [et al.]",
}


bibtype: proceedings
filename: fparith.bib
label: Montuschi:2016:ISC
editor: Paolo Montuschi and Michael Schulte and Javier Hormigo and Stuart Oberman and Nathalie Revol
publisher: pub-IEEE
address: pub-IEEE:adr
pages: xxi + 182
year: 2016
ISBN: 1-5090-1615-5 OR 1509016155
ISBN13: 978-1-5090-1615-0 OR 9781509016150
ISSN: 1063-6889 OR 10636889
LCCN: QA76.9.C62 S95 2016
bibdate: Fri Dec 16 15:16:45 2016
bibtimestamp: 2016.12.16 15:16:45 ???
URL: http://ieeexplore.ieee.org/servlet/opac?punumber=7562813
acknowledgement: ack-nhfb
raweditor: Paolo Montuschi and Michael Schulte and Javier Hormigo and Stuart Oberman and Nathalie Revol
booktitle:
2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH 2016), Santa Clara, California, USA, 10--13 July 2016

title:
2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH 2016), Santa Clara, California, USA, 10--13 July 2016

bibsource:
https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/mathcw.bib

keywords:
ARITH-23; computer arithmetic units; correctness proofs; cryptography; domain specific designs; error analysis; exascale computing; floating point arithmetic; floating-point error analysis; formal verification; function approximation; modular arithmetic; theorem proving; verification

rawbooktitle:
{2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH 2016), Santa Clara, California, USA, 10--13 July 2016}

rawtitle:
{2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH 2016), Santa Clara, California, USA, 10--13 July 2016}

entry:
@Proceedings{Montuschi:2016:ISC,
  editor =       "Paolo Montuschi and Michael Schulte and Javier Hormigo
                 and Stuart Oberman and Nathalie Revol",
  booktitle =    "{2016 IEEE 23nd Symposium on Computer Arithmetic
                 (ARITH 2016), Santa Clara, California, USA, 10--13 July
                 2016}",
  title =        "{2016 IEEE 23nd Symposium on Computer Arithmetic
                 (ARITH 2016), Santa Clara, California, USA, 10--13 July
                 2016}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xxi + 182",
  year =         "2016",
  ISBN =         "1-5090-1615-5",
  ISBN-13 =      "978-1-5090-1615-0",
  ISSN =         "1063-6889",
  LCCN =         "QA76.9.C62 S95 2016",
  bibdate =      "Fri Dec 16 15:16:45 2016",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/mathcw.bib",
  URL =          "http://ieeexplore.ieee.org/servlet/opac?punumber=7562813",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-23; computer arithmetic units; correctness
                 proofs; cryptography; domain specific designs; error
                 analysis; exascale computing; floating point
                 arithmetic; floating-point error analysis; formal
                 verification; function approximation; modular
                 arithmetic; theorem proving; verification",
}


bibtype: proceedings
filename: fparith.bib
label: Burgess:2017:ISC
editor: Neil Burgess and Javier Bruguera and Florent de Dinechin
booktitle: 24th IEEE Symposium on Computer Arithmetic (ARITH 24), London, UK, 24--26 July 2017
title: 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH 24), London, UK, 24--26 July 2017
publisher: pub-IEEE
address: pub-IEEE:adr
pages: xii + 198
year: 2017
ISBN: 1-5386-1966-0 (print), 1-5386-1965-2, 1-5386-1964-4 OR 1538619660 (print), 1538619652, 1538619644
ISSN: 1063-6889 OR 10636889
LCCN: QA76.9.C62 S95 2017
bibdate: Fri Nov 17 10:14:11 2017
bibtimestamp: 2017.11.17 10:14:11 ???
URL: http://ieeexplore.ieee.org/servlet/opac?punumber=8019911
acknowledgement: ack-nhfb
rawbooktitle: {24th IEEE Symposium on Computer Arithmetic (ARITH 24), London, UK, 24--26 July 2017}
raweditor: Neil Burgess and Javier Bruguera and Florent de Dinechin
rawtitle: {2017 IEEE 24th Symposium on Computer Arithmetic (ARITH 24), London, UK, 24--26 July 2017}
ISBN13:
978-1-5386-1966-7 (print), 978-1-5386-1965-0, 978-1-5386-1964-3 OR 9781538619667 (print), 9781538619650, 9781538619643

bibsource:
https://www.math.utah.edu/pub/bibnet/authors/h/higham-nicholas-john.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/gnu.bib

keywords:
ARITH-24; computer arithmetic units; correctness proofs; cryptography; domain specific designs; error analysis; exascale computing; floating point arithmetic; floating-point error analysis; formal verification; function approximation; modular arithmetic; theorem proving; verification

entry:
@Proceedings{Burgess:2017:ISC,
  editor =       "Neil Burgess and Javier Bruguera and Florent de
                 Dinechin",
  booktitle =    "{24th IEEE Symposium on Computer Arithmetic (ARITH
                 24), London, UK, 24--26 July 2017}",
  title =        "{2017 IEEE 24th Symposium on Computer Arithmetic
                 (ARITH 24), London, UK, 24--26 July 2017}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xii + 198",
  year =         "2017",
  ISBN =         "1-5386-1966-0 (print), 1-5386-1965-2, 1-5386-1964-4",
  ISBN-13 =      "978-1-5386-1966-7 (print), 978-1-5386-1965-0,
                 978-1-5386-1964-3",
  ISSN =         "1063-6889",
  LCCN =         "QA76.9.C62 S95 2017",
  bibdate =      "Fri Nov 17 10:14:11 2017",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/h/higham-nicholas-john.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/gnu.bib",
  URL =          "http://ieeexplore.ieee.org/servlet/opac?punumber=8019911",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-24; computer arithmetic units; correctness
                 proofs; cryptography; domain specific designs; error
                 analysis; exascale computing; floating point
                 arithmetic; floating-point error analysis; formal
                 verification; function approximation; modular
                 arithmetic; theorem proving; verification",
}


bibtype: proceedings
filename: fparith.bib
label: Desprez:2017:EPP
volume: 10104
publisher: Springer
address: Cham, Switzerland
pages: xxxix + 829
year: 2017
DOI: https://doi.org/10.1007/978-3-319-58943-5
ISBN: 3-319-58943-1 (e-book), 3-319-58943-1 (hardcover) OR 3319589431 (ebook), 3319589431 (hardcover)
LCCN: QA76.9.E94; QA76.758TK
bibdate: Mon Feb 10 06:29:59 MST 2020
bibsource: fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/fparith.bib
bibtimestamp: 2020.02.10 06:29:59 MST
series: ser-LNCS
acknowledgement: ack-nhfb
editor:
Frederic Desprez and Pierre-Francois Dutot and Christos Kaklamanis and Loris Marchal and Korbinian Molitorisz and Laura Ricci and Vittorio Scarano and Miguel A. Vega-Rodriguez and Ana Lucia Varbanescu and Sascha Hunold

booktitle:
Euro-Par 2016: Euro-Par 2016 International Workshops, Grenoble, France, August 24--26, 2016, Revised Selected Papers

title:
Euro-Par 2016: Euro-Par 2016 International Workshops, Grenoble, France, August 24--26, 2016, Revised Selected Papers

ISBN13:
978-3-319-58943-5 (e-book), 978-3-319-58943-5 (hardcover) OR 9783319589435 (ebook), 9783319589435 (hardcover)

abstract:
This book constitutes the proceedings of the workshops of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France in August 2016. The 65 full papers presented were carefully reviewed and selected from 95 submissions. The volume includes the papers from the following workshops: Euro-EDUPAR (Second European Workshop on Parallel and Distributed Computing Education for Undergraduate Students); HeteroPar 2016 (the 14th International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms); IWMSE (5th International Workshop on Multicore Software Engineering); LSDVE (Fourth Workshop on Large-Scale Distributed Virtual Environments) - PADABS (Fourth Workshop on Parallel and Distributed Agent-Based Simulations); PBio (Fourth International Workshop on Parallelism in Bioinformatics); PELGA (Second Workshop on Performance Engineering for Large-Scale Graph Analytics); REPPAR (Third International Workshop on Reproducibility in Parallel Computing); Resilience (9th Workshop in Resilience in High Performance Computing in Clusters, Clouds, and Grids); ROME (Fourth Workshop on Runtime and Operating Systems for the Many-Core Era); UCHPC (9th Workshop on UnConventional High-Performance Computing).

TOC:
Parallel and distributed computing education for undergraduate students. Algorithms, models and tools for parallel computing on heterogeneous platforms Multicore software engineering Large-scale distributed virtual environments Parallel and distributed agent-based simulations Parallelism in bioinformatics Performance engineering for large-scale graph analytics Reproducibility in parallel computing Resilience in high performance computing in clusters, clouds, and grids Runtime and operating systems for the many-core era UnConventional high-performance computing

rawabstract:
This book constitutes the proceedings of the workshops of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France in August 2016. The 65 full papers presented were carefully reviewed and selected from 95 submissions. The volume includes the papers from the following workshops: Euro-EDUPAR (Second European Workshop on Parallel and Distributed Computing Education for Undergraduate Students); HeteroPar 2016 (the 14th International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms); IWMSE (5th International Workshop on Multicore Software Engineering); LSDVE (Fourth Workshop on Large-Scale Distributed Virtual Environments) - PADABS (Fourth Workshop on Parallel and Distributed Agent-Based Simulations); PBio (Fourth International Workshop on Parallelism in Bioinformatics); PELGA (Second Workshop on Performance Engineering for Large-Scale Graph Analytics); REPPAR (Third International Workshop on Reproducibility in Parallel Computing); Resilience (9th Workshop in Resilience in High Performance Computing in Clusters, Clouds, and Grids); ROME (Fourth Workshop on Runtime and Operating Systems for the Many-Core Era); UCHPC (9th Workshop on UnConventional High-Performance Computing).

rawbooktitle:
{Euro-Par 2016: Euro-Par 2016 International Workshops, Grenoble, France, August 24--26, 2016, Revised Selected Papers}

raweditor:
Fr{\'e}d{\'e}ric Desprez and Pierre-Fran{\c{c}}ois Dutot and Christos Kaklamanis and Loris Marchal and Korbinian Molitorisz and Laura Ricci and Vittorio Scarano and Miguel A. Vega-Rodr{\'i}guez and Ana Lucia Varbanescu and Sascha Hunold

rawtitle:
{Euro-Par 2016: Euro-Par 2016 International Workshops, Grenoble, France, August 24--26, 2016, Revised Selected Papers}

rawTOC:
Parallel and distributed computing education for undergraduate students.\\ Algorithms, models and tools for parallel computing on heterogeneous platforms \\ Multicore software engineering \\ Large-scale distributed virtual environments \\ Parallel and distributed agent-based simulations \\ Parallelism in bioinformatics \\ Performance engineering for large-scale graph analytics \\ Reproducibility in parallel computing \\ Resilience in high performance computing in clusters, clouds, and grids \\ Runtime and operating systems for the many-core era \\ UnConventional high-performance computing

entry:
@Proceedings{Desprez:2017:EPP,
  editor =       "Fr{\'e}d{\'e}ric Desprez and Pierre-Fran{\c{c}}ois
                 Dutot and Christos Kaklamanis and Loris Marchal and
                 Korbinian Molitorisz and Laura Ricci and Vittorio
                 Scarano and Miguel A. Vega-Rodr{\'i}guez and Ana Lucia
                 Varbanescu and Sascha Hunold",
  booktitle =    "{Euro-Par 2016: Euro-Par 2016 International Workshops,
                 Grenoble, France, August 24--26, 2016, Revised Selected
                 Papers}",
  title =        "{Euro-Par 2016: Euro-Par 2016 International Workshops,
                 Grenoble, France, August 24--26, 2016, Revised Selected
                 Papers}",
  volume =       "10104",
  publisher =    "Springer",
  address =      "Cham, Switzerland",
  pages =        "xxxix + 829",
  year =         "2017",
  DOI =          "https://doi.org/10.1007/978-3-319-58943-5",
  ISBN =         "3-319-58943-1 (e-book), 3-319-58943-1 (hardcover)",
  ISBN-13 =      "978-3-319-58943-5 (e-book), 978-3-319-58943-5
                 (hardcover)",
  LCCN =         "QA76.9.E94; QA76.758TK",
  bibdate =      "Mon Feb 10 06:29:59 MST 2020",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  series =       ser-LNCS,
  abstract =     "This book constitutes the proceedings of the workshops
                 of the 23rd International Conference on Parallel and
                 Distributed Computing, Euro-Par 2016, held in Grenoble,
                 France in August 2016. The 65 full papers presented
                 were carefully reviewed and selected from 95
                 submissions. The volume includes the papers from the
                 following workshops: Euro-EDUPAR (Second European
                 Workshop on Parallel and Distributed Computing
                 Education for Undergraduate Students); HeteroPar 2016
                 (the 14th International Workshop on Algorithms, Models
                 and Tools for Parallel Computing on Heterogeneous
                 Platforms); IWMSE (5th International Workshop on
                 Multicore Software Engineering); LSDVE (Fourth Workshop
                 on Large-Scale Distributed Virtual Environments) -
                 PADABS (Fourth Workshop on Parallel and Distributed
                 Agent-Based Simulations); PBio (Fourth International
                 Workshop on Parallelism in Bioinformatics); PELGA
                 (Second Workshop on Performance Engineering for
                 Large-Scale Graph Analytics); REPPAR (Third
                 International Workshop on Reproducibility in Parallel
                 Computing); Resilience (9th Workshop in Resilience in
                 High Performance Computing in Clusters, Clouds, and
                 Grids); ROME (Fourth Workshop on Runtime and Operating
                 Systems for the Many-Core Era); UCHPC (9th Workshop on
                 UnConventional High-Performance Computing).",
  acknowledgement = ack-nhfb,
  meetingname =  "Euro-Par (2016 : Grenoble)",
  tableofcontents = "Parallel and distributed computing education for
                 undergraduate students.\\
                 Algorithms, models and tools for parallel computing on
                 heterogeneous platforms \\
                 Multicore software engineering \\
                 Large-scale distributed virtual environments \\
                 Parallel and distributed agent-based simulations \\
                 Parallelism in bioinformatics \\
                 Performance engineering for large-scale graph analytics
                 \\
                 Reproducibility in parallel computing \\
                 Resilience in high performance computing in clusters,
                 clouds, and grids \\
                 Runtime and operating systems for the many-core era \\
                 UnConventional high-performance computing",
}


bibtype: proceedings
filename: fparith.bib
label: Matthews:2017:CRF
editor: Michael B. Matthews
publisher: pub-IEEE
address: pub-IEEE:adr
pages: xxx + 2058
year: 2017
LCCN: TK7801
bibdate: Mon Feb 10 08:40:43 MST 2020
bibsource: fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/fparith.bib
bibtimestamp: 2020.02.10 08:40:43 MST
URL: http://ieeexplore.ieee.org/servlet/opac?punumber=8330843
acknowledgement: ack-nhfb
raweditor: Michael B. Matthews
booktitle:
Conference record of the Fifty-First Asilomar Conference on Signals, Systems and Computers, October 29--November 1, 2017 Pacific Grove, California

title:
Conference record of the Fifty-First Asilomar Conference on Signals, Systems and Computers, October 29--November 1, 2017 Pacific Grove, California

ISBN:
1-5386-1824-9 (print), 1-5386-0666-6, 1-5386-1823-0 (e-book) OR 1538618249 (print), 1538606666, 1538618230 (ebook)

ISBN13:
978-1-5386-1824-0 (print), 978-1-5386-0666-7, 978-1-5386-1823-3 (e-book) OR 9781538618240 (print), 9781538606667, 9781538618233 (ebook)

rawbooktitle:
{Conference record of the Fifty-First Asilomar Conference on Signals, Systems and Computers, October 29--November 1, 2017 Pacific Grove, California}

rawtitle:
{Conference record of the Fifty-First Asilomar Conference on Signals, Systems and Computers, October 29--November 1, 2017 Pacific Grove, California}

entry:
@Proceedings{Matthews:2017:CRF,
  editor =       "Michael B. Matthews",
  booktitle =    "{Conference record of the Fifty-First Asilomar
                 Conference on Signals, Systems and Computers, October
                 29--November 1, 2017 Pacific Grove, California}",
  title =        "{Conference record of the Fifty-First Asilomar
                 Conference on Signals, Systems and Computers, October
                 29--November 1, 2017 Pacific Grove, California}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xxx + 2058",
  year =         "2017",
  ISBN =         "1-5386-1824-9 (print), 1-5386-0666-6, 1-5386-1823-0
                 (e-book)",
  ISBN-13 =      "978-1-5386-1824-0 (print), 978-1-5386-0666-7,
                 978-1-5386-1823-3 (e-book)",
  LCCN =         "TK7801",
  bibdate =      "Mon Feb 10 08:40:43 MST 2020",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  URL =          "http://ieeexplore.ieee.org/servlet/opac?punumber=8330843",
  acknowledgement = ack-nhfb,
}


bibtype: proceedings
filename: fparith.bib
label: ACM:2018:CNG
editor: ACM
booktitle: Conference for Next Generation Arithmetic (Resorts World Convention Centre, Singapore): (CoNGA '18)
title: Conference for Next Generation Arithmetic (Resorts World Convention Centre, Singapore): (CoNGA '18)
publisher: pub-ACM
address: pub-ACM:adr
pages: 37
year: 2018
bibdate: Sun Dec 10 14:24:09 2023
bibsource: https://www.math.utah.edu/pub/tex/bib/fparith.bib
bibtimestamp: 2023.12.10 14:24:09 ???
remark: No ISBN seems to have been assigned.
acknowledgement: ack-nhfb
raweditor: {ACM}
TOC:
1: A Matrix-Multiply Unit for Posits in Reconfigurable Logic Using (OPEN)CAPI / Jianyu Chen, Zaid Al-Ars 2: Provably Correct Posit Arithmetic with Fixed-Point Big Integer / Shin Yee Chung 3: The Slide Number Format / Ignaz Kohlbecker 4: High-level .NET Software Implementations of Unum Type I and Posit with Simultaneous FPGA Implementation Using Hastlayer / Zoltan Lehoczky, Andras Retzler, Richard Toth, Almos Szabo, Benedek Farkas and Krisztian Somogyi 5: Universal Coding of the Reals: Alternatives to IEEE Floating Point / Peter Lindstrom, Scott Lloyd and Jeffrey Hittinger

rawbooktitle:
Conference for Next Generation Arithmetic ({Resorts World Convention Centre, Singapore}): ({CoNGA '18})

rawtitle:
Conference for Next Generation Arithmetic ({Resorts World Convention Centre, Singapore}): ({CoNGA '18})

rawTOC:
1: A Matrix-Multiply Unit for Posits in Reconfigurable Logic Using (OPEN)CAPI / Jianyu Chen, Zaid Al-Ars \\ 2: Provably Correct Posit Arithmetic with Fixed-Point Big Integer / Shin Yee Chung \\ 3: The Slide Number Format / Ignaz Kohlbecker \\ 4: High-level .NET Software Implementations of Unum Type I and Posit with Simultaneous FPGA Implementation Using Hastlayer / Zolt{\'a}n Leh{\'o}czky, Andr{\'a}s Retzler, Rich{\'a}rd T{\'o}th, {\'A}lmos Szab{\'o}, Benedek Farkas and Kriszti{\'a}n Somogyi \\ 5: Universal Coding of the Reals: Alternatives to IEEE Floating Point / Peter Lindstrom, Scott Lloyd and Jeffrey Hittinger

entry:
@Proceedings{ACM:2018:CNG,
  editor =       "{ACM}",
  booktitle =    "Conference for Next Generation Arithmetic ({Resorts
                 World Convention Centre, Singapore}): ({CoNGA '18})",
  title =        "Conference for Next Generation Arithmetic ({Resorts
                 World Convention Centre, Singapore}): ({CoNGA '18})",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "37",
  year =         "2018",
  bibdate =      "Sun Dec 10 14:24:09 2023",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  acknowledgement = ack-nhfb,
  remark =       "No ISBN seems to have been assigned.",
  tableofcontents = "1: A Matrix-Multiply Unit for Posits in
                 Reconfigurable Logic Using (OPEN)CAPI / Jianyu Chen,
                 Zaid Al-Ars \\
                 2: Provably Correct Posit Arithmetic with Fixed-Point
                 Big Integer / Shin Yee Chung \\
                 3: The Slide Number Format / Ignaz Kohlbecker \\
                 4: High-level .NET Software Implementations of Unum
                 Type I and Posit with Simultaneous FPGA Implementation
                 Using Hastlayer / Zolt{\'a}n Leh{\'o}czky, Andr{\'a}s
                 Retzler, Rich{\'a}rd T{\'o}th, {\'A}lmos Szab{\'o},
                 Benedek Farkas and Kriszti{\'a}n Somogyi \\
                 5: Universal Coding of the Reals: Alternatives to IEEE
                 Floating Point / Peter Lindstrom, Scott Lloyd and
                 Jeffrey Hittinger",
}


bibtype: proceedings
filename: fparith.bib
label: Tenca:2018:PIS
editor: Alexandre Tenca and Naofumi Takagi
publisher: pub-IEEE
address: pub-IEEE:adr
pages: 17 + 152
month: jun
monthnumber: 6
year: 2018
DOI: https://doi.org/10.1109/ARITH.2018.8464697
ISBN: 1-5386-2612-8 (USB), 1-5386-2665-9 OR 1538626128 (USB), 1538626659
ISSN: 2576-2265 OR 25762265
LCCN: QA76.9.C62
bibdate: Fri Jan 31 08:05:31 2020
bibtimestamp: 2020.01.31 08:05:31 ???
note: IEEE catalog number CFP18121-USB.
abstract: Presents the title page of the proceedings record.
acknowledgement: ack-nhfb
rawabstract: Presents the title page of the proceedings record.
raweditor: Alexandre Tenca and Naofumi Takagi
rawnote: IEEE catalog number CFP18121-USB.
booktitle:
Proceedings of the 25th International Symposium on Computer Arithmetic, 25--27 June 2018 Amherst, MA, USA

title:
Proceedings of the 25th International Symposium on Computer Arithmetic, 25--27 June 2018 Amherst, MA, USA

ISBN13:
978-1-5386-2612-2 (USB), 978-1-5386-2613-9, 978-1-5386-2665-8 OR 9781538626122 (USB), 9781538626139, 9781538626658

bibsource:
https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib

subject:
ARITH-25; Computer arithmetic; Congresses; Computer programming; Floating-point arithmetic; Computer arithmetic and logic units

rawbooktitle:
Proceedings of the {25th International Symposium on Computer Arithmetic, 25--27 June 2018 Amherst, MA, USA}

rawtitle:
Proceedings of the {25th International Symposium on Computer Arithmetic, 25--27 June 2018 Amherst, MA, USA}

entry:
@Proceedings{Tenca:2018:PIS,
  editor =       "Alexandre Tenca and Naofumi Takagi",
  booktitle =    "Proceedings of the {25th International Symposium on
                 Computer Arithmetic, 25--27 June 2018 Amherst, MA,
                 USA}",
  title =        "Proceedings of the {25th International Symposium on
                 Computer Arithmetic, 25--27 June 2018 Amherst, MA,
                 USA}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "17 + 152",
  month =        jun,
  year =         "2018",
  DOI =          "https://doi.org/10.1109/ARITH.2018.8464697",
  ISBN =         "1-5386-2612-8 (USB), 1-5386-2665-9",
  ISBN-13 =      "978-1-5386-2612-2 (USB), 978-1-5386-2613-9,
                 978-1-5386-2665-8",
  ISSN =         "2576-2265",
  LCCN =         "QA76.9.C62",
  bibdate =      "Fri Jan 31 08:05:31 2020",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  note =         "IEEE catalog number CFP18121-USB.",
  abstract =     "Presents the title page of the proceedings record.",
  acknowledgement = ack-nhfb,
  subject =      "ARITH-25; Computer arithmetic; Congresses; Computer
                 programming; Floating-point arithmetic; Computer
                 arithmetic and logic units",
}


bibtype: proceedings
filename: fparith.bib
label: Gustafson:2019:CPC
editor: John Gustafson and Vassil Dimitrov
booktitle: CoNGA'19: Proceedings of the Conference for Next Generation Arithmetic 2019, Singapore, March 2019
title: CoNGA'19: Proceedings of the Conference for Next Generation Arithmetic 2019, Singapore, March 2019
publisher: pub-ACM
address: pub-ACM:adr
pages: 66
year: 2019
ISBN: 1-4503-7139-6 OR 1450371396
ISBN13: 978-1-4503-7139-1 OR 9781450371391
bibdate: Mon Feb 10 12:06:51 MST 2020
bibsource: fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/fparith.bib
bibtimestamp: 2020.02.10 12:06:51 MST
series: ICPS
subject: Computer arithmetic; Congresses; Computer algorithms; Computer algorithms.; Computer arithmetic.
acknowledgement: ack-nhfb
raweditor: John Gustafson and Vassil Dimitrov
TOC:
Milan Klower and Peter D. Duben and Tim N. Palmer / Posits as an Alternative to Floats for Weather and Climate Models / https://doi.org/10.1145/3316279.3316281 / 1:1--1:8 Andrea Bocco and Yves Durand and Florent de Dinechin / SMURF: Scalar Multiple-precision Unum RISC-V Floating-point Accelerator for Scientific Computing / https://doi.org/10.1145/3316279.3316280 / 1:1--1:8 Zachariah Carmichael and Hamed F. Langroudi and Char Khazanov and Jeffrey Lillie and John L. Gustafson and Dhireesha Kudithipudi / Performance-Efficiency Trade-off of Low-Precision Numerical Formats in Deep Neural Networks / https://doi.org/10.1145/3316279.3316282 / 3:1--3:9 Bill Zorn and Dan Grossman and Zach Tatlock / Sinking Point: Dynamic Precision Tracking for Floating-Point / https://doi.org/10.1145/3316279.3316283 / 4:1--4:8 Laurens van Dam and Johan Peltenburg and Zaid Al-Ars and H. Peter Hofstee / An Accelerator for Posit Arithmetic Targeting Posit Level 1 BLAS Routines and Pair-HMM / https://doi.org/10.1145/3316279.3316284 / 5:1--5:10 Florent de Dinechin and Luc Forget and Jean-Michel Muller and Yohann Uguen / Posits: The Good, the Bad and the Ugly / https://doi.org/10.1145/3316279.3316285 / 6:1--6:10 Peter Lindstrom / Universal Coding of the Reals Using Bisection / https://doi.org/10.1145/3316279.3316286 / 7:1--7:10

rawbooktitle:
{CoNGA'19: Proceedings of the Conference for Next Generation Arithmetic 2019, Singapore, March 2019}

rawtitle:
{CoNGA'19: Proceedings of the Conference for Next Generation Arithmetic 2019, Singapore, March 2019}

rawTOC:
Milan Kl{\"o}wer and Peter D. D{\"u}ben and Tim N. Palmer / Posits as an Alternative to Floats for Weather and Climate Models / https://doi.org/10.1145/3316279.3316281 / 1:1--1:8 \\ Andrea Bocco and Yves Durand and Florent de Dinechin / SMURF: Scalar Multiple-precision Unum RISC-V Floating-point Accelerator for Scientific Computing / https://doi.org/10.1145/3316279.3316280 / 1:1--1:8 \\ Zachariah Carmichael and Hamed F. Langroudi and Char Khazanov and Jeffrey Lillie and John L. Gustafson and Dhireesha Kudithipudi / Performance-Efficiency Trade-off of Low-Precision Numerical Formats in Deep Neural Networks / https://doi.org/10.1145/3316279.3316282 / 3:1--3:9 \\ Bill Zorn and Dan Grossman and Zach Tatlock / Sinking Point: Dynamic Precision Tracking for Floating-Point / https://doi.org/10.1145/3316279.3316283 / 4:1--4:8 \\ Laurens van Dam and Johan Peltenburg and Zaid Al-Ars and H. Peter Hofstee / An Accelerator for Posit Arithmetic Targeting Posit Level 1 BLAS Routines and Pair-HMM / https://doi.org/10.1145/3316279.3316284 / 5:1--5:10 \\ Florent de Dinechin and Luc Forget and Jean-Michel Muller and Yohann Uguen / Posits: The Good, the Bad and the Ugly / https://doi.org/10.1145/3316279.3316285 / 6:1--6:10 \\ Peter Lindstrom / Universal Coding of the Reals Using Bisection / https://doi.org/10.1145/3316279.3316286 / 7:1--7:10

entry:
@Proceedings{Gustafson:2019:CPC,
  editor =       "John Gustafson and Vassil Dimitrov",
  booktitle =    "{CoNGA'19: Proceedings of the Conference for Next
                 Generation Arithmetic 2019, Singapore, March 2019}",
  title =        "{CoNGA'19: Proceedings of the Conference for Next
                 Generation Arithmetic 2019, Singapore, March 2019}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "66",
  year =         "2019",
  ISBN =         "1-4503-7139-6",
  ISBN-13 =      "978-1-4503-7139-1",
  LCCN =         "????",
  bibdate =      "Mon Feb 10 12:06:51 MST 2020",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  series =       "ICPS",
  acknowledgement = ack-nhfb,
  meetingname =  "Conference for Next Generation Arithmetic (2019 :
                 Singapore)",
  subject =      "Computer arithmetic; Congresses; Computer algorithms;
                 Computer algorithms.; Computer arithmetic.",
  tableofcontents = "Milan Kl{\"o}wer and Peter D. D{\"u}ben and Tim N.
                 Palmer / Posits as an Alternative to Floats for Weather
                 and Climate Models /
                 https://doi.org/10.1145/3316279.3316281 / 1:1--1:8 \\
                 Andrea Bocco and Yves Durand and Florent de Dinechin /
                 SMURF: Scalar Multiple-precision Unum RISC-V
                 Floating-point Accelerator for Scientific Computing /
                 https://doi.org/10.1145/3316279.3316280 / 1:1--1:8 \\
                 Zachariah Carmichael and Hamed F. Langroudi and Char
                 Khazanov and Jeffrey Lillie and John L. Gustafson and
                 Dhireesha Kudithipudi / Performance-Efficiency
                 Trade-off of Low-Precision Numerical Formats in Deep
                 Neural Networks /
                 https://doi.org/10.1145/3316279.3316282 / 3:1--3:9 \\
                 Bill Zorn and Dan Grossman and Zach Tatlock / Sinking
                 Point: Dynamic Precision Tracking for Floating-Point /
                 https://doi.org/10.1145/3316279.3316283 / 4:1--4:8 \\
                 Laurens van Dam and Johan Peltenburg and Zaid Al-Ars
                 and H. Peter Hofstee / An Accelerator for Posit
                 Arithmetic Targeting Posit Level 1 BLAS Routines and
                 Pair-HMM / https://doi.org/10.1145/3316279.3316284 /
                 5:1--5:10 \\
                 Florent de Dinechin and Luc Forget and Jean-Michel
                 Muller and Yohann Uguen / Posits: The Good, the Bad and
                 the Ugly / https://doi.org/10.1145/3316279.3316285 /
                 6:1--6:10 \\
                 Peter Lindstrom / Universal Coding of the Reals Using
                 Bisection / https://doi.org/10.1145/3316279.3316286 /
                 7:1--7:10",
}


bibtype: proceedings
filename: fparith.bib
label: Takagi:2019:ISC
editor: Naofumi Takagi and Sylvie Boldo and Martin Langhammer
booktitle: 2019 IEEE 26th Symposium on Computer Arithmetic ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019
title: 2019 IEEE 26th Symposium on Computer Arithmetic ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019
publisher: pub-IEEE
address: pub-IEEE:adr
pages: 15 + 220
month: jun
monthnumber: 6
year: 2019
DOI: https://doi.org/10.1109/ARITH.2019.00001
ISBN: 1-72813-366-1 OR 1728133661
ISBN13: 978-1-72813-366-9 OR 9781728133669
ISSN: 1063-6889 OR 10636889
ISSNL: 1063-6889 OR 10636889
bibdate: Fri Jan 31 08:18:07 2020
bibtimestamp: 2020.01.31 08:18:07 ???
abstract: Presents the title page of the proceedings record.
keywords: ARITH-26
acknowledgement: ack-nhfb
rawabstract: Presents the title page of the proceedings record.
rawbooktitle: {2019 IEEE 26th Symposium on Computer Arithmetic ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019}
raweditor: Naofumi Takagi and Sylvie Boldo and Martin Langhammer
rawtitle: {2019 IEEE 26th Symposium on Computer Arithmetic ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019}
bibsource:
https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib

entry:
@Proceedings{Takagi:2019:ISC,
  editor =       "Naofumi Takagi and Sylvie Boldo and Martin
                 Langhammer",
  booktitle =    "{2019 IEEE 26th Symposium on Computer Arithmetic
                 ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019}",
  title =        "{2019 IEEE 26th Symposium on Computer Arithmetic
                 ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "15 + 220",
  month =        jun,
  year =         "2019",
  DOI =          "https://doi.org/10.1109/ARITH.2019.00001",
  ISBN =         "1-72813-366-1",
  ISBN-13 =      "978-1-72813-366-9",
  ISSN =         "1063-6889",
  ISSN-L =       "1063-6889",
  bibdate =      "Fri Jan 31 08:18:07 2020",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  abstract =     "Presents the title page of the proceedings record.",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-26",
}


bibtype: proceedings
filename: fparith.bib
label: Cornea:2020:ISC
editor: Marius Cornea and Weiqiang Liu and Arnaud Tisserand
publisher: pub-IEEE
address: pub-IEEE:adr
pages: 15 + 220
year: 2020
DOI: https://doi.org/10.1109/ARITH48897.2020
ISBN: 1-72817-120-2, 1-72817-121-0 OR 1728171202, 1728171210
ISBN13: 978-1-72817-120-3, 978-1-72817-121-0 OR 9781728171203, 9781728171210
bibdate: Wed Jul 7 06:23:45 MDT 2021
bibtimestamp: 2021.07.07 06:23:45 MDT
URL: https://ieeexplore.ieee.org/servlet/opac?punumber=9146973
keywords: ARITH-27
acknowledgement: ack-nhfb
raweditor: Marius Cornea and Weiqiang Liu and Arnaud Tisserand
booktitle:
2020 27th IEEE Symposium on Computer Arithmetic: ARITH 2020: proceedings: Portland, Oregon, USA, 7--10 June 2020

title:
2020 27th IEEE Symposium on Computer Arithmetic: ARITH 2020: proceedings: Portland, Oregon, USA, 7--10 June 2020

bibsource:
fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/benfords-law.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib

rawbooktitle:
{2020 27th IEEE Symposium on Computer Arithmetic: ARITH 2020: proceedings: Portland, Oregon, USA, 7--10 June 2020}

rawtitle:
{2020 27th IEEE Symposium on Computer Arithmetic: ARITH 2020: proceedings: Portland, Oregon, USA, 7--10 June 2020}

entry:
@Proceedings{Cornea:2020:ISC,
  editor =       "Marius Cornea and Weiqiang Liu and Arnaud Tisserand",
  booktitle =    "{2020 27th IEEE Symposium on Computer Arithmetic:
                 ARITH 2020: proceedings: Portland, Oregon, USA, 7--10
                 June 2020}",
  title =        "{2020 27th IEEE Symposium on Computer Arithmetic:
                 ARITH 2020: proceedings: Portland, Oregon, USA, 7--10
                 June 2020}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  year =         "2020",
  DOI =          "https://doi.org/10.1109/ARITH48897.2020",
  ISBN =         "1-72817-120-2, 1-72817-121-0",
  ISBN-13 =      "978-1-72817-120-3, 978-1-72817-121-0",
  LCCN =         "????",
  bibdate =      "Wed Jul 7 06:23:45 MDT 2021",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/tex/bib/benfords-law.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  URL =          "https://ieeexplore.ieee.org/servlet/opac?punumber=9146973",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-27",
}


bibtype: proceedings
filename: fparith.bib
label: IEEE:2020:SPI
editor: IEEE
publisher: pub-IEEE
address: pub-IEEE:adr
year: 2020
DOI: https://doi.org/10.1109/SC41405.2020
ISBN: 1-72819-998-0, 1-72819-999-9 (printondemand) OR 1728199980, 1728199999 (printondemand)
LCCN: QA76.88
bibdate: Mon Sep 11 06:40:11 2023
bibsource: https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/python.bib
bibtimestamp: 2023.09.11 06:40:11 ???
acknowledgement: ack-nhfb
raweditor: {IEEE}
booktitle:
SC'20: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (Atlanta, Georgia, November 9--19, 2020)

title:
SC'20: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (Atlanta, Georgia, November 9--19, 2020)

ISBN13:
978-1-72819-998-6, 978-1-72819-999-3 (printondemand) OR 9781728199986, 9781728199993 (printondemand)

rawbooktitle:
{SC'20: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (Atlanta, Georgia, November 9--19, 2020)}

rawtitle:
{SC'20: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (Atlanta, Georgia, November 9--19, 2020)}

entry:
@Proceedings{IEEE:2020:SPI,
  editor =       "{IEEE}",
  booktitle =    "{SC'20: Proceedings of the International Conference
                 for High Performance Computing, Networking, Storage and
                 Analysis (Atlanta, Georgia, November 9--19, 2020)}",
  title =        "{SC'20: Proceedings of the International Conference
                 for High Performance Computing, Networking, Storage and
                 Analysis (Atlanta, Georgia, November 9--19, 2020)}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "????",
  year =         "2020",
  DOI =          "https://doi.org/10.1109/SC41405.2020",
  ISBN =         "1-72819-998-0, 1-72819-999-9 (printondemand)",
  ISBN-13 =      "978-1-72819-998-6, 978-1-72819-999-3 (printondemand)",
  LCCN =         "QA76.88",
  bibdate =      "Mon Sep 11 06:40:11 2023",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/python.bib",
  acknowledgement = ack-nhfb,
}


bibtype: proceedings
filename: fparith.bib
label: Krzhizhanovskaya:2020:CSI
volume: 12138
publisher: pub-SV
address: pub-SV:adr
pages: xix + 697
year: 2020
DOI: https://doi.org/10.1007/978-3-030-50417-5
ISBN: 3-030-50416-6, 3-030-50417-4 (e-book) OR 3030504166, 3030504174 (ebook)
ISBN13: 978-3-030-50416-8, 978-3-030-50417-5 (e-book) OR 9783030504168, 9783030504175 (ebook)
ISSN: 0302-9743 (print), 1611-3349 (electronic) OR 03029743 (print), 16113349 (electronic)
bibdate: Thu Jun 25 08:21:10 2020
bibtimestamp: 2020.06.25 08:21:10 ???
series: ser-LNCS
URL: https://link.springer.com/book/10.1007/978-3-030-50417-5
acknowledgement: ack-nhfb
editor:
Valeria V. Krzhizhanovskaya and Gabor Zavodszky and Michael H. Lees and Jack J. Dongarra and Peter M. A. Sloot and Sergio Brissos and Joao Teixeira

booktitle:
Computational Science --- ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3--5, 2020, Proceedings, Part II

title:
Computational Science --- ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3--5, 2020, Proceedings, Part II

bibsource:
https://www.math.utah.edu/pub/bibnet/authors/d/dongarra-jack-j.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/julia.bib; https://www.math.utah.edu/pub/tex/bib/matlab.bib; https://www.math.utah.edu/pub/tex/bib/prng.bib

TOC:
Front Matter / / i--xix Modified Binary Tree in the Fast PIES for 2D Problems with Complex Shapes / Andrzej Kuzelewski, Eugeniusz Zieniuk, Agnieszka Boltuc, Krzystof Szerszen / 1--14 Generating Random Floating--Point Numbers by Dividing Integers: A Case Study / Frederic Goualard / 15--28 An Effective Stable Numerical Method for Integrating Highly Oscillating Functions with a Linear Phase / Leonid A. Sevastianov, Konstantin P. Lovetskiy, Dmitry S. Kulyabov / 29--43 Fitting Penalized Logistic Regression Models Using QR Factorization / Jacek Klimaszewski, Marcin Korzen / 44--57 Uncertainty Quantification in Fractional Stochastic Integro--Differential Equations Using Legendre Wavelet Collocation Method / Abhishek Kumar Singh, Mani Mehra / 58--71 A Direct High--Order Curvilinear Triangular Mesh Generation Method Using an Advancing Front Technique / Fariba Mohammadi, Shusil Dangi, Suzanne M. Shontz, Cristian A. Linte / 72--85 Data--Driven Partial Differential Equations Discovery Approach for the Noised Multi--dimensional Data / Mikhail Maslyaev, Alexander Hvatov, Anna Kalyuzhnaya / 86--100 Preconditioning Jacobian Systems by Superimposing Diagonal Blocks / M. Ali Rostami, H. Martin Bucker / 101--115 NURBS Curves in Parametric Integral Equations System for Modeling and Solving Boundary Value Problems in Elasticity / Marta Kapturczak, Eugeniusz Zieniuk, Andrzej Kuzelewski / 116--123 Parameterizations and Lagrange Cubics for Fitting Multidimensional Data / Ryszard Kozera, Lyle Noakes, Magdalena Wilkolazka / 124--140 Loop Aggregation for Approximate Scientific Computing / June Sallou, Alexandre Gauvain, Johann Bourcier, Benoit Combemale, Jean--Raynald de Dreuzy / 141--155 Numerical Computation for a Flow Caused by a High--Speed Traveling Train and a Stationary Overpass / Shotaro Hamato, Masashi Yamakawa, Yongmann M. Chung, Shinichi Asao / 156--169 Bezier Surfaces for Modeling Inclusions in PIES / Agnieszka Boltuc, Eugeniusz Zieniuk, Krzysztof Szerszen, Andrzej Kuzelewski / 170--183 Impact of Water on Methane Adsorption in Nanopores: A Hybrid GCMC--MD Simulation Study / Ji Zhou, Wenbin Jiang, Mian Lin, Lili Ji, Gaohui Cao / 184--196 A Stable Discontinuous Galerkin Based Isogeometric Residual Minimization for the Stokes Problem / Marcin Los, Sergio Rojas, Maciej Paszynski, Ignacio Muga, Victor M. Calo / 197--211 Numerical Modeling of the Two--Phase Flow of Water with Ice in the Tom River / Vladislava Churuksaeva, Alexander Starchenko / 212--224 Remarks on Kaczmarz Algorithm for Solving Consistent and Inconsistent System of Linear Equations / Xinyin Huang, Gang Liu, Qiang Niu / 225--236 Investigating the Benefit of FP16--Enabled Mixed--Precision Solvers for Symmetric Positive Definite Matrices Using GPUs / Ahmad Abdelfattah, Stan Tomov, Jack Dongarra / 237--250 Simulation Versus an Ordered Fuzzy--Numbers--Driven Approach to the Multi--depot Vehicle Cyclic Routing and Scheduling Problem / Grzegorz Bocewicz, Zbigniew Banaszak, Czeslaw Smutnicki, Katarzyna Rudnik, Marcin Witczak, Robert Wojcik / 251--266 Epigenetic Modification of Genetic Algorithm / Kornel Chrominski, Magdalena Tkacz, Mariusz Boryczka / 267--278 ITP--KNN: Encrypted Video Flow Identification Based on the Intermittent Traffic Pattern of Video and $K$-Nearest Neighbors Classification / Youting Liu, Shu Li, Chengwei Zhang, Chao Zheng, Yong Sun, Qingyun Liu / 279--293 DeepAD: A Joint Embedding Approach for Anomaly Detection on Attributed Networks / Dali Zhu, Yuchen Ma, Yinlong Liu / 294--307 SciNER: Extracting Named Entities from Scientific Literature / Zhi Hong, Roselyne Tchoua, Kyle Chard, Ian Foster / 308--321 GPU--Embedding of kNN--Graph Representing Large and High--Dimensional Data / Bartosz Minch, Mateusz Nowak, Rafal Wcislo, Witold Dzwinel / 322--336 Evolving Long Short--Term Memory Networks / Vicente Coelho Lobo Neto, Leandro Aparecido Passos, Joao Paulo Papa / 337--350 Personality Recognition from Source Code Based on Lexical, Syntactic and Semantic Features / Mikolaj Biel, Marcin Kuta, Jacek Kitowski / 351--363 Data Fitting by Exponential Sums with Equal Weights / Petr Chunaev, Ildar Safiullin / 364--371 A Combination of Moment Descriptors, Fourier Transform and Matching Measures for Action Recognition Based on Shape / Katarzyna Gosciewska, Dariusz Frejlichowski / 372--386 Improving Accuracy and Speeding Up Document Image Classification Through Parallel Systems / Javier Ferrando, Juan Luis Dominguez, Jordi Torres, Raul Garcia, David Garcia, Daniel Garrido et al. / 387--400 Computation of the Airborne Contaminant Transport in Urban Area by the Artificial Neural Network / Anna Wawrzynczak, Monika Berendt--Marchel / 401--413 Exploring Musical Structure Using Tonnetz Lattice Geometry and LSTMs / Manuchehr Aminian, Eric Kehoe, Xiaofeng Ma, Amy Peterson, Michael Kirby / 414--424 Modeling of Anti--tracking Network Based on Convex--Polytope Topology / Changbo Tian, Yongzheng Zhang, Tao Yin / 425--438 A Workload Division Differential Privacy Algorithm to Improve the Accuracy for Linear Computations / Jun Li, Huan Ma, Guangjun Wu, Yanqin Zhang, Bingnan Ma, Zhen Hui et al. / 439--452 On the Automated Assessment of Open--Source Cyber Threat Intelligence Sources / Andrea Tundis, Samuel Ruppert, Max Muhlhauser / 453--467 Malicious Domain Detection Based on K--means and SMOTE / Qing Wang, Linyu Li, Bo Jiang, Zhigang Lu, Junrong Liu, Shijie Jian / 468--481 Microservice Disaster Crash Recovery: A Weak Global Referential Integrity Management / Maude Manouvrier, Cesare Pautasso, Marta Rukoz / 482--495 Hashing Based Prediction for Large--Scale Kernel Machine / Lijing Lu, Rong Yin, Yong Liu, Weiping Wang / 496--509 Picking Peaches or Squeezing Lemons: Selecting Crowdsourcing Workers for Reducing Cost of Redundancy / Paulina Adamska, Marta Juzwin, Adam Wierzbicki / 510--523 Are $n$-gram Categories Helpful in Text Classification? / Jakub Kruczek, Paulina Kruczek, Marcin Kuta / 524--537 Calculating Reactive Power Compensation for Large--Scale Street Lighting / Sebastian Ernst, Leszek Kotulski, Tomasz Lerch, Michal Rad, Adam Sedziwy, Igor Wojnicki / 538--550 Developing a Decision Support App for Computational Agriculture / Andrew Lewis, Marcus Randall, Ben Stewart--Koster / 551--561 Optimal Location of Sensors for Early Detection of Tsunami Waves / Angelie R. Ferrolino, Jose Ernie C. Lope, Renier G. Mendoza / 562--575 A Novel Formulation for Inverse Distance Weighting from Weighted Linear Regression / Leonardo Ramos Emmendorfer, Gracaliz Pereira Dimuro / 576--589 Addressing the Robustness of Resource Allocation in the Presence of Application and System Irregularities via PEPA Based Modeling / Srishti Srivastava, Ioana Banicescu, William S. Sanders / 590--603 An Adaptive Computational Network Model for Strange Loops in Political Evolution in Society / Julia Anten, Jordan Earle, Jan Treur / 604--617 Joint Entity Linking for Web Tables with Hybrid Semantic Matching / Jie Xie, Yuhai Lu, Cong Cao, Zhenzhen Li, Yangyang Guan, Yanbing Liu / 618--631 A New Coefficient of Rankings Similarity in Decision--Making Problems / Wojciech Sa abun, Karol Urbaniak / 632--645 Innovativeness Analysis of Scholarly Publications by Age Prediction Using Ordinal Regression / Pavel Savov, Adam Jatowt, Radoslaw Nielek / 646--660 Advantage of Using Spherical over Cartesian Coordinates in the Chromosome Territories 3D Modeling / Magdalena A. Tkacz, Kornel Chrominski / 661--673 Adaptive and Efficient Transfer for Online Remote Visualization of Critical Weather Applications / Preeti Malakar, Vijay Natarajan, Sathish S. Vadhiyar / 674--693 Back Matter / / 695--697

rawbooktitle:
{Computational Science --- ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3--5, 2020, Proceedings, Part II}

raweditor:
Valeria V. Krzhizhanovskaya and G{\'a}bor Z{\'a}vodszky and Michael H. Lees and Jack J. Dongarra and Peter M. A. Sloot and S{\'e}rgio Brissos and Jo{\~a}o Teixeira

rawtitle:
{Computational Science --- ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3--5, 2020, Proceedings, Part II}

rawTOC:
Front Matter / / i--xix \\ Modified Binary Tree in the Fast PIES for 2D Problems with Complex Shapes / Andrzej Ku{\.z}elewski, Eugeniusz Zieniuk, Agnieszka Bo{\l}tu{\'c}, Krzystof Szersze{\'n} / 1--14 \\ Generating Random Floating--Point Numbers by Dividing Integers: A Case Study / Fr{\'e}d{\'e}ric Goualard / 15--28 \\ An Effective Stable Numerical Method for Integrating Highly Oscillating Functions with a Linear Phase / Leonid A. Sevastianov, Konstantin P. Lovetskiy, Dmitry S. Kulyabov / 29--43 \\ Fitting Penalized Logistic Regression Models Using QR Factorization / Jacek Klimaszewski, Marcin Korze{\'n} / 44--57 \\ Uncertainty Quantification in Fractional Stochastic Integro--Differential Equations Using Legendre Wavelet Collocation Method / Abhishek Kumar Singh, Mani Mehra / 58--71 \\ A Direct High--Order Curvilinear Triangular Mesh Generation Method Using an Advancing Front Technique / Fariba Mohammadi, Shusil Dangi, Suzanne M. Shontz, Cristian A. Linte / 72--85 \\ Data--Driven Partial Differential Equations Discovery Approach for the Noised Multi--dimensional Data / Mikhail Maslyaev, Alexander Hvatov, Anna Kalyuzhnaya / 86--100 \\ Preconditioning Jacobian Systems by Superimposing Diagonal Blocks / M. Ali Rostami, H. Martin B{\"u}cker / 101--115 \\ NURBS Curves in Parametric Integral Equations System for Modeling and Solving Boundary Value Problems in Elasticity / Marta Kapturczak, Eugeniusz Zieniuk, Andrzej Ku{\.z}elewski / 116--123 \\ Parameterizations and Lagrange Cubics for Fitting Multidimensional Data / Ryszard Kozera, Lyle Noakes, Magdalena Wilko{\l}azka / 124--140 \\ Loop Aggregation for Approximate Scientific Computing / June Sallou, Alexandre Gauvain, Johann Bourcier, Benoit Combemale, Jean--Raynald de Dreuzy / 141--155 \\ Numerical Computation for a Flow Caused by a High--Speed Traveling Train and a Stationary Overpass / Shotaro Hamato, Masashi Yamakawa, Yongmann M. Chung, Shinichi Asao / 156--169 \\ B{\'e}zier Surfaces for Modeling Inclusions in PIES / Agnieszka Bo{\l}tu{\'c}, Eugeniusz Zieniuk, Krzysztof Szersze{\'n}, Andrzej Ku{\.z}elewski / 170--183 \\ Impact of Water on Methane Adsorption in Nanopores: A Hybrid GCMC--MD Simulation Study / Ji Zhou, Wenbin Jiang, Mian Lin, Lili Ji, Gaohui Cao / 184--196 \\ A Stable Discontinuous Galerkin Based Isogeometric Residual Minimization for the Stokes Problem / Marcin {\L}o{\'s}, Sergio Rojas, Maciej Paszy{\'n}ski, Ignacio Muga, Victor M. Calo / 197--211 \\ Numerical Modeling of the Two--Phase Flow of Water with Ice in the Tom River / Vladislava Churuksaeva, Alexander Starchenko / 212--224 \\ Remarks on Kaczmarz Algorithm for Solving Consistent and Inconsistent System of Linear Equations / Xinyin Huang, Gang Liu, Qiang Niu / 225--236 \\ Investigating the Benefit of FP16--Enabled Mixed--Precision Solvers for Symmetric Positive Definite Matrices Using GPUs / Ahmad Abdelfattah, Stan Tomov, Jack Dongarra / 237--250 \\ Simulation Versus an Ordered Fuzzy--Numbers--Driven Approach to the Multi--depot Vehicle Cyclic Routing and Scheduling Problem / Grzegorz Bocewicz, Zbigniew Banaszak, Czeslaw Smutnicki, Katarzyna Rudnik, Marcin Witczak, Robert W{\'o}jcik / 251--266 \\ Epigenetic Modification of Genetic Algorithm / Kornel Chrominski, Magdalena Tkacz, Mariusz Boryczka / 267--278 \\ ITP--KNN: Encrypted Video Flow Identification Based on the Intermittent Traffic Pattern of Video and $K$-Nearest Neighbors Classification / Youting Liu, Shu Li, Chengwei Zhang, Chao Zheng, Yong Sun, Qingyun Liu / 279--293 \\ DeepAD: A Joint Embedding Approach for Anomaly Detection on Attributed Networks / Dali Zhu, Yuchen Ma, Yinlong Liu / 294--307 \\ SciNER: Extracting Named Entities from Scientific Literature / Zhi Hong, Roselyne Tchoua, Kyle Chard, Ian Foster / 308--321 \\ GPU--Embedding of kNN--Graph Representing Large and High--Dimensional Data / Bartosz Minch, Mateusz Nowak, Rafa{\l} Wcis{\l}o, Witold Dzwinel / 322--336 \\ Evolving Long Short--Term Memory Networks / Vicente Coelho Lobo Neto, Leandro Aparecido Passos, Jo{\~a}o Paulo Papa / 337--350 \\ Personality Recognition from Source Code Based on Lexical, Syntactic and Semantic Features / Miko{\l}aj Biel, Marcin Kuta, Jacek Kitowski / 351--363 \\ Data Fitting by Exponential Sums with Equal Weights / Petr Chunaev, Ildar Safiullin / 364--371 \\ A Combination of Moment Descriptors, Fourier Transform and Matching Measures for Action Recognition Based on Shape / Katarzyna Go{\'s}ciewska, Dariusz Frejlichowski / 372--386 \\ Improving Accuracy and Speeding Up Document Image Classification Through Parallel Systems / Javier Ferrando, Juan Luis Dom{\'\i}nguez, Jordi Torres, Ra{\'u}l Garc{\'\i}a, David Garc{\'\i}a, Daniel Garrido et al. / 387--400 \\ Computation of the Airborne Contaminant Transport in Urban Area by the Artificial Neural Network / Anna Wawrzynczak, Monika Berendt--Marchel / 401--413 \\ Exploring Musical Structure Using Tonnetz Lattice Geometry and LSTMs / Manuchehr Aminian, Eric Kehoe, Xiaofeng Ma, Amy Peterson, Michael Kirby / 414--424 \\ Modeling of Anti--tracking Network Based on Convex--Polytope Topology / Changbo Tian, Yongzheng Zhang, Tao Yin / 425--438 \\ A Workload Division Differential Privacy Algorithm to Improve the Accuracy for Linear Computations / Jun Li, Huan Ma, Guangjun Wu, Yanqin Zhang, Bingnan Ma, Zhen Hui et al. / 439--452 \\ On the Automated Assessment of Open--Source Cyber Threat Intelligence Sources / Andrea Tundis, Samuel Ruppert, Max M{\"u}hlh{\"a}user / 453--467 \\ Malicious Domain Detection Based on K--means and SMOTE / Qing Wang, Linyu Li, Bo Jiang, Zhigang Lu, Junrong Liu, Shijie Jian / 468--481 \\ Microservice Disaster Crash Recovery: A Weak Global Referential Integrity Management / Maude Manouvrier, Cesare Pautasso, Marta Rukoz / 482--495 \\ Hashing Based Prediction for Large--Scale Kernel Machine / Lijing Lu, Rong Yin, Yong Liu, Weiping Wang / 496--509 \\ Picking Peaches or Squeezing Lemons: Selecting Crowdsourcing Workers for Reducing Cost of Redundancy / Paulina Adamska, Marta Ju{\'z}win, Adam Wierzbicki / 510--523 \\ Are $n$-gram Categories Helpful in Text Classification? / Jakub Kruczek, Paulina Kruczek, Marcin Kuta / 524--537 \\ Calculating Reactive Power Compensation for Large--Scale Street Lighting / Sebastian Ernst, Leszek Kotulski, Tomasz Lerch, Micha{\l} Rad, Adam S{\k{e}}dziwy, Igor Wojnicki / 538--550 \\ Developing a Decision Support App for Computational Agriculture / Andrew Lewis, Marcus Randall, Ben Stewart--Koster / 551--561 \\ Optimal Location of Sensors for Early Detection of Tsunami Waves / Angelie R. Ferrolino, Jose Ernie C. Lope, Renier G. Mendoza / 562--575 \\ A Novel Formulation for Inverse Distance Weighting from Weighted Linear Regression / Leonardo Ramos Emmendorfer, Gra{\c{c}}aliz Pereira Dimuro / 576--589 \\ Addressing the Robustness of Resource Allocation in the Presence of Application and System Irregularities via PEPA Based Modeling / Srishti Srivastava, Ioana Banicescu, William S. Sanders / 590--603 \\ An Adaptive Computational Network Model for Strange Loops in Political Evolution in Society / Julia Anten, Jordan Earle, Jan Treur / 604--617 \\ Joint Entity Linking for Web Tables with Hybrid Semantic Matching / Jie Xie, Yuhai Lu, Cong Cao, Zhenzhen Li, Yangyang Guan, Yanbing Liu / 618--631 \\ A New Coefficient of Rankings Similarity in Decision--Making Problems / Wojciech Sa abun, Karol Urbaniak / 632--645 \\ Innovativeness Analysis of Scholarly Publications by Age Prediction Using Ordinal Regression / Pavel Savov, Adam Jatowt, Radoslaw Nielek / 646--660 \\ Advantage of Using Spherical over Cartesian Coordinates in the Chromosome Territories 3D Modeling / Magdalena A. Tkacz, Kornel Chromi{\'n}ski / 661--673 \\ Adaptive and Efficient Transfer for Online Remote Visualization of Critical Weather Applications / Preeti Malakar, Vijay Natarajan, Sathish S. Vadhiyar / 674--693 \\ Back Matter / / 695--697

entry:
@Proceedings{Krzhizhanovskaya:2020:CSI,
  editor =       "Valeria V. Krzhizhanovskaya and G{\'a}bor
                 Z{\'a}vodszky and Michael H. Lees and Jack J. Dongarra
                 and Peter M. A. Sloot and S{\'e}rgio Brissos and
                 Jo{\~a}o Teixeira",
  booktitle =    "{Computational Science --- ICCS 2020 20th
                 International Conference, Amsterdam, The Netherlands,
                 June 3--5, 2020, Proceedings, Part II}",
  title =        "{Computational Science --- ICCS 2020 20th
                 International Conference, Amsterdam, The Netherlands,
                 June 3--5, 2020, Proceedings, Part II}",
  volume =       "12138",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xix + 697",
  year =         "2020",
  DOI =          "https://doi.org/10.1007/978-3-030-50417-5",
  ISBN =         "3-030-50416-6, 3-030-50417-4 (e-book)",
  ISBN-13 =      "978-3-030-50416-8, 978-3-030-50417-5 (e-book)",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  bibdate =      "Thu Jun 25 08:21:10 2020",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/d/dongarra-jack-j.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/julia.bib;
                 https://www.math.utah.edu/pub/tex/bib/matlab.bib;
                 https://www.math.utah.edu/pub/tex/bib/prng.bib",
  series =       ser-LNCS,
  URL =          "https://link.springer.com/book/10.1007/978-3-030-50417-5",
  acknowledgement = ack-nhfb,
  tableofcontents = "Front Matter / / i--xix \\
                 Modified Binary Tree in the Fast PIES for 2D Problems
                 with Complex Shapes / Andrzej Ku{\.z}elewski, Eugeniusz
                 Zieniuk, Agnieszka Bo{\l}tu{\'c}, Krzystof Szersze{\'n}
                 / 1--14 \\
                 Generating Random Floating--Point Numbers by Dividing
                 Integers: A Case Study / Fr{\'e}d{\'e}ric Goualard /
                 15--28 \\
                 An Effective Stable Numerical Method for Integrating
                 Highly Oscillating Functions with a Linear Phase /
                 Leonid A. Sevastianov, Konstantin P. Lovetskiy, Dmitry
                 S. Kulyabov / 29--43 \\
                 Fitting Penalized Logistic Regression Models Using QR
                 Factorization / Jacek Klimaszewski, Marcin Korze{\'n} /
                 44--57 \\
                 Uncertainty Quantification in Fractional Stochastic
                 Integro--Differential Equations Using Legendre Wavelet
                 Collocation Method / Abhishek Kumar Singh, Mani Mehra /
                 58--71 \\
                 A Direct High--Order Curvilinear Triangular Mesh
                 Generation Method Using an Advancing Front Technique /
                 Fariba Mohammadi, Shusil Dangi, Suzanne M. Shontz,
                 Cristian A. Linte / 72--85 \\
                 Data--Driven Partial Differential Equations Discovery
                 Approach for the Noised Multi--dimensional Data /
                 Mikhail Maslyaev, Alexander Hvatov, Anna Kalyuzhnaya /
                 86--100 \\
                 Preconditioning Jacobian Systems by Superimposing
                 Diagonal Blocks / M. Ali Rostami, H. Martin B{\"u}cker
                 / 101--115 \\
                 NURBS Curves in Parametric Integral Equations System
                 for Modeling and Solving Boundary Value Problems in
                 Elasticity / Marta Kapturczak, Eugeniusz Zieniuk,
                 Andrzej Ku{\.z}elewski / 116--123 \\
                 Parameterizations and Lagrange Cubics for Fitting
                 Multidimensional Data / Ryszard Kozera, Lyle Noakes,
                 Magdalena Wilko{\l}azka / 124--140 \\
                 Loop Aggregation for Approximate Scientific Computing /
                 June Sallou, Alexandre Gauvain, Johann Bourcier, Benoit
                 Combemale, Jean--Raynald de Dreuzy / 141--155 \\
                 Numerical Computation for a Flow Caused by a
                 High--Speed Traveling Train and a Stationary Overpass /
                 Shotaro Hamato, Masashi Yamakawa, Yongmann M. Chung,
                 Shinichi Asao / 156--169 \\
                 B{\'e}zier Surfaces for Modeling Inclusions in PIES /
                 Agnieszka Bo{\l}tu{\'c}, Eugeniusz Zieniuk, Krzysztof
                 Szersze{\'n}, Andrzej Ku{\.z}elewski / 170--183 \\
                 Impact of Water on Methane Adsorption in Nanopores: A
                 Hybrid GCMC--MD Simulation Study / Ji Zhou, Wenbin
                 Jiang, Mian Lin, Lili Ji, Gaohui Cao / 184--196 \\
                 A Stable Discontinuous Galerkin Based Isogeometric
                 Residual Minimization for the Stokes Problem / Marcin
                 {\L}o{\'s}, Sergio Rojas, Maciej Paszy{\'n}ski, Ignacio
                 Muga, Victor M. Calo / 197--211 \\
                 Numerical Modeling of the Two--Phase Flow of Water with
                 Ice in the Tom River / Vladislava Churuksaeva,
                 Alexander Starchenko / 212--224 \\
                 Remarks on Kaczmarz Algorithm for Solving Consistent
                 and Inconsistent System of Linear Equations / Xinyin
                 Huang, Gang Liu, Qiang Niu / 225--236 \\
                 Investigating the Benefit of FP16--Enabled
                 Mixed--Precision Solvers for Symmetric Positive
                 Definite Matrices Using GPUs / Ahmad Abdelfattah, Stan
                 Tomov, Jack Dongarra / 237--250 \\
                 Simulation Versus an Ordered Fuzzy--Numbers--Driven
                 Approach to the Multi--depot Vehicle Cyclic Routing and
                 Scheduling Problem / Grzegorz Bocewicz, Zbigniew
                 Banaszak, Czeslaw Smutnicki, Katarzyna Rudnik, Marcin
                 Witczak, Robert W{\'o}jcik / 251--266 \\
                 Epigenetic Modification of Genetic Algorithm / Kornel
                 Chrominski, Magdalena Tkacz, Mariusz Boryczka /
                 267--278 \\
                 ITP--KNN: Encrypted Video Flow Identification Based on
                 the Intermittent Traffic Pattern of Video and
                 $K$-Nearest Neighbors Classification / Youting Liu, Shu
                 Li, Chengwei Zhang, Chao Zheng, Yong Sun, Qingyun Liu /
                 279--293 \\
                 DeepAD: A Joint Embedding Approach for Anomaly
                 Detection on Attributed Networks / Dali Zhu, Yuchen Ma,
                 Yinlong Liu / 294--307 \\
                 SciNER: Extracting Named Entities from Scientific
                 Literature / Zhi Hong, Roselyne Tchoua, Kyle Chard, Ian
                 Foster / 308--321 \\
                 GPU--Embedding of kNN--Graph Representing Large and
                 High--Dimensional Data / Bartosz Minch, Mateusz Nowak,
                 Rafa{\l} Wcis{\l}o, Witold Dzwinel / 322--336 \\
                 Evolving Long Short--Term Memory Networks / Vicente
                 Coelho Lobo Neto, Leandro Aparecido Passos, Jo{\~a}o
                 Paulo Papa / 337--350 \\
                 Personality Recognition from Source Code Based on
                 Lexical, Syntactic and Semantic Features / Miko{\l}aj
                 Biel, Marcin Kuta, Jacek Kitowski / 351--363 \\
                 Data Fitting by Exponential Sums with Equal Weights /
                 Petr Chunaev, Ildar Safiullin / 364--371 \\
                 A Combination of Moment Descriptors, Fourier Transform
                 and Matching Measures for Action Recognition Based on
                 Shape / Katarzyna Go{\'s}ciewska, Dariusz Frejlichowski
                 / 372--386 \\
                 Improving Accuracy and Speeding Up Document Image
                 Classification Through Parallel Systems / Javier
                 Ferrando, Juan Luis Dom{\'\i}nguez, Jordi Torres,
                 Ra{\'u}l Garc{\'\i}a, David Garc{\'\i}a, Daniel Garrido
                 et al. / 387--400 \\
                 Computation of the Airborne Contaminant Transport in
                 Urban Area by the Artificial Neural Network / Anna
                 Wawrzynczak, Monika Berendt--Marchel / 401--413 \\
                 Exploring Musical Structure Using Tonnetz Lattice
                 Geometry and LSTMs / Manuchehr Aminian, Eric Kehoe,
                 Xiaofeng Ma, Amy Peterson, Michael Kirby / 414--424 \\
                 Modeling of Anti--tracking Network Based on
                 Convex--Polytope Topology / Changbo Tian, Yongzheng
                 Zhang, Tao Yin / 425--438 \\
                 A Workload Division Differential Privacy Algorithm to
                 Improve the Accuracy for Linear Computations / Jun Li,
                 Huan Ma, Guangjun Wu, Yanqin Zhang, Bingnan Ma, Zhen
                 Hui et al. / 439--452 \\
                 On the Automated Assessment of Open--Source Cyber
                 Threat Intelligence Sources / Andrea Tundis, Samuel
                 Ruppert, Max M{\"u}hlh{\"a}user / 453--467 \\
                 Malicious Domain Detection Based on K--means and SMOTE
                 / Qing Wang, Linyu Li, Bo Jiang, Zhigang Lu, Junrong
                 Liu, Shijie Jian / 468--481 \\
                 Microservice Disaster Crash Recovery: A Weak Global
                 Referential Integrity Management / Maude Manouvrier,
                 Cesare Pautasso, Marta Rukoz / 482--495 \\
                 Hashing Based Prediction for Large--Scale Kernel
                 Machine / Lijing Lu, Rong Yin, Yong Liu, Weiping Wang /
                 496--509 \\
                 Picking Peaches or Squeezing Lemons: Selecting
                 Crowdsourcing Workers for Reducing Cost of Redundancy /
                 Paulina Adamska, Marta Ju{\'z}win, Adam Wierzbicki /
                 510--523 \\
                 Are $n$-gram Categories Helpful in Text Classification?
                 / Jakub Kruczek, Paulina Kruczek, Marcin Kuta /
                 524--537 \\
                 Calculating Reactive Power Compensation for
                 Large--Scale Street Lighting / Sebastian Ernst, Leszek
                 Kotulski, Tomasz Lerch, Micha{\l} Rad, Adam
                 S{\k{e}}dziwy, Igor Wojnicki / 538--550 \\
                 Developing a Decision Support App for Computational
                 Agriculture / Andrew Lewis, Marcus Randall, Ben
                 Stewart--Koster / 551--561 \\
                 Optimal Location of Sensors for Early Detection of
                 Tsunami Waves / Angelie R. Ferrolino, Jose Ernie C.
                 Lope, Renier G. Mendoza / 562--575 \\
                 A Novel Formulation for Inverse Distance Weighting from
                 Weighted Linear Regression / Leonardo Ramos
                 Emmendorfer, Gra{\c{c}}aliz Pereira Dimuro / 576--589
                 \\
                 Addressing the Robustness of Resource Allocation in the
                 Presence of Application and System Irregularities via
                 PEPA Based Modeling / Srishti Srivastava, Ioana
                 Banicescu, William S. Sanders / 590--603 \\
                 An Adaptive Computational Network Model for Strange
                 Loops in Political Evolution in Society / Julia Anten,
                 Jordan Earle, Jan Treur / 604--617 \\
                 Joint Entity Linking for Web Tables with Hybrid
                 Semantic Matching / Jie Xie, Yuhai Lu, Cong Cao,
                 Zhenzhen Li, Yangyang Guan, Yanbing Liu / 618--631 \\
                 A New Coefficient of Rankings Similarity in
                 Decision--Making Problems / Wojciech Sa abun, Karol
                 Urbaniak / 632--645 \\
                 Innovativeness Analysis of Scholarly Publications by
                 Age Prediction Using Ordinal Regression / Pavel Savov,
                 Adam Jatowt, Radoslaw Nielek / 646--660 \\
                 Advantage of Using Spherical over Cartesian Coordinates
                 in the Chromosome Territories 3D Modeling / Magdalena
                 A. Tkacz, Kornel Chromi{\'n}ski / 661--673 \\
                 Adaptive and Efficient Transfer for Online Remote
                 Visualization of Critical Weather Applications / Preeti
                 Malakar, Vijay Natarajan, Sathish S. Vadhiyar /
                 674--693 \\
                 Back Matter / / 695--697",
}


bibtype: proceedings
filename: fparith.bib
label: Wyrzykowski:2020:PPA
editor: Roman Wyrzykowski and Ewa Deelman and Jack Dongarra and Konrad Karczewski
publisher: pub-SV
address: pub-SV:adr
pages: xix + 697
year: 2020
DOI: https://doi.org/10.1007/978-3-030-43229-4
ISBN: 3-030-43229-7 OR 3030432297
ISBN13: 978-3-030-43229-4 OR 9783030432294
ISSN: 0302-9743 (print), 1611-3349 (electronic) OR 03029743 (print), 16113349 (electronic)
ISSNL: 0302-9743 OR 03029743
bibdate: Fri Dec 15 11:31:31 2023
bibtimestamp: 2023.12.15 11:31:31 ???
series: ser-LNCS
keywords: posit arithmetic
acknowledgement: ack-nhfb
raweditor: Roman Wyrzykowski and Ewa Deelman and Jack Dongarra and Konrad Karczewski
booktitle:
Parallel Processing and Applied Mathematics: 13th International Conference, PPAM 2019, Bialystok, Poland, September 8--11, 2019, Revised Selected Papers, Part I

title:
Parallel Processing and Applied Mathematics: 13th International Conference, PPAM 2019, Bialystok, Poland, September 8--11, 2019, Revised Selected Papers, Part I

TOC:
Front Matter / i--xxiii Numerical Algorithms and Parallel Scientific Computing == Front Matter / 1--1 Matthias Korch, Tim Werner / Multi-workgroup Tiling to Improve the Locality of Explicit One-Step Methods for ODE Systems with Limited Access Distance on GPUs / 3--12 Davor Davidovic, Enrique S. Quintana-Orti / Structure-Aware Calculation of Many-Electron Wave Function Overlaps on Multicore Processors / 13--24 Charles D. Murray, Tobias Weinzierl / Lazy Stencil Integration in Multigrid Algorithms / 25--37 Filip Pawlowski, Bora Ucar, Albert-Jan Yzelman / High Performance Tensor Vector Multiplication on Shared-Memory Systems / 38--48 Pawel Augustynowicz, Andrzej Paszkiewicz / Efficient Modular Squaring in Binary Fields on CPU Supporting AVX and GPU / 49--57 Carl Christian Kjelgaard Mikkelsen, Mirko Myllykoski / Parallel Robust Computation of Generalized Eigenvectors of Matrix Pencils / 58--69 Mirko Myllykoski, Carl Christian Kjelgaard Mikkelsen / Introduction to StarNEig A Task-Based Library for Solving Nonsymmetric Eigenvalue Problems / 70--81 Angelika Schwarz, Carl Christian Kjelgaard Mikkelsen / Robust Task-Parallel Solution of the Triangular Sylvester Equation / 82--92 Beata Dmitruk, Przemyslaw Stpiczynski / Vectorized Parallel Solver for Tridiagonal Toeplitz Systems of Linear Equations / 93--103 Carola Kruse, Masha Sosonkina, Mario Arioli, Nicolas Tardieu, Ulrich Rude / Parallel Performance of an Iterative Solver Based on the Golub-Kahan Bidiagonalization / 104--116 Linus Seelinger, Anne Reinarz, Robert Scheichl / A High-Performance Implementation of a Robust Preconditioner for Heterogeneous Problems / 117--128 Viviana Arrigoni, Annalisa Massini / Hybrid Solver for Quasi Block Diagonal Linear Systems / 129--140 Michal Kravcenko, Jan Zapletal, Xavier Claeys, Michal Merta / Parallel Adaptive Cross Approximation for the Multi-trace Formulation of Scattering Problems / 141--150 Daisuke Takahashi / Implementation of Parallel 3-D Real FFT with 2-D Decomposition on Intel Xeon Phi Clusters / 151--161 Doru Thom Popovici, Devangi N. Parikh, Daniele G. Spampinato, Tze Meng Low / Exploiting Symmetries of Small Prime-Sized DFTs / 162--173 Victor Gergel, Evgeny Kozinov / Parallel Computations for Various Scalarization Schemes in Multicriteria Optimization Problems / 174--184 Emerging HPC Architectures Front Matter / 185--185 Enrico Calore, Alessandro Gabbana, Fabio Rinaldi, Sebastiano Fabio Schifano, Raffaele Tripiccione / Early Performance Assessment of the ThunderX2 Processor for Lattice Based Simulations / 187--198 Emerging HPC Architectures Mate Cobrnic, Alen Duspara, Leon Dragic, Igor Piljic, Hrvoje Mlinaric, Mario Kovac / An Area Efficient and Reusable HEVC 1D-DCT Hardware Accelerator / 199--208 Performance Analysis and Scheduling in HPC Systems Front Matter / 209--209 M. Yusuf Ozkaya, Anne Benoit, Umit V. Catalyurek / Improving Locality-Aware Scheduling with Acyclic Directed Graph Partitioning / 211--223 Maciej Drozdowski, Gaurav Singh, Jedrzej M. Marszalkowski / Isoefficiency Maps for Divisible Computations in Hierarchical Memory Systems / 224--234 Environments and Frameworks for Parallel/Distributed/Cloud Computing Front Matter / 235--235 Tim Cramer, Manoel Rommer, Boris Kosmynin, Erich Focht, Matthias S. Muller / OpenMP Target Device Offloading for the SX-Aurora TSUBASA Vector Engine / 237--249 Camille Coti, Allen D. Malony / On the Road to DiPOSH: Adventures in High-Performance OpenSHMEM / 250--260 Roman Wiatr, Vladyslav Lyutenko, Milosz Demczuk, Renata Slota, Jacek Kitowski / Click-Fraud Detection for Online Advertising / 261--271 Adam Smyk, Marek Tudruj, Lukasz Grochal / Parallel Graph Partitioning Optimization Under PEGASUS DA Application Global State Monitoring / 272--286 Bartosz Balis, Michal Orzechowski, Krystian Pawlik, Maciej Pawlik, Maciej Malawski / Cloud Infrastructure Automation for Scientific Workflows / 287--297 Applications of Parallel Computing Front Matter / 299--299 Steven W. D. Chien, Ivy B. Peng, Stefano Markidis / Posit NPB: Assessing the Precision Improvement in HPC Scientific Applications / 301--310 Lukas Krenz, Leonhard Rannabauer, Michael Bader / A High-Order Discontinuous Galerkin Solver with Dynamic Adaptive Mesh Refinement to Simulate Cloud Formation Processes / 311--323 Evgeny Kuznetsov, Nikolay Kondratyuk, Mikhail Logunov, Vsevolod Nikolskiy, Vladimir Stegailov / Performance and Portability of State-of-Art Molecular Dynamics Software on Modern GPUs / 324--334 Iosif Meyerov, Alexander Panov, Sergei Bastrakov, Aleksei Bashinov, Evgeny Efimenko, Elena Panova, Igor Surmin, Valentin Volokitin, and Arkady Gonoskov / Exploiting Parallelism on Shared Memory in the QED Particle-in-Cell Code PICADOR with Greedy Load Balancing / 335--347 Michael Quell, Paul Manstetten, Andreas Hossinger, Siegfried Selberherr, Josef Weinbub / Parallelized Construction of Extension Velocities for the Level-Set Method / 348--358 Marcin Czajkowski, Krzysztof Jurczuk, Marek Kretowski / Relative Expression Classification Tree. A Preliminary GPU-Based Implementation / 359--369 Kamil Halbiniak, Lukasz Szustak, Adam Kulawik, Pawel Gepner / Performance Optimizations for Parallel Modeling of Solidification with Dynamic Intensity of Computation / 370--381 Parallel Non-numerical Algorithms Front Matter / 383--383 Joel Fuentes, Wei-yu Chen, Guei-yuan Lueh, Arturo Garza, Isaac D. Scherson / SIMD-node Transformations for Non-blocking Data Structures / 385--395 Parallel Non-numerical Algorithms Hironobu Kobayashi, Yasuaki Ito, Koji Nakano / Stained Glass Image Generation Using Voronoi Diagram and Its GPU Acceleration / 396--407 Anna Sasak-Okon / Modifying Queries Strategy for Graph-Based Speculative Query Execution for RDBMS / 408--418 Soft Computing with Applications Front Matter / 419--419 Krzysztof Jurczuk, Marcin Czajkowski, Marek Kretowski / Accelerating GPU-based Evolutionary Induction of Decision Trees --- Fitness Evaluation Reuse / 421--431 Hatem Khalloof, Phil Ostheimer, Wilfried Jakob, Shadi Shahoud, Clemens Duepmeier, Veit Hagenmeyer / A Distributed Modular Scalable and Generic Framework for Parallelizing Population-Based Metaheuristics / 432--444 Danuta Rutkowska, Krzysztof Wiaderek / Parallel Processing of Images Represented by Linguistic Description in Databases / 445--456 Wojciech Kwedlo, Michal Lubowicz / An OpenMP Parallelization of the K-means Algorithm Accelerated Using KD-trees / 457--466 Wlodzimierz Funika, Pawel Koperek / Evaluating the Use of Policy Gradient Optimization Approach for Automatic Cloud Resource Provisioning / 467--478 Lukasz Karbowiak / Improving Efficiency of Automatic Labeling by Image Transformations on CPU and GPU / 479--490 Special Session on GPU Computing Front Matter / 1--1 Takahiro Inoue, Hiroki Tokura, Koji Nakano, Yasuaki Ito / Efficient Triangular Matrix Vector Multiplication on the GPU / 493--504 Dominik Ernst, Georg Hager, Jonas Thies, Gerhard Wellein / Performance Engineering for a Tall & Skinny Matrix Multiplication Kernels on GPUs / 505--515 Daichi Mukunoki, Takeshi Ogita, Katsuhisa Ozaki / Reproducible BLAS Routines with Tunable Accuracy Using Ozaki Scheme for Many-Core Architectures / 516--527 Tao Chang, Emeric Brun, Christophe Calvin / Portable Monte Carlo Transport Performance Evaluation in the PATMOS Prototype / 528--539 Special Session on Parallel Matrix Factorizations Front Matter / 541--541 Piyush Sao, Ramakrishnan Kannan / Multifrontal Non-negative Matrix Factorization / 543--554 Martin Becka, Gabriel Oksa /Preconditioned Jacobi SVD Algorithm Outperforms PDGESVD / 555--566 Marek Parfieniuk / A Parallel Factorization for Generating Orthogonal Matrices / 567--578 Back Matter / 579--581

rawbooktitle:
Parallel Processing and Applied Mathematics: {13th International Conference, PPAM 2019, Bialystok, Poland, September 8--11, 2019, Revised Selected Papers, Part I}

rawtitle:
Parallel Processing and Applied Mathematics: {13th International Conference, PPAM 2019, Bialystok, Poland, September 8--11, 2019, Revised Selected Papers, Part I}

rawTOC:
Front Matter / i--xxiii \\ Numerical Algorithms and Parallel Scientific Computing == Front Matter / 1--1 \\ Matthias Korch, Tim Werner / Multi-workgroup Tiling to Improve the Locality of Explicit One-Step Methods for ODE Systems with Limited Access Distance on GPUs / 3--12 \\ Davor Davidovi{\'c}, Enrique S. Quintana-Ort{\'\i} / Structure-Aware Calculation of Many-Electron Wave Function Overlaps on Multicore Processors / 13--24 \\ Charles D. Murray, Tobias Weinzierl / Lazy Stencil Integration in Multigrid Algorithms / 25--37 \\ Filip Paw{\l}owski, Bora U{\c{c}}ar, Albert-Jan Yzelman / High Performance Tensor Vector Multiplication on Shared-Memory Systems / 38--48 \\ Pawe{\l} Augustynowicz, Andrzej Paszkiewicz / Efficient Modular Squaring in Binary Fields on CPU Supporting AVX and GPU / 49--57 \\ Carl Christian Kjelgaard Mikkelsen, Mirko Myllykoski / Parallel Robust Computation of Generalized Eigenvectors of Matrix Pencils / 58--69 \\ Mirko Myllykoski, Carl Christian Kjelgaard Mikkelsen / Introduction to StarNEig A Task-Based Library for Solving Nonsymmetric Eigenvalue Problems / 70--81 \\ Angelika Schwarz, Carl Christian Kjelgaard Mikkelsen / Robust Task-Parallel Solution of the Triangular Sylvester Equation / 82--92 \\ Beata Dmitruk, Przemys{\l}aw Stpiczy{\'n}ski / Vectorized Parallel Solver for Tridiagonal Toeplitz Systems of Linear Equations / 93--103 \\ Carola Kruse, Masha Sosonkina, Mario Arioli, Nicolas Tardieu, Ulrich R{\"u}de / Parallel Performance of an Iterative Solver Based on the Golub-Kahan Bidiagonalization / 104--116 \\ Linus Seelinger, Anne Reinarz, Robert Scheichl / A High-Performance Implementation of a Robust Preconditioner for Heterogeneous Problems / 117--128 \\ Viviana Arrigoni, Annalisa Massini / Hybrid Solver for Quasi Block Diagonal Linear Systems / 129--140 \\ Michal Krav{\v{c}}enko, Jan Zapletal, Xavier Claeys, Michal Merta / Parallel Adaptive Cross Approximation for the Multi-trace Formulation of Scattering Problems / 141--150 \\ Daisuke Takahashi / Implementation of Parallel 3-D Real FFT with 2-D Decomposition on Intel Xeon Phi Clusters / 151--161 \\ Doru Thom Popovici, Devangi N. Parikh, Daniele G. Spampinato, Tze Meng Low / Exploiting Symmetries of Small Prime-Sized DFTs / 162--173 \\ Victor Gergel, Evgeny Kozinov / Parallel Computations for Various Scalarization Schemes in Multicriteria Optimization Problems / 174--184 \\ Emerging HPC Architectures \\ Front Matter / 185--185 \\ Enrico Calore, Alessandro Gabbana, Fabio Rinaldi, Sebastiano Fabio Schifano, Raffaele Tripiccione / Early Performance Assessment of the ThunderX2 Processor for Lattice Based Simulations / 187--198 \\ Emerging HPC Architectures \\ Mate Cobrnic, Alen Duspara, Leon Dragic, Igor Piljic, Hrvoje Mlinaric, Mario Kovac / An Area Efficient and Reusable HEVC 1D-DCT Hardware Accelerator / 199--208 \\ Performance Analysis and Scheduling in HPC Systems \\ Front Matter / 209--209 \\ M. Yusuf {\"O}zkaya, Anne Benoit, {\"U}mit V. {\c{C}}ataly{\"u}rek / Improving Locality-Aware Scheduling with Acyclic Directed Graph Partitioning / 211--223 \\ Maciej Drozdowski, Gaurav Singh, J{\k{e}}drzej M. Marsza{\l}kowski / Isoefficiency Maps for Divisible Computations in Hierarchical Memory Systems / 224--234 \\ Environments and Frameworks for Parallel/Distributed/Cloud Computing \\ Front Matter / 235--235 \\ Tim Cramer, Manoel R{\"o}mmer, Boris Kosmynin, Erich Focht, Matthias S. M{\"u}ller / OpenMP Target Device Offloading for the SX-Aurora TSUBASA Vector Engine / 237--249 \\ Camille Coti, Allen D. Malony / On the Road to DiPOSH: Adventures in High-Performance OpenSHMEM / 250--260 \\ Roman Wiatr, Vladyslav Lyutenko, Mi{\l}osz Demczuk, Renata S{\l}ota, Jacek Kitowski / Click-Fraud Detection for Online Advertising / 261--271 \\ Adam Smyk, Marek Tudruj, Lukasz Grochal / Parallel Graph Partitioning Optimization Under PEGASUS DA Application Global State Monitoring / 272--286 \\ Bartosz Balis, Michal Orzechowski, Krystian Pawlik, Maciej Pawlik, Maciej Malawski / Cloud Infrastructure Automation for Scientific Workflows / 287--297 \\ Applications of Parallel Computing \\ Front Matter / 299--299 \\ Steven W. D. Chien, Ivy B. Peng, Stefano Markidis / Posit NPB: Assessing the Precision Improvement in HPC Scientific Applications / 301--310 \\ Lukas Krenz, Leonhard Rannabauer, Michael Bader / A High-Order Discontinuous Galerkin Solver with Dynamic Adaptive Mesh Refinement to Simulate Cloud Formation Processes / 311--323 \\ Evgeny Kuznetsov, Nikolay Kondratyuk, Mikhail Logunov, Vsevolod Nikolskiy, Vladimir Stegailov / Performance and Portability of State-of-Art Molecular Dynamics Software on Modern GPUs / 324--334 \\ Iosif Meyerov, Alexander Panov, Sergei Bastrakov, Aleksei Bashinov, Evgeny Efimenko, Elena Panova, Igor Surmin, Valentin Volokitin, and Arkady Gonoskov / Exploiting Parallelism on Shared Memory in the QED Particle-in-Cell Code PICADOR with Greedy Load Balancing / 335--347 \\ Michael Quell, Paul Manstetten, Andreas H{\"o}ssinger, Siegfried Selberherr, Josef Weinbub / Parallelized Construction of Extension Velocities for the Level-Set Method / 348--358 \\ Marcin Czajkowski, Krzysztof Jurczuk, Marek Kretowski / Relative Expression Classification Tree. A Preliminary GPU-Based Implementation / 359--369 \\ Kamil Halbiniak, Lukasz Szustak, Adam Kulawik, Pawel Gepner / Performance Optimizations for Parallel Modeling of Solidification with Dynamic Intensity of Computation / 370--381 \\ Parallel Non-numerical Algorithms \\ Front Matter / 383--383 \\ Joel Fuentes, Wei-yu Chen, Guei-yuan Lueh, Arturo Garza, Isaac D. Scherson / SIMD-node Transformations for Non-blocking Data Structures / 385--395 \\ Parallel Non-numerical Algorithms \\ Hironobu Kobayashi, Yasuaki Ito, Koji Nakano / Stained Glass Image Generation Using Voronoi Diagram and Its GPU Acceleration / 396--407 \\ Anna Sasak-Oko{\'n} / Modifying Queries Strategy for Graph-Based Speculative Query Execution for RDBMS / 408--418 \\ Soft Computing with Applications \\ Front Matter / 419--419 \\ Krzysztof Jurczuk, Marcin Czajkowski, Marek Kretowski / Accelerating GPU-based Evolutionary Induction of Decision Trees --- Fitness Evaluation Reuse / 421--431 \\ Hatem Khalloof, Phil Ostheimer, Wilfried Jakob, Shadi Shahoud, Clemens Duepmeier, Veit Hagenmeyer / A Distributed Modular Scalable and Generic Framework for Parallelizing Population-Based Metaheuristics / 432--444 \\ Danuta Rutkowska, Krzysztof Wiaderek / Parallel Processing of Images Represented by Linguistic Description in Databases / 445--456 \\ Wojciech Kwedlo, Micha{\l} {\L}ubowicz / An OpenMP Parallelization of the K-means Algorithm Accelerated Using KD-trees / 457--466 \\ W{\l}odzimierz Funika, Pawe{\l} Koperek / Evaluating the Use of Policy Gradient Optimization Approach for Automatic Cloud Resource Provisioning / 467--478 \\ {\L}ukasz Karbowiak / Improving Efficiency of Automatic Labeling by Image Transformations on CPU and GPU / 479--490 \\ Special Session on GPU Computing \\ Front Matter / 1--1 \\ Takahiro Inoue, Hiroki Tokura, Koji Nakano, Yasuaki Ito / Efficient Triangular Matrix Vector Multiplication on the GPU / 493--504 \\ Dominik Ernst, Georg Hager, Jonas Thies, Gerhard Wellein / Performance Engineering for a Tall & Skinny Matrix Multiplication Kernels on GPUs / 505--515 \\ Daichi Mukunoki, Takeshi Ogita, Katsuhisa Ozaki / Reproducible BLAS Routines with Tunable Accuracy Using Ozaki Scheme for Many-Core Architectures / 516--527 \\ Tao Chang, Emeric Brun, Christophe Calvin / Portable Monte Carlo Transport Performance Evaluation in the PATMOS Prototype / 528--539 \\ Special Session on Parallel Matrix Factorizations \\ Front Matter / 541--541 \\ Piyush Sao, Ramakrishnan Kannan / Multifrontal Non-negative Matrix Factorization / 543--554 \\ Martin Be{\v{c}}ka, Gabriel Ok{\v{s}}a /Preconditioned Jacobi SVD Algorithm Outperforms PDGESVD / 555--566 \\ Marek Parfieniuk / A Parallel Factorization for Generating Orthogonal Matrices / 567--578 \\ Back Matter / 579--581

entry:
@Proceedings{Wyrzykowski:2020:PPA,
  editor =       "Roman Wyrzykowski and Ewa Deelman and Jack Dongarra
                 and Konrad Karczewski",
  booktitle =    "Parallel Processing and Applied Mathematics: {13th
                 International Conference, PPAM 2019, Bialystok, Poland,
                 September 8--11, 2019, Revised Selected Papers, Part
                 I}",
  title =        "Parallel Processing and Applied Mathematics: {13th
                 International Conference, PPAM 2019, Bialystok, Poland,
                 September 8--11, 2019, Revised Selected Papers, Part
                 I}",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  year =         "2020",
  DOI =          "https://doi.org/10.1007/978-3-030-43229-4",
  ISBN =         "3-030-43229-7",
  ISBN-13 =      "978-3-030-43229-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri Dec 15 11:31:31 2023",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/d/dongarra-jack-j.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  keywords =     "posit arithmetic",
  tableofcontents = "Front Matter / i--xxiii \\
                 Numerical Algorithms and Parallel Scientific Computing
                 == Front Matter / 1--1 \\
                 Matthias Korch, Tim Werner / Multi-workgroup Tiling to
                 Improve the Locality of Explicit One-Step Methods for
                 ODE Systems with Limited Access Distance on GPUs /
                 3--12 \\
                 Davor Davidovi{\'c}, Enrique S. Quintana-Ort{\'\i} /
                 Structure-Aware Calculation of Many-Electron Wave
                 Function Overlaps on Multicore Processors / 13--24 \\
                 Charles D. Murray, Tobias Weinzierl / Lazy Stencil
                 Integration in Multigrid Algorithms / 25--37 \\
                 Filip Paw{\l}owski, Bora U{\c{c}}ar, Albert-Jan Yzelman
                 / High Performance Tensor Vector Multiplication on
                 Shared-Memory Systems / 38--48 \\
                 Pawe{\l} Augustynowicz, Andrzej Paszkiewicz / Efficient
                 Modular Squaring in Binary Fields on CPU Supporting AVX
                 and GPU / 49--57 \\
                 Carl Christian Kjelgaard Mikkelsen, Mirko Myllykoski /
                 Parallel Robust Computation of Generalized Eigenvectors
                 of Matrix Pencils / 58--69 \\
                 Mirko Myllykoski, Carl Christian Kjelgaard Mikkelsen /
                 Introduction to StarNEig A Task-Based Library for
                 Solving Nonsymmetric Eigenvalue Problems / 70--81 \\
                 Angelika Schwarz, Carl Christian Kjelgaard Mikkelsen /
                 Robust Task-Parallel Solution of the Triangular
                 Sylvester Equation / 82--92 \\
                 Beata Dmitruk, Przemys{\l}aw Stpiczy{\'n}ski /
                 Vectorized Parallel Solver for Tridiagonal Toeplitz
                 Systems of Linear Equations / 93--103 \\
                 Carola Kruse, Masha Sosonkina, Mario Arioli, Nicolas
                 Tardieu, Ulrich R{\"u}de / Parallel Performance of an
                 Iterative Solver Based on the Golub-Kahan
                 Bidiagonalization / 104--116 \\
                 Linus Seelinger, Anne Reinarz, Robert Scheichl / A
                 High-Performance Implementation of a Robust
                 Preconditioner for Heterogeneous Problems / 117--128
                 \\
                 Viviana Arrigoni, Annalisa Massini / Hybrid Solver for
                 Quasi Block Diagonal Linear Systems / 129--140 \\
                 Michal Krav{\v{c}}enko, Jan Zapletal, Xavier Claeys,
                 Michal Merta / Parallel Adaptive Cross Approximation
                 for the Multi-trace Formulation of Scattering Problems
                 / 141--150 \\
                 Daisuke Takahashi / Implementation of Parallel 3-D Real
                 FFT with 2-D Decomposition on Intel Xeon Phi Clusters /
                 151--161 \\
                 Doru Thom Popovici, Devangi N. Parikh, Daniele G.
                 Spampinato, Tze Meng Low / Exploiting Symmetries of
                 Small Prime-Sized DFTs / 162--173 \\
                 Victor Gergel, Evgeny Kozinov / Parallel Computations
                 for Various Scalarization Schemes in Multicriteria
                 Optimization Problems / 174--184 \\
                 Emerging HPC Architectures \\
                 Front Matter / 185--185 \\
                 Enrico Calore, Alessandro Gabbana, Fabio Rinaldi,
                 Sebastiano Fabio Schifano, Raffaele Tripiccione / Early
                 Performance Assessment of the ThunderX2 Processor for
                 Lattice Based Simulations / 187--198 \\
                 Emerging HPC Architectures \\
                 Mate Cobrnic, Alen Duspara, Leon Dragic, Igor Piljic,
                 Hrvoje Mlinaric, Mario Kovac / An Area Efficient and
                 Reusable HEVC 1D-DCT Hardware Accelerator / 199--208
                 \\
                 Performance Analysis and Scheduling in HPC Systems \\
                 Front Matter / 209--209 \\
                 M. Yusuf {\"O}zkaya, Anne Benoit, {\"U}mit V.
                 {\c{C}}ataly{\"u}rek / Improving Locality-Aware
                 Scheduling with Acyclic Directed Graph Partitioning /
                 211--223 \\
                 Maciej Drozdowski, Gaurav Singh, J{\k{e}}drzej M.
                 Marsza{\l}kowski / Isoefficiency Maps for Divisible
                 Computations in Hierarchical Memory Systems / 224--234
                 \\
                 Environments and Frameworks for
                 Parallel/Distributed/Cloud Computing \\
                 Front Matter / 235--235 \\
                 Tim Cramer, Manoel R{\"o}mmer, Boris Kosmynin, Erich
                 Focht, Matthias S. M{\"u}ller / OpenMP Target Device
                 Offloading for the SX-Aurora TSUBASA Vector Engine /
                 237--249 \\
                 Camille Coti, Allen D. Malony / On the Road to DiPOSH:
                 Adventures in High-Performance OpenSHMEM / 250--260 \\
                 Roman Wiatr, Vladyslav Lyutenko, Mi{\l}osz Demczuk,
                 Renata S{\l}ota, Jacek Kitowski / Click-Fraud Detection
                 for Online Advertising / 261--271 \\
                 Adam Smyk, Marek Tudruj, Lukasz Grochal / Parallel
                 Graph Partitioning Optimization Under PEGASUS DA
                 Application Global State Monitoring / 272--286 \\
                 Bartosz Balis, Michal Orzechowski, Krystian Pawlik,
                 Maciej Pawlik, Maciej Malawski / Cloud Infrastructure
                 Automation for Scientific Workflows / 287--297 \\
                 Applications of Parallel Computing \\
                 Front Matter / 299--299 \\
                 Steven W. D. Chien, Ivy B. Peng, Stefano Markidis /
                 Posit NPB: Assessing the Precision Improvement in HPC
                 Scientific Applications / 301--310 \\
                 Lukas Krenz, Leonhard Rannabauer, Michael Bader / A
                 High-Order Discontinuous Galerkin Solver with Dynamic
                 Adaptive Mesh Refinement to Simulate Cloud Formation
                 Processes / 311--323 \\
                 Evgeny Kuznetsov, Nikolay Kondratyuk, Mikhail Logunov,
                 Vsevolod Nikolskiy, Vladimir Stegailov / Performance
                 and Portability of State-of-Art Molecular Dynamics
                 Software on Modern GPUs / 324--334 \\
                 Iosif Meyerov, Alexander Panov, Sergei Bastrakov,
                 Aleksei Bashinov, Evgeny Efimenko, Elena Panova, Igor
                 Surmin, Valentin Volokitin, and Arkady Gonoskov /
                 Exploiting Parallelism on Shared Memory in the QED
                 Particle-in-Cell Code PICADOR with Greedy Load
                 Balancing / 335--347 \\
                 Michael Quell, Paul Manstetten, Andreas H{\"o}ssinger,
                 Siegfried Selberherr, Josef Weinbub / Parallelized
                 Construction of Extension Velocities for the Level-Set
                 Method / 348--358 \\
                 Marcin Czajkowski, Krzysztof Jurczuk, Marek Kretowski /
                 Relative Expression Classification Tree. A Preliminary
                 GPU-Based Implementation / 359--369 \\
                 Kamil Halbiniak, Lukasz Szustak, Adam Kulawik, Pawel
                 Gepner / Performance Optimizations for Parallel
                 Modeling of Solidification with Dynamic Intensity of
                 Computation / 370--381 \\
                 Parallel Non-numerical Algorithms \\
                 Front Matter / 383--383 \\
                 Joel Fuentes, Wei-yu Chen, Guei-yuan Lueh, Arturo
                 Garza, Isaac D. Scherson / SIMD-node Transformations
                 for Non-blocking Data Structures / 385--395 \\
                 Parallel Non-numerical Algorithms \\
                 Hironobu Kobayashi, Yasuaki Ito, Koji Nakano / Stained
                 Glass Image Generation Using Voronoi Diagram and Its
                 GPU Acceleration / 396--407 \\
                 Anna Sasak-Oko{\'n} / Modifying Queries Strategy for
                 Graph-Based Speculative Query Execution for RDBMS /
                 408--418 \\
                 Soft Computing with Applications \\
                 Front Matter / 419--419 \\
                 Krzysztof Jurczuk, Marcin Czajkowski, Marek Kretowski /
                 Accelerating GPU-based Evolutionary Induction of
                 Decision Trees --- Fitness Evaluation Reuse / 421--431
                 \\
                 Hatem Khalloof, Phil Ostheimer, Wilfried Jakob, Shadi
                 Shahoud, Clemens Duepmeier, Veit Hagenmeyer / A
                 Distributed Modular Scalable and Generic Framework for
                 Parallelizing Population-Based Metaheuristics /
                 432--444 \\
                 Danuta Rutkowska, Krzysztof Wiaderek / Parallel
                 Processing of Images Represented by Linguistic
                 Description in Databases / 445--456 \\
                 Wojciech Kwedlo, Micha{\l} {\L}ubowicz / An OpenMP
                 Parallelization of the K-means Algorithm Accelerated
                 Using KD-trees / 457--466 \\
                 W{\l}odzimierz Funika, Pawe{\l} Koperek / Evaluating
                 the Use of Policy Gradient Optimization Approach for
                 Automatic Cloud Resource Provisioning / 467--478 \\
                 {\L}ukasz Karbowiak / Improving Efficiency of Automatic
                 Labeling by Image Transformations on CPU and GPU /
                 479--490 \\
                 Special Session on GPU Computing \\
                 Front Matter / 1--1 \\
                 Takahiro Inoue, Hiroki Tokura, Koji Nakano, Yasuaki Ito
                 / Efficient Triangular Matrix Vector Multiplication on
                 the GPU / 493--504 \\
                 Dominik Ernst, Georg Hager, Jonas Thies, Gerhard
                 Wellein / Performance Engineering for a Tall & Skinny
                 Matrix Multiplication Kernels on GPUs / 505--515 \\
                 Daichi Mukunoki, Takeshi Ogita, Katsuhisa Ozaki /
                 Reproducible BLAS Routines with Tunable Accuracy Using
                 Ozaki Scheme for Many-Core Architectures / 516--527 \\
                 Tao Chang, Emeric Brun, Christophe Calvin / Portable
                 Monte Carlo Transport Performance Evaluation in the
                 PATMOS Prototype / 528--539 \\
                 Special Session on Parallel Matrix Factorizations \\
                 Front Matter / 541--541 \\
                 Piyush Sao, Ramakrishnan Kannan / Multifrontal
                 Non-negative Matrix Factorization / 543--554 \\
                 Martin Be{\v{c}}ka, Gabriel Ok{\v{s}}a /Preconditioned
                 Jacobi SVD Algorithm Outperforms PDGESVD / 555--566 \\
                 Marek Parfieniuk / A Parallel Factorization for
                 Generating Orthogonal Matrices / 567--578 \\
                 Back Matter / 579--581",
}


bibtype: proceedings
filename: fparith.bib
label: IEEE:2021:ISC
editor: IEEE
publisher: pub-IEEE
address: pub-IEEE:adr
year: 2021
DOI: https://doi.org/10.1109/ARITH51176.2021
ISBN: 1-66542-293-9 (print), 1-66544-648-X (e-book) OR 1665422939 (print), 166544648X (ebook)
bibdate: Thu Sep 21 10:36:52 MDT 2023
bibtimestamp: 2023.09.21 10:36:52 MDT
keywords: ARITH-28
acknowledgement: ack-nhfb
raweditor: {IEEE}
booktitle:
2021 IEEE 28th Symposium on Computer Arithmetic: ARITH 2021: virtual conference, 14--16 June 2021: proceedings

title:
2021 IEEE 28th Symposium on Computer Arithmetic: ARITH 2021: virtual conference, 14--16 June 2021: proceedings

ISBN13:
978-1-66542-293-2 (print), 978-1-66544-648-8 (e-book) OR 9781665422932 (print), 9781665446488 (ebook)

bibsource:
fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/ieeetransemergtopcomput.bib; https://www.math.utah.edu/pub/tex/bib/risc-v.bib

remark:
The 28th IEEE Symposium on Computer Arithmetic --- ARITH 2021 --- originally scheduled in Turin, Italy, is held in June 2021 as a virtual conference due to the uncertainty of the world health and travel situation.

rawbooktitle:
{2021 IEEE 28th Symposium on Computer Arithmetic: ARITH 2021: virtual conference, 14--16 June 2021: proceedings}

rawtitle:
{2021 IEEE 28th Symposium on Computer Arithmetic: ARITH 2021: virtual conference, 14--16 June 2021: proceedings}

entry:
@Proceedings{IEEE:2021:ISC,
  editor =       "{IEEE}",
  booktitle =    "{2021 IEEE 28th Symposium on Computer Arithmetic:
                 ARITH 2021: virtual conference, 14--16 June 2021:
                 proceedings}",
  title =        "{2021 IEEE 28th Symposium on Computer Arithmetic:
                 ARITH 2021: virtual conference, 14--16 June 2021:
                 proceedings}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "????",
  year =         "2021",
  DOI =          "https://doi.org/10.1109/ARITH51176.2021",
  ISBN =         "1-66542-293-9 (print), 1-66544-648-X (e-book)",
  ISBN-13 =      "978-1-66542-293-2 (print), 978-1-66544-648-8
                 (e-book)",
  LCCN =         "????",
  bibdate =      "Thu Sep 21 10:36:52 MDT 2023",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/ieeetransemergtopcomput.bib;
                 https://www.math.utah.edu/pub/tex/bib/risc-v.bib",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-28",
  meetingname =  "IEEE International Symposium on Computer Arithmetic
                 28. 2021",
  remark =       "The 28th IEEE Symposium on Computer Arithmetic ---
                 ARITH 2021 --- originally scheduled in Turin, Italy, is
                 held in June 2021 as a virtual conference due to the
                 uncertainty of the world health and travel situation.",
}


bibtype: proceedings
filename: fparith.bib
label: Gustafson:2022:NGA
author: John Gustafson and Vassil Dimitrov
volume: 13253
publisher: pub-SV
address: pub-SV:adr
pages: vii + 135
year: 2022
DOI: https://doi.org/10.1007/978-3-031-09779-9
ISBN: 3-031-09778-5, 3-031-09779-3 (e-book) OR 3031097785, 3031097793 (ebook)
ISBN13: 978-3-031-09778-2, 978-3-031-09779-9 (e-book) OR 9783031097782, 9783031097799 (ebook)
ISSN: 0302-9743 (print), 1611-3349 (electronic) OR 03029743 (print), 16113349 (electronic)
ISSNL: 0302-9743 OR 03029743
LCCN: QA76.9.C62
bibdate: Fri Dec 15 07:04:06 2023
bibsource: https://www.math.utah.edu/pub/tex/bib/fparith.bib
bibtimestamp: 2023.12.15 07:04:06 ???
series: ser-LNCS
acknowledgement: ack-nhfb
bookpages: vii + 135
rawauthor: John Gustafson and Vassil Dimitrov
booktitle:
Next Generation Arithmetic: Third International Conference, CoNGA 2022, Singapore, March 1--3, 2022, Revised Selected Papers

title:
Next Generation Arithmetic: Third International Conference, CoNGA 2022, Singapore, March 1--3, 2022, Revised Selected Papers

TOC:
Moritz Barthel, Nils Hulsmeier, Jochen Rust, and Steffen Paul / On the Implementation of Edge Detection Algorithms with SORN Arithmetic / 1 Oregane Desrentes, Diana Resmerita, and Benoit Dupont de Dinechin / A Posit8 Decompression Operator for Deep Neural Network Inference / 14 Nhut-Minh Ho, Himeshi De Silva, John L. Gustafson, and Weng-Fai Wong / Qtorch+: Next Generation Arithmetic for Pytorch Machine Learning / 31 Hamed F. Langroudi, Vedant Karia, Tej Pandit, Becky Mashaido, and Dhireesha Kudithipudi / ACTION: Automated Hardware-Software Codesign Framework for Low-precision Numerical Format SelecTION in TinyML / 50 Peter Lindstrom / MultiPosits: Universal Coding of $mathbb R^n$ / 66 Raul Murillo, David Mallasen, Alberto A. Del Barrio, and Guillermo Botella / Comparing Different Decodings for Posit Arithmetic / 84 E. Theodore L. Omtzigt and James Quinlan / Universal: Reliable, Reproducible, and Energy-Efficient Numerics / 100 Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, and Sergio Saponara / Small Reals Representations for Deep Learning at the Edge: A Comparison / 117 Author Index / 135

rawbooktitle:
Next Generation Arithmetic: {Third International Conference, CoNGA 2022, Singapore, March 1--3, 2022, Revised Selected Papers}

rawtitle:
Next Generation Arithmetic: {Third International Conference, CoNGA 2022, Singapore, March 1--3, 2022, Revised Selected Papers}

rawTOC:
Moritz B{\"a}rthel, Nils H{\"u}lsmeier, Jochen Rust, and Steffen Paul / On the Implementation of Edge Detection Algorithms with SORN Arithmetic / 1 \\ Or{\'e}gane Desrentes, Diana Resmerita, and Beno{\^\i}t Dupont de Dinechin / A Posit8 Decompression Operator for Deep Neural Network Inference / 14 \\ Nhut-Minh Ho, Himeshi De Silva, John L. Gustafson, and Weng-Fai Wong / Qtorch+: Next Generation Arithmetic for Pytorch Machine Learning / 31 \\ Hamed F. Langroudi, Vedant Karia, Tej Pandit, Becky Mashaido, and Dhireesha Kudithipudi / ACTION: Automated Hardware-Software Codesign Framework for Low-precision Numerical Format SelecTION in TinyML / 50 \\ Peter Lindstrom / MultiPosits: Universal Coding of $\mathbb{R}^n$ / 66 \\ Raul Murillo, David Mallas{\'e}n, Alberto A. Del Barrio, and Guillermo Botella / Comparing Different Decodings for Posit Arithmetic / 84 \\ E. Theodore L. Omtzigt and James Quinlan / Universal: Reliable, Reproducible, and Energy-Efficient Numerics / 100 \\ Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, and Sergio Saponara / Small Reals Representations for Deep Learning at the Edge: A Comparison / 117 \\ Author Index / 135

entry:
@Proceedings{Gustafson:2022:NGA,
  author =       "John Gustafson and Vassil Dimitrov",
  booktitle =    "Next Generation Arithmetic: {Third International
                 Conference, CoNGA 2022, Singapore, March 1--3, 2022,
                 Revised Selected Papers}",
  title =        "Next Generation Arithmetic: {Third International
                 Conference, CoNGA 2022, Singapore, March 1--3, 2022,
                 Revised Selected Papers}",
  volume =       "13253",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  bookpages =    "vii + 135",
  pages =        "vii + 135",
  year =         "2022",
  DOI =          "https://doi.org/10.1007/978-3-031-09779-9",
  ISBN =         "3-031-09778-5, 3-031-09779-3 (e-book)",
  ISBN-13 =      "978-3-031-09778-2, 978-3-031-09779-9 (e-book)",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  LCCN =         "QA76.9.C62",
  bibdate =      "Fri Dec 15 07:04:06 2023",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  tableofcontents = "Moritz B{\"a}rthel, Nils H{\"u}lsmeier, Jochen
                 Rust, and Steffen Paul / On the Implementation of Edge
                 Detection Algorithms with SORN Arithmetic / 1 \\
                 Or{\'e}gane Desrentes, Diana Resmerita, and Beno{\^\i}t
                 Dupont de Dinechin / A Posit8 Decompression Operator
                 for Deep Neural Network Inference / 14 \\
                 Nhut-Minh Ho, Himeshi De Silva, John L. Gustafson, and
                 Weng-Fai Wong / Qtorch+: Next Generation Arithmetic for
                 Pytorch Machine Learning / 31 \\
                 Hamed F. Langroudi, Vedant Karia, Tej Pandit, Becky
                 Mashaido, and Dhireesha Kudithipudi / ACTION: Automated
                 Hardware-Software Codesign Framework for Low-precision
                 Numerical Format SelecTION in TinyML / 50 \\
                 Peter Lindstrom / MultiPosits: Universal Coding of
                 $\mathbb{R}^n$ / 66 \\
                 Raul Murillo, David Mallas{\'e}n, Alberto A. Del
                 Barrio, and Guillermo Botella / Comparing Different
                 Decodings for Posit Arithmetic / 84 \\
                 E. Theodore L. Omtzigt and James Quinlan / Universal:
                 Reliable, Reproducible, and Energy-Efficient Numerics /
                 100 \\
                 Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi,
                 and Sergio Saponara / Small Reals Representations for
                 Deep Learning at the Edge: A Comparison / 117 \\
                 Author Index / 135",
}


bibtype: proceedings
filename: fparith.bib
label: IEEE:2022:ISC
editor: IEEE
publisher: pub-IEEE
address: pub-IEEE:adr
year: 2022
DOI: https://doi.org/10.1109/ARITH54963.2022
ISBN: 1-66547-827-6, 1-66547-828-4 OR 1665478276, 1665478284
ISBN13: 978-1-66547-827-4, 978-1-66547-828-1 OR 9781665478274, 9781665478281
bibdate: Thu Sep 21 10:14:25 2023
bibtimestamp: 2023.09.21 10:14:25 ???
keywords: ARITH-29
acknowledgement: ack-nhfb
raweditor: {IEEE}
booktitle:
2022 IEEE 29th Symposium on Computer Arithmetic: ARITH 2022: virtual conference, 12--14 September 2022: proceedings

title:
2022 IEEE 29th Symposium on Computer Arithmetic: ARITH 2022: virtual conference, 12--14 September 2022: proceedings

bibsource:
https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/risc-v.bib

rawbooktitle:
{2022 IEEE 29th Symposium on Computer Arithmetic: ARITH 2022: virtual conference, 12--14 September 2022: proceedings}

rawtitle:
{2022 IEEE 29th Symposium on Computer Arithmetic: ARITH 2022: virtual conference, 12--14 September 2022: proceedings}

entry:
@Proceedings{IEEE:2022:ISC,
  editor =       "{IEEE}",
  booktitle =    "{2022 IEEE 29th Symposium on Computer Arithmetic:
                 ARITH 2022: virtual conference, 12--14 September 2022:
                 proceedings}",
  title =        "{2022 IEEE 29th Symposium on Computer Arithmetic:
                 ARITH 2022: virtual conference, 12--14 September 2022:
                 proceedings}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "????",
  year =         "2022",
  DOI =          "https://doi.org/10.1109/ARITH54963.2022",
  ISBN =         "1-66547-827-6, 1-66547-828-4",
  ISBN-13 =      "978-1-66547-827-4, 978-1-66547-828-1",
  LCCN =         "????",
  bibdate =      "Thu Sep 21 10:14:25 2023",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/risc-v.bib",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-29",
  meetingname =  "IEEE Symposium on Computer Arithmetic 29. 2022",
}


bibtype: proceedings
filename: fparith.bib
label: Gustafson:2023:NGA
editor: John Gustafson and Siew Hoon Leong and Marek Michalewicz
publisher: pub-SV
address: pub-SV:adr
year: 2023
DOI: https://doi.org/10.1007/978-3-031-32180-1
ISBN: 3-031-32180-4 OR 3031321804
ISBN13: 978-3-031-32180-1 OR 9783031321801
ISSN: 0302-9743 (print), 1611-3349 (electronic) OR 03029743 (print), 16113349 (electronic)
ISSNL: 0302-9743 OR 03029743
bibdate: Fri Dec 15 11:31:31 2023
bibsource: https://www.math.utah.edu/pub/tex/bib/fparith.bib
bibtimestamp: 2023.12.15 11:31:31 ???
series: ser-LNCS
keywords: posit arithmetic
acknowledgement: ack-nhfb
raweditor: John Gustafson and Siew Hoon Leong and Marek Michalewicz
booktitle:
Next Generation Arithmetic: 4th International Conference, CoNGA 2023, Singapore, March 1--2, 2023, Proceedings

title:
Next Generation Arithmetic: 4th International Conference, CoNGA 2023, Singapore, March 1--2, 2023, Proceedings

TOC:
Front Matter / i--x Siew Hoon Leong, John L. Gustafson / Lossless FFTs Using Posit Arithmetic / 1--18 Nhut-Minh Ho, Duy-Thanh Nguyen, John L. Gustafson, Weng-Fai Wong / Bedot: Bit Efficient Dot Product for Deep Generative Models / 19--37 Moritz Beutel, Robert Strzodka / A Paradigm for Interval-Aware Programming / 38--60 John L. Gustafson, Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara / Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers / 61--76 Nils Hulsmeier, Moritz Barthel, Jochen Rust, Steffen Paul / Hybrid SORN Hardware Accelerator for Support Vector Machines / 77--87 Diksha Shekhawat, Jugal Gandhi, M. Santosh, Jai Gopal Pandey / PHAc: Posit Hardware Accelerator for Efficient Arithmetic Logic Operations / 88--100 Moritz Barthel, Chen Yuxing, Nils Hulsmeier, Jochen Rust, Steffen Paul / Fused Three-Input SORN Arithmetic / 101--113 Himeshi De Silva, Hongshi Tan, Nhut-Minh Ho, John L. Gustafson, Weng-Fai Wong / Towards a Better 16--Bit Number Representation for Training Neural Networks / 114--133 Ponsuganth Ilangovan P., Rohan Rayan, Vinay Shankar Saxena / Improving the Stability of Kalman Filters with Posit Arithmetic / 134--154 Thushara Kanchana Gunaratne / Evaluation of the Use of Low Precision Floating-Point Arithmetic for Applications in Radio Astronomy / 155--170 Raul Murillo, David Mallasen, Alberto A. Del Barrio, Guillermo Botella / PLAUs: Posit Logarithmic Approximate Units to Implement Low-Cost Operations with Real Numbers / 171--188 Back Matter / 189--189

rawbooktitle:
Next Generation Arithmetic: {4th International Conference, CoNGA 2023, Singapore, March 1--2, 2023, Proceedings}

rawtitle:
Next Generation Arithmetic: {4th International Conference, CoNGA 2023, Singapore, March 1--2, 2023, Proceedings}

rawTOC:
Front Matter / i--x \\ Siew Hoon Leong, John L. Gustafson / Lossless FFTs Using Posit Arithmetic / 1--18 \\ Nhut-Minh Ho, Duy-Thanh Nguyen, John L. Gustafson, Weng-Fai Wong / Bedot: Bit Efficient Dot Product for Deep Generative Models / 19--37 \\ Moritz Beutel, Robert Strzodka / A Paradigm for Interval-Aware Programming / 38--60 \\ John L. Gustafson, Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara / Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers / 61--76 \\ Nils H{\"u}lsmeier, Moritz B{\"a}rthel, Jochen Rust, Steffen Paul / Hybrid SORN Hardware Accelerator for Support Vector Machines / 77--87 \\ Diksha Shekhawat, Jugal Gandhi, M. Santosh, Jai Gopal Pandey / PHAc: Posit Hardware Accelerator for Efficient Arithmetic Logic Operations / 88--100 \\ Moritz B{\"a}rthel, Chen Yuxing, Nils H{\"u}lsmeier, Jochen Rust, Steffen Paul / Fused Three-Input SORN Arithmetic / 101--113 \\ Himeshi De Silva, Hongshi Tan, Nhut-Minh Ho, John L. Gustafson, Weng-Fai Wong / Towards a Better 16--Bit Number Representation for Training Neural Networks / 114--133 \\ Ponsuganth Ilangovan P., Rohan Rayan, Vinay Shankar Saxena / Improving the Stability of Kalman Filters with Posit Arithmetic / 134--154 \\ Thushara Kanchana Gunaratne / Evaluation of the Use of Low Precision Floating-Point Arithmetic for Applications in Radio Astronomy / 155--170 \\ Raul Murillo, David Mallas{\'e}n, Alberto A. Del Barrio, Guillermo Botella / PLAUs: Posit Logarithmic Approximate Units to Implement Low-Cost Operations with Real Numbers / 171--188 \\ Back Matter / 189--189

entry:
@Proceedings{Gustafson:2023:NGA,
  editor =       "John Gustafson and Siew Hoon Leong and Marek
                 Michalewicz",
  booktitle =    "Next Generation Arithmetic: {4th International
                 Conference, CoNGA 2023, Singapore, March 1--2, 2023,
                 Proceedings}",
  title =        "Next Generation Arithmetic: {4th International
                 Conference, CoNGA 2023, Singapore, March 1--2, 2023,
                 Proceedings}",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  year =         "2023",
  DOI =          "https://doi.org/10.1007/978-3-031-32180-1",
  ISBN =         "3-031-32180-4",
  ISBN-13 =      "978-3-031-32180-1",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri Dec 15 11:31:31 2023",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  keywords =     "posit arithmetic",
  tableofcontents = "Front Matter / i--x \\
                 Siew Hoon Leong, John L. Gustafson / Lossless FFTs
                 Using Posit Arithmetic / 1--18 \\
                 Nhut-Minh Ho, Duy-Thanh Nguyen, John L. Gustafson,
                 Weng-Fai Wong / Bedot: Bit Efficient Dot Product for
                 Deep Generative Models / 19--37 \\
                 Moritz Beutel, Robert Strzodka / A Paradigm for
                 Interval-Aware Programming / 38--60 \\
                 John L. Gustafson, Marco Cococcioni, Federico Rossi,
                 Emanuele Ruffaldi, Sergio Saponara / Decoding-Free
                 Two-Input Arithmetic for Low-Precision Real Numbers /
                 61--76 \\
                 Nils H{\"u}lsmeier, Moritz B{\"a}rthel, Jochen Rust,
                 Steffen Paul / Hybrid SORN Hardware Accelerator for
                 Support Vector Machines / 77--87 \\
                 Diksha Shekhawat, Jugal Gandhi, M. Santosh, Jai Gopal
                 Pandey / PHAc: Posit Hardware Accelerator for Efficient
                 Arithmetic Logic Operations / 88--100 \\
                 Moritz B{\"a}rthel, Chen Yuxing, Nils H{\"u}lsmeier,
                 Jochen Rust, Steffen Paul / Fused Three-Input SORN
                 Arithmetic / 101--113 \\
                 Himeshi De Silva, Hongshi Tan, Nhut-Minh Ho, John L.
                 Gustafson, Weng-Fai Wong / Towards a Better 16--Bit
                 Number Representation for Training Neural Networks /
                 114--133 \\
                 Ponsuganth Ilangovan P., Rohan Rayan, Vinay Shankar
                 Saxena / Improving the Stability of Kalman Filters with
                 Posit Arithmetic / 134--154 \\
                 Thushara Kanchana Gunaratne / Evaluation of the Use of
                 Low Precision Floating-Point Arithmetic for
                 Applications in Radio Astronomy / 155--170 \\
                 Raul Murillo, David Mallas{\'e}n, Alberto A. Del
                 Barrio, Guillermo Botella / PLAUs: Posit Logarithmic
                 Approximate Units to Implement Low-Cost Operations with
                 Real Numbers / 171--188 \\
                 Back Matter / 189--189",
}


bibtype: proceedings
filename: fparith.bib
label: IEEE:2023:PIS
editor: IEEE
publisher: pub-IEEE
address: pub-IEEE:adr
pages: 167
year: 2023
bibdate: Wed May 08 09:18:10 2024
bibtimestamp: 2024.05.08 09:18:10 ???
keywords: ARITH-30
acknowledgement: ack-nhfb
raweditor: {IEEE}
booktitle:
Proceedings: 2023 IEEE 30th Symposium on Computer Arithmetic: ARITH 2023, 4--6 September 2023 Portland, United States

title:
Proceedings: 2023 IEEE 30th Symposium on Computer Arithmetic: ARITH 2023, 4--6 September 2023 Portland, United States

ISBN13:
979-83-503-1923-1 (print), 979-83-503-1922-4 (electronic) OR 9798350319231 (print), 9798350319224 (electronic)

bibsource:
https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/risc-v.bib

rawbooktitle:
Proceedings: {2023 IEEE 30th Symposium on Computer Arithmetic: ARITH 2023, 4--6 September 2023 Portland, United States}

rawtitle:
Proceedings: {2023 IEEE 30th Symposium on Computer Arithmetic: ARITH 2023, 4--6 September 2023 Portland, United States}

entry:
@Proceedings{IEEE:2023:PIS,
  editor =       "{IEEE}",
  booktitle =    "Proceedings: {2023 IEEE 30th Symposium on Computer
                 Arithmetic: ARITH 2023, 4--6 September 2023 Portland,
                 United States}",
  title =        "Proceedings: {2023 IEEE 30th Symposium on Computer
                 Arithmetic: ARITH 2023, 4--6 September 2023 Portland,
                 United States}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "167",
  year =         "2023",
  ISBN-13 =      "979-83-503-1923-1 (print), 979-83-503-1922-4 (electronic)",
  LCCN =         "????",
  bibdate =      "Wed May 08 09:18:10 2024",
  acknowledgement = ack-nhfb,
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/risc-v.bib",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-30",
}


