SPECIFICATION AND DEVELOPMENT OF PARALLEL ALGORITHMS WITH THE PROTEUS SYSTEM ALLEN GOLDBERG, PETER MILLS, LARS NYLAND, JAN PRINS, JOHN REIF, AND JAMES RIELY Abstract. The Proteus language is a wide-spectrum parallel prog

First Page		Document Content
Date: 2012-08-08 19:03:00 Computing Parallel computing Computer programming Software engineering Data parallelism Proteus Implicit parallelism Concurrent computing Parallelism Scala		SPECIFICATION AND DEVELOPMENT OF PARALLEL ALGORITHMS WITH THE PROTEUS SYSTEM ALLEN GOLDBERG, PETER MILLS, LARS NYLAND, JAN PRINS, JOHN REIF, AND JAMES RIELY Abstract. The Proteus language is a wide-spectrum parallel prog Add to Reading List Source URL: www.kestrel.edu Download Document from Source Website File Size: 240,28 KB Share Document on Facebook

	Under consideration for publication in Formal Aspects of Computing Maximally Concurrent Programs 1 DocID: 1xUtw - View Document
	Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK DocID: 1xTlL - View Document
	Fully Concurrent Garbage Collection of Actors on Many-Core Machines Sylvan Clebsch and Sophia Drossopoulou Department of Computing, Imperial College, London {sc5511, scd}@doc.ic.ac.uk DocID: 1tNeJ - View Document
	BritishLanthorn: Ubiquitous Homogeneous Cooperative Symmetries Ike Antkare International Institute of Technology United Slates of Earth DocID: 1ru6U - View Document
	Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia {abonnair,samth}@indiana.edu, Rowan.Davies@cba. DocID: 1ru0R - View Document