Sciweavers

61 search results - page 2 / 13
» An Introduction to the Plasma Language
Sort
View
SC
2005
ACM
15 years 11 months ago
Leading Computational Methods on Scalar and Vector HEC Platforms
The last decade has witnessed a rapid proliferation of superscalar cache-based microprocessors to build high-end computing (HEC) platforms, primarily because of their generality, ...
Leonid Oliker, Jonathan Carter, Michael F. Wehner,...
121
Voted
PADL
2010
Springer
16 years 2 months ago
An Introduction to Maude and Some of Its Applications
Narciso Martí-Oliet
CEFP
2007
Springer
15 years 11 months ago
An Introduction to the Lambda Calculus
Zoltán Csörnyei, Gergely Dévai