Search Sciweavers | Sciweavers

17129 search results - page 261 / 3426

» Applied Computing

103

click to vote

BIRTHDAY
2000
Springer

74views Applied Computing» more BIRTHDAY 2000»

Matrix-based Constructive Theorem Proving

15 years 11 months ago

Download www.nuprl.org

Christoph Kreitz, Jens Otten, Stephan Schmitt, Bri...

claim paper

Read More »

165

click to vote

ARITH
1999
IEEE

92views Applied Computing» more ARITH 1999»

The S/390 G5 Floating Point Unit Supporting Hex and Binary Architectures

15 years 11 months ago

Download arith.stanford.edu

Eric M. Schwarz, Ronald M. Smith, Christopher A. K...

claim paper

Read More »

118

click to vote

SAC
1999
ACM

105views Applied Computing» more SAC 1999»

Multithreaded Rendezvous: A Design Pattern for Distributed Rendezvous

15 years 11 months ago

Download lsd.ls.fi.upm.es

Ricardo Jiménez-Peris, Marta Patiño-...

claim paper

Read More »

102

click to vote

LSSC
1999
Springer

88views Applied Computing» more LSSC 1999»

A Comparison of Three Solvers for the Incompressible Navier-Stokes Equations

15 years 10 months ago

Download www.math.unibas.ch

V. John, Gunar Matthies, Teodora Mitkova, Lutz Tob...

claim paper

Read More »

121

click to vote

SAC
1998
ACM

71views Applied Computing» more SAC 1998»

Spatio-temporal database support for legacy applications

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers