Search Sciweavers | Sciweavers

25

PPOPP
2010
ACM

202views Distributed and Parallel Com...» more PPOPP 2010»

Applying the concurrent collections programming model to asynchronous parallel dense linear algebra

14 years 4 months ago

This poster is a case study on the application of a novel programming model, called Concurrent Collections (CnC), to the implementation of an asynchronous-parallel algorithm for c...

Aparna Chandramowlishwaran, Kathleen Knobe, Richar...

claim paper

Read More »

22

click to vote

ENTCS
2007

111views more ENTCS 2007»

Reversibility and Models for Concurrency

13 years 7 months ago

Download www.cse.unsw.edu.au

There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...

Iain Phillips, Irek Ulidowski

claim paper

Read More »

24

click to vote

ZUM
2000
Springer

93views Formal Methods» more ZUM 2000»

A Computation Model for Z Based on Concurrent Constraint Resolution

13 years 11 months ago

Download research.microsoft.com

We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...

Wolfgang Grieskamp

claim paper

Read More »

31

click to vote

FSTTCS
2010
Springer

130views Software Engineering» more FSTTCS 2010»

Model Checking Concurrent Programs with Nondeterminism and Randomization

13 years 5 months ago

Download www.lsv.ens-cachan.fr

For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

claim paper

Read More »

23

click to vote

PATMOS
2010
Springer

225views Modeling and Simulation» more PATMOS 2010»

Clock Network Synthesis with Concurrent Gate Insertion

13 years 5 months ago