Search Sciweavers | Sciweavers

1175 search results - page 5 / 235

» Abstract computability and algebraic specification

147

Voted

CONCUR
1995
Springer

124views Distributed And Parallel Com...» more CONCUR 1995»

Delayed choice for process algebra with abstraction

15 years 10 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

claim paper

Read More »

138

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

15 years 12 months ago

Download userweb.cs.utexas.edu

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

claim paper

Read More »

120

click to vote

CCGRID
2005
IEEE

113views Distributed And Parallel Com...» more CCGRID 2005»

Specification of grid workflow applications with AGWL: an Abstract Grid Workflow Language

16 years 13 hour ago

Download www.dps.uibk.ac.at

Thomas Fahringer, Jun Qin, S. Hainzer

claim paper

Read More »

144

click to vote

BIRTHDAY
2009
Springer

170views Applied Computing» more BIRTHDAY 2009»

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics

15 years 10 months ago

Download www.schemeworkshop.org

Malgorzata Biernacka, Olivier Danvy

claim paper

Read More »

112

click to vote

IPPS
2010
IEEE

77views Distributed And Parallel Com...» more IPPS 2010»

Transforming linear algebra libraries: From abstraction to parallelism

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers