Search Sciweavers | Sciweavers

210 search results - page 5 / 42

» Widening Integer Arithmetic

127

click to vote

ICCAD
2001
IEEE

100views Hardware» more ICCAD 2001»

Verification of Integer Multipliers on the Arithmetic Bit Level

16 years 2 months ago

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

Dominik Stoffel, Wolfgang Kunz

claim paper

Read More »

116

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 11 months ago

Download www.inf.ethz.ch

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

claim paper

Read More »

106

Voted

RTA
1995
Springer

65views Theoretical Computer Science» more RTA 1995»

Rewrite Systems for Integer Arithmetic

15 years 8 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 5 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 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers