Search Sciweavers | Sciweavers

In this paper we look at the developmentof ScaLAPACK, a software library for dense and banded numerical linear algebra, and the NAG Numerical PVM Library, which includes software ...

Jack Dongarra, Sven Hammarling, Antoine Petitet

claim paper

Read More »

228

click to vote

TPCD
1994

157views Hardware» more TPCD 1994»

Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization

15 years 8 months ago

Download www.cs.cornell.edu

Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...

John W. O'Leary, Miriam Leeser, Jason Hickey, Mark...

claim paper

Read More »

123

click to vote

ACL
1992

72views Computational Linguistics» more ACL 1992»

Comparing Two Grammar-Based Generation Algorithms: A Case Study

15 years 7 months ago

Download www.aclweb.org

Miroslav Martinovic, Tomek Strzalkowski

claim paper