A New CSP Operator for Optional Parallelism

13 years 10 months ago

Download www.cs.swan.ac.uk

We introduce a new CSP operator for modeling scenarios characterised by partial or optional parallelism. We provide examples of such scenarios and sketch the semantics of our operator. Relevant properties are proven.

Stefan Gruner, Derrick G. Kourie, Markus Roggenbac

Real-time Traffic

CSSE 2008 | Optional Parallelism | Scenarios | Software Engineering |

claim paper

» Technologies for Teracomputing A European Option

» Predicting bounds on queuing delay for batchscheduled parallel machines

» A Parallel Scalable Infrastructure for OLAP and Data Mining

» OnChip Lookup Tables for Fast SymmetricKey Encryption

» High School Students and the Digital Age

» Flexible Consistency for Wide Area Peer Replication

» Improving Collective IO Performance Using Threads

» Tapping ZettaRAMTM for LowPower Memory Systems

Post Info
More Details (n/a)

Added	29 May 2010
Updated	29 May 2010
Type	Conference
Year	2008
Where	CSSE
Authors	Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson

Comments (0)

Sciweavers

A New CSP Operator for Optional Parallelism

CSSE 2008 | Optional Parallelism | Scenarios | Software Engineering |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers