Search Sciweavers | Sciweavers

1175 search results - page 5 / 235

» Abstract computability and algebraic specification

120

Voted

CONCUR
1995
Springer

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

Delayed choice for process algebra with abstraction

15 years 7 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

claim paper

Read More »

108

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

Download userweb.cs.utexas.edu

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

claim paper

Read More »

Voted

CCGRID
2005
IEEE

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

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

15 years 9 months ago

Download www.dps.uibk.ac.at

Thomas Fahringer, Jun Qin, S. Hainzer

claim paper

Read More »

110

Voted

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

Download www.schemeworkshop.org

Malgorzata Biernacka, Olivier Danvy

claim paper

Read More »

Voted

IPPS
2010
IEEE

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

Transforming linear algebra libraries: From abstraction to parallelism

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers