Stem float$ (all stems)

75 papers:

DAC-2015-TziantzioulisGF #correlation #fault #float #integer #named

b-HiVE: a bit-level history-based error model with value correlation for voltage-scaled integer and floating point units (GT, AMG, SMF, NH, SOM, SP), p. 6.

TACAS-2015-DanglLW #contest #float #recursion #source code

CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic — (Competition Contribution) (MD, SL, PW), pp. 423–425.

PLDI-2015-PanchekhaSWT #automation #float

Automatically improving accuracy for floating point expressions (PP, ASS, JRW, ZT), pp. 1–11.

FM-2015-SolovyevJRG #estimation #fault #float

Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (AS, CJ, ZR, GG), pp. 532–550.

OOPSLA-2015-LeeBZZVG #assessment #float #named #runtime

RAIVE: runtime assessment of floating-point instability by vectorization (WCL, TB, YZ, XZ, KV, RG), pp. 623–638.

ICSE-v1-2015-ZouWXZSM #algorithm #detection #float #search-based

A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies (DZ, RW, YX, LZ, ZS, HM), pp. 529–539.

DAC-2014-KrautzPAKPB #automation #float #verification

Automatic Verification of Floating Point Units (UK, VP, AA, SK, SP, TB), p. 6.

DATE-2014-LeeserMRW #effectiveness #float #reasoning

Make it real: Effective floating-point reasoning via exact arithmetic (ML, SM, JR, TW), pp. 1–4.

PLDI-2014-Schkufza0A #float #optimisation #precise #probability #source code

Stochastic optimization of floating-point programs with tunable precision (ES, RS, AA), p. 9.

ASPLOS-2014-LuponGMSMSD #float #hardware #multi

Speculative hardware/software co-designed floating-point multiply-add fusion (ML, EG, GM, SS, RM, KS, DRD), pp. 623–638.

PPoPP-2014-ChiangGRS #fault #float #performance

Efficient search for inputs causing high floating-point errors (WFC, GG, ZR, AS), pp. 43–52.

SMT-2014-Melquiond #algorithm #automation #float #verification

Automating the Verification of Floating-Point Algorithms (GM), p. 63.

VMCAI-2014-Romano #float #integer #testing

Practical Floating-Point Tests with Integer Code (AR), pp. 337–356.

DATE-2013-ZhaiYZ #algorithm #float #random

GPU-friendly floating random walk algorithm for capacitance extraction of VLSI interconnects (KZ, WY, HZ), pp. 1661–1666.

SAS-2013-BrainDGHK #float #source code #verification

Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL (MB, VD, AG, LH, DK), pp. 412–432.

OOPSLA-2013-BaoZ #detection #execution #float #on the fly #problem

On-the-fly detection of instability problems in floating-point program execution (TB, XZ), pp. 817–832.

POPL-2013-BarrVLS #automation #detection #exception #float

Automatic detection of floating-point exceptions (ETB, TV, VL, ZS), pp. 549–560.

ICST-2013-BagnaraCGG #float #generative #source code #testing

Symbolic Path-Oriented Test Data Generation for Floating-Point Programs (RB, MC, RG, AG), pp. 1–10.

DATE-2012-MarinhoNPP #analysis #float #scheduling

Preemption delay analysis for floating non-preemptive region scheduling (JM, VN, SMP, IP), pp. 497–502.

PLDI-2012-BenzHH #float #problem #program analysis

A dynamic program analysis to find floating-point accuracy problems (FB, AH, SH), pp. 453–462.

QAPL-2012-GazeauMP #analysis #float #robust #source code

A non-local method for robustness analysis of floating point programs (IG, DM, CP), pp. 63–76.

ICST-2012-DanH #analysis #comparison #float #mutation testing #semantics

Semantic Mutation Analysis of Floating-Point Comparison (HD, RMH), pp. 290–299.

ICST-2012-PonsiniMR #abstract interpretation #analysis #constraints #float #programming #source code

Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs (OP, CM, MR), pp. 775–776.

SMT-2012-ConchonMRI #axiom #float #smt

Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers (SC, GM, CR, MI), pp. 12–21.

HCI-MIIE-2011-ShibuyaNM #diagrams #documentation #float #mobile #performance

An Efficient Document Browsing Method with Floating Diagram Window on Mobile Device (YS, KN, KM), pp. 101–106.

ICEIS-v2-2011-YuanL #enterprise #float #research #standard

The Research of Public Transport Enterprises Quota Floating Fuel — National Standard GB4353 Fuel Consumption for Passenger Vehicles in Operation Applied to the Public Transport Enterprise (YY, ML), pp. 291–296.

PLDI-2010-Loitsch #float #integer

Printing floating-point numbers quickly and accurately with integers (FL), pp. 233–243.

SAS-2010-Chapoutot #abstract domain #float

Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables (AC), pp. 184–200.

ICTSS-2010-LakhotiaTHH #constraints #execution #float #named #search-based #symbolic computation #theorem proving

FloPSy — Search-Based Floating Point Constraint Solving for Symbolic Execution (KL, NT, MH, JdH), pp. 142–157.

IJCAR-2010-AyadM #float #multi #source code #verification

Multi-Prover Verification of Floating-Point Programs (AA, CM), pp. 127–141.

ISSTA-2010-GodefroidK #float #memory management #program analysis #proving #safety

Proving memory safety of floating-point computations by combining static and dynamic program analysis (PG, JK), pp. 1–12.

ISSTA-2010-TangBLS #analysis #float #statistics

Perturbing numerical calculations for statistical analysis of floating-point program (in)stability (ET, ETB, XL, ZS), pp. 131–142.

DATE-2009-GuntoroG #flexibility #float

A flexible floating-point wavelet transform and wavelet packet processor (AG, MG), pp. 1314–1319.

HT-2009-AcottoBBPPV #float #named

ArsMeteo: artworks and tags floating over the planet art (EA, MB, CB, VP, FP, GV), pp. 331–332.

ICALP-v2-2009-Boldo #case study #float #verification

Floats and Ropes: A Case Study for Formal Numerical Program Verification (SB), pp. 91–102.

CAV-2009-Monniaux #float #linear #on the #using

On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure (DM), pp. 570–583.

DAC-2008-ChongP #agile #float #generative

Rapid application specific floating-point unit generation with bit-alignment (YJC, SP), pp. 62–67.

DATE-2007-ChongP #automation #float #generative

Automatic application specific floating-point unit generation (YJC, SP), pp. 461–466.

DocEng-2007-MarriottMH #automation #documentation #float #multi

Automatic float placement in multi-column documents (KM, PM, NH), pp. 125–134.

MLDM-2007-Olvera-LopezTC #float #strict

Restricted Sequential Floating Search Applied to Object Selection (JAOL, JFMT, JACO), pp. 694–702.

DATE-2006-MatulaM #algorithm #float #formal method #generative #performance #standard #traversal #verification

A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division (DWM, LDM), pp. 1134–1138.

DATE-DF-2006-KaruriLAMK #composition #design #float #implementation

Design and implementation of a modular and portable IEEE 754 compliant floating-point unit (KK, RL, GA, HM, MK), pp. 221–226.

SFM-2006-Harrison #float #proving #theorem proving #using #verification

Floating-Point Verification Using Theorem Proving (JH), pp. 211–242.

IJCAR-2006-Boldo #algorithm #float #proving

Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms (SB), pp. 52–66.

FM-2005-Harrison #float #verification

Floating-Point Verification (JH), pp. 529–532.

CAV-2005-Monniaux #analysis #composition #float #linear

Compositional Analysis of Floating-Point Linear Numerical Filters (DM), pp. 199–212.

DAC-2004-RoyB #algorithm #design #fixpoint #float #matlab

An algorithm for converting floating-point computations to fixed-point in MATLAB based FPGA design (SR, PB), pp. 484–487.

ESOP-2004-Mine #abstract domain #detection #fault #float #relational #runtime

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors (AM), pp. 3–17.

DATE-2002-DrozdLD #array #float #online #performance #testing

Efficient On-Line Testing Method for a Floating-Point Iterative Array Divider (AVD, MVL, JVD), p. 1127.

DATE-2002-KaivolaN #float #multi #verification

Formal Verification of the Pentium ® 4 Floating-Point Multiplier (RK, NN), pp. 20–27.

DATE-2002-PronathGA #design #fault #float

A Test Design Method for Floating Gate Defects (FGD) in Analog Integrated Circuits (MP, HEG, KA), pp. 78–83.

ESOP-2002-GoubaultMP #float #interpreter #precise

Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter (EG, MM, SP), pp. 209–212.

SAS-2002-SerebrenikS #float #logic programming #on the #source code #termination

On Termination of Logic Programs with Floating Point Computations (AS, DDS), pp. 151–164.

IFL-2002-LindahlS #compilation #float

Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment (TL, KFS), pp. 134–149.

ASE-2001-SyD #automation #float #generative #integer #source code #testing

Automatic Test Data Generation for Programs with Integer and Float Variables (NTS, YD), pp. 13–21.

DATE-2001-DrozdL #float #online #performance #testing

Efficient on-line testing method for a floating-point adder (AVD, MVL), pp. 307–313.

DATE-2001-YildizSV #bias #float #integer #linear #programming

Minimizing the number of floating bias voltage sources with integer linear programming (EY, AvS, CJMV), p. 816.

SAS-2001-Goubault #analysis #float #precise

Static Analyses of the Precision of Floating-Point Operations (EG), pp. 234–259.

ICPR-v2-2000-PingLK #detection #float #recognition

A Floating Feature Detector for Handwritten Numeral Recognition (ZP, CL, ACK), pp. 2553–2556.

CADE-2000-Seger #float #model checking #proving #theorem proving

Connecting Bits with Floating-Point Numbers: Model Checking and Theorem Proving in Practice (CJHS), p. 235.

CC-1999-CilioC #c #fixpoint #float

Floating Point to Fixed Point Conversion of C Code (AGMC, HC), pp. 229–243.

PLDI-1998-SastryPS #execution #float #integer

Exploiting Idle Floating-Point Resources for Integer Execution (SSS, SP, JES), pp. 118–129.

CAV-1998-ChenB #float #verification

Verification of Floating-Point Adders (YAC, REB), pp. 488–499.

PLDI-1996-BurgerD #float

Printing Floating-Point Numbers Quickly and Accurately (RGB, RKD), pp. 108–116.

ICFP-1996-JonesPS #float #named #performance #source code

Let-floating: Moving Bindings to Give Faster Programs (SLPJ, WP, AS), pp. 1–12.

EDAC-1994-XueDJ #analysis #fault #float #probability

Probability Analysis for CMOS Floating Gate Faults (HX, CD, JAGJ), pp. 443–448.

WSA-1992-AmeurCFG #abstract interpretation #float

An Application of Abstract Interpretation to Floating Point Arithmetic (YAA, PC, JJF, AG), pp. 205–212.

ASPLOS-1991-LeeKB #float #performance

The Floating-Point Performance of a Superscalar SPARC Processor (RLL, AYK, FAB), pp. 28–37.

PLDI-1990-Clinger #float #how

How to Read Floating-Point Numbers Accurately (WDC), pp. 92–101.

PLDI-1990-SteeleW #float #how

How to Print Floating-Point Numbers Accurately (GLSJ, JLW), pp. 112–126.

Best-of-PLDI-1990-Clinger90a #float #how

How to read floating point numbers accurately (with retrospective) (WDC), pp. 360–371.

Best-of-PLDI-1990-SteeleW90a #float #how

How to print floating-point numbers accurately (with retrospective) (GLSJ, JLW), pp. 372–389.

ASPLOS-1989-Dally #float

Micro-Optimization of Floating Point Operations (WJD), pp. 283–289.

ASPLOS-1989-JouppiBW #architecture #float

A Unified Vector/Scalar Floating-Point Architecture (NPJ, JB, DWW), pp. 134–143.

DAC-1976-WuS #algorithm #float

A new routing algorithm for two-sided boards with floating vias (WW, DCS), pp. 151–160.