Search Sciweavers | Sciweavers

210 search results - page 5 / 42

» Widening Integer Arithmetic

110

click to vote

ICCAD
2001
IEEE

100views Hardware» more ICCAD 2001»

Verification of Integer Multipliers on the Arithmetic Bit Level

16 years 18 hour ago

Download www-eda.eit.uni-kl.de

Dominik Stoffel, Wolfgang Kunz

claim paper

Read More »

100

click to vote

CAV
2007
Springer

93views Hardware» more CAV 2007»

LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals

15 years 9 months ago

Download www.inf.ethz.ch

Bernd Becker, Christian Dax, Jochen Eisinger, Feli...

claim paper

Read More »

click to vote

RTA
1995
Springer

65views Theoretical Computer Science» more RTA 1995»

Rewrite Systems for Integer Arithmetic

15 years 6 months ago

Download igitur-archive.library.uu.nl

H. R. Walters, Hans Zantema

claim paper

Read More »

click to vote

CORR
2007
Springer

66views Education» more CORR 2007»

On Faster Integer Calculations using Non-Arithmetic Primitives

15 years 3 months ago

Download www.emcc.at

Katharina Lürwer-Brüggemeier, Martin Zie...

claim paper

Read More »

click to vote

TOMS
2010

75views more TOMS 2010»

Computing correctly rounded integer powers in floating-point arithmetic

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers