Search Sciweavers | Sciweavers

5630 search results - page 19 / 1126

» Computability in Specification

click to vote

ESCIENCE
2007
IEEE

137views Distributed And Parallel Com...» more ESCIENCE 2007»

The Data Playground: An Intuitive Workflow Specification Environment

14 years 4 months ago

Download www.myexperiment.org

Andrew Gibson, Matthew Gamble, Katy Wolstencroft, ...

claim paper

Read More »

click to vote

AINA
2005
IEEE

80views Computer Networks» more AINA 2005»

Integration of Specification-Based and CR-Based Approaches for GUI Testing

14 years 3 months ago

Download www.iis.sinica.edu.tw

Woei-Kae Chen, Tung-Hung Tsai, Hung-Hsing Chao

claim paper

Read More »

click to vote

PPOPP
2005
ACM

109views Distributed And Parallel Com...» more PPOPP 2005»

Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications

14 years 3 months ago

Download userweb.cs.utexas.edu

Tze Meng Low, Robert A. van de Geijn, Field G. Van...

claim paper

Read More »

click to vote

COORDINATION
2005
Springer

94views Distributed And Parallel Com...» more COORDINATION 2005»

Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications

14 years 3 months ago

Download www.inf.tu-dresden.de

Farhad Arbab, Christel Baier, Frank S. de Boer, Ja...

claim paper

Read More »

click to vote

IPPS
2002
IEEE

104views Distributed And Parallel Com...» more IPPS 2002»

Treating a User-Defined Parallel Library as a Domain-Specific Language

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers