Search Sciweavers | Sciweavers

5630 search results - page 15 / 1126

» Computability in Specification

click to vote

IPPS
2000
IEEE

94views Distributed And Parallel Com...» more IPPS 2000»

Specification Techniques for Automatic Performance Analysis Tools

14 years 2 months ago

Download ipdps.cc.gatech.edu

Michael Gerndt, Hans-Georg Eßer

claim paper

Read More »

click to vote

SC
2000
ACM

93views Applied Computing» more SC 2000»

A Framework for Sparse Matrix Code Synthesis from High-level Specifications

14 years 2 months ago

Download www.sc2000.org

Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali, Paul...

claim paper

Read More »

click to vote

IPPS
1999
IEEE

115views Distributed And Parallel Com...» more IPPS 1999»

From a Specification to an Equivalence Proof in Object-Oriented Parallelism

14 years 2 months ago

Download ipdps.cc.gatech.edu

Isabelle Attali, Denis Caromel, Sylvain Lippi

claim paper

Read More »

click to vote

IPPS
1999
IEEE

134views Distributed And Parallel Com...» more IPPS 1999»

Domain Specific Mapping for Solving Graph Problems on Reconfigurable Devices

14 years 2 months ago

Download ipdps.cc.gatech.edu

Andreas Dandalis, Alessandro Mei, Viktor K. Prasan...

claim paper

Read More »

click to vote

ERSHOV
1999
Springer

99views Theoretical Computer Science» more ERSHOV 1999»

Algebraic Imperative Specifications

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers