Search Sciweavers | Sciweavers

2008 search results - page 17 / 402

» Computing with Equations

click to vote

DAC
1992
ACM

100views Computer Architecture» more DAC 1992»

Recurrence Equations and the Optimization of Synchronous Logic Circuits

15 years 3 months ago

Download si2.epfl.ch

Maurizio Damiani, Giovanni De Micheli

claim paper

Read More »

click to vote

PPOPP
1993
ACM

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

Data Flow Equations for Explicitly Parallel Programs

15 years 3 months ago

Download www.cs.colorado.edu

Dirk Grunwald, Harini Srinivasan

claim paper

Read More »

100

click to vote

IWWERT
1991

150views Theoretical Computer Science» more IWWERT 1991»

Word Equations with Two Variables

15 years 3 months ago

Download www.ii.uni.wroc.pl

Witold Charatonik, Leszek Pacholski

claim paper

Read More »

click to vote

CTRS
1987

41views Theoretical Computer Science» more CTRS 1987»

Solving Goals in Equational Languages

15 years 3 months ago

Download www.cs.tau.ac.il

Nachum Dershowitz, G. Sivakumar

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers