Search Sciweavers | Sciweavers

2008 search results - page 17 / 402

» Computing with Equations

164

click to vote

DAC
1992
ACM

100views Computer Architecture» more DAC 1992»

Recurrence Equations and the Optimization of Synchronous Logic Circuits

15 years 11 months ago

Download si2.epfl.ch

Maurizio Damiani, Giovanni De Micheli

claim paper

Read More »

161

click to vote

PPOPP
1993
ACM

93views Distributed and Parallel Com...» more PPOPP 1993»

Data Flow Equations for Explicitly Parallel Programs

15 years 11 months ago

Download www.cs.colorado.edu

Dirk Grunwald, Harini Srinivasan

claim paper

Read More »

186

click to vote

IWWERT
1991

150views Theoretical Computer Science» more IWWERT 1991»

Word Equations with Two Variables

15 years 11 months ago

Download www.ii.uni.wroc.pl

Witold Charatonik, Leszek Pacholski

claim paper

Read More »

129

click to vote

CTRS
1987

41views Theoretical Computer Science» more CTRS 1987»

Solving Goals in Equational Languages

15 years 11 months ago

Download www.cs.tau.ac.il

Nachum Dershowitz, G. Sivakumar

claim paper

Read More »

185

click to vote

EUROPAR
2007
Springer

106views Distributed And Parallel Com...» more EUROPAR 2007»

A Fully Scalable Parallel Algorithm for Solving Elliptic Partial Differential Equations

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers