Search Sciweavers | Sciweavers

rrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, c...

Avik Chaudhuri

claim paper

Read More »

115

click to vote

POPL
2010
ACM

236views Programming Languages» more POPL 2010»

Efficient parallel programming in Poly/ML and Isabelle/ML

15 years 11 months ago

Download cl-informatik.uibk.ac.at

David C. J. Matthews, Makarius Wenzel

claim paper

Read More »

click to vote

CONCURRENCY
2000

61views more CONCURRENCY 2000»

Parallel VLSI test in a shared-memory multiprocessor

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers