Sciweavers

1204 search results - page 19 / 241
» Parallel concurrent ML
Sort
View
BANFF
1995
15 years 10 months ago
Specification Structures and Propositions-as-Types for Concurrency
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
197
Voted
ICDE
2011
IEEE
258views Database» more  ICDE 2011»
14 years 10 months ago
SystemML: Declarative machine learning on MapReduce
Abstract—MapReduce is emerging as a generic parallel programming paradigm for large clusters of machines. This trend combined with the growing need to run machine learning (ML) a...
Amol Ghoting, Rajasekar Krishnamurthy, Edwin P. D....
170
Voted
ICFP
1996
ACM
15 years 11 months ago
A Theory of Weak Bisimulation for Core CML
Concurrent ML (CML) is an extension of Standard ML of New Jersey with concurrent features similar to those of process algebra. In this paper, we build upon John Reppy's reduc...
William Ferreira, Matthew Hennessy, Alan Jeffrey