Sciweavers

61 search results - page 2 / 13
» An Introduction to the Plasma Language
Sort
View
113
Voted
SC
2005
ACM
15 years 7 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,...
91
Voted
PADL
2010
Springer
15 years 10 months ago
An Introduction to Maude and Some of Its Applications
Narciso Martí-Oliet
142
Voted
CEFP
2007
Springer
15 years 8 months ago
An Introduction to the Lambda Calculus
Zoltán Csörnyei, Gergely Dévai