Sciweavers

1204 search results - page 7 / 241
» Parallel concurrent ML
Sort
View
FM
1994
Springer
102views Formal Methods» more  FM 1994»
15 years 3 months ago
An Action Semantics for ML Concurrency Primitives
Peter D. Mosses, Martín Musicante
SPAA
2009
ACM
16 years 5 days ago
Beyond nested parallelism: tight bounds on work-stealing overheads for parallel futures
Work stealing is a popular method of scheduling fine-grained parallel tasks. The performance of work stealing has been extensively studied, both theoretically and empirically, but...
Daniel Spoonhower, Guy E. Blelloch, Phillip B. Gib...
ICFP
2008
ACM
15 years 11 months ago
Space profiling for parallel functional programs
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...
Daniel Spoonhower, Guy E. Blelloch, Robert Harper,...
CONCURRENCY
2010
93views more  CONCURRENCY 2010»
14 years 11 months ago
A framework for scalable, parallel performance monitoring
Aroon Nataraj, Allen D. Malony, Alan Morris, Doria...
CONCURRENCY
2006
48views more  CONCURRENCY 2006»
14 years 11 months ago
Parallel divide-and-conquer scheme for 2D Delaunay triangulation
Min-Bin Chen, Tyng-Ruey Chuang, Jan-Jan Wu