Sciweavers

Share
99 search results - page 1 / 20
» A Truly Concurrent Semantics for a Simple Parallel Programmi...
Sort
View
CSL
1999
Springer
11 years 5 months ago
A Truly Concurrent Semantics for a Simple Parallel Programming Language
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
Paul Gastin, Michael W. Mislove
TCS
2002
11 years 1 months ago
A truly concurrent semantics for a process algebra using resource pomsets
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
Paul Gastin, Michael W. Mislove
PLDI
2010
ACM
11 years 3 months ago
DRFX: a simple and efficient memory model for concurrent programming languages
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
Daniel Marino, Abhayendra Singh, Todd D. Millstein...
ACSC
2005
IEEE
11 years 7 months ago
Optimising Parallel Pattern-matching by Source-level Program Transformation
Parallel pattern-matching (PPM) provides true commutative implementation of functions deļ¬ned by cases in functional languages, because no argument is given precedence over any o...
R. Lyndon While, Tony Field
books