Sciweavers

Top Ranked Papers of 2011 on Distributed And Parallel Computing | CONCUR

All ConferencesCONCURDAISDEBSDEBUICDCNICSPODCPPOPPCLUSTER ... Explore CONCUR 2011 »

click to vote

CONCUR
2011
Springer

211views Distributed And Parallel Com...» more CONCUR 2011»

Reasoning about Threads with Bounded Lock Chains

12 years 4 months ago

Download www.cs.utexas.edu

The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataﬂow analysis. U...

Vineet Kahlon

claim paper

Read More »

click to vote

CONCUR
2011
Springer

170views Distributed And Parallel Com...» more CONCUR 2011»

A Spectrum of Behavioral Relations over LTSs on Probability Distributions

12 years 4 months ago

Download www.math.unipd.it

Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavi...

Silvia Crafa, Francesco Ranzato

claim paper

Read More »

click to vote

CONCUR
2011
Springer

164views Distributed And Parallel Com...» more CONCUR 2011»

Tractable Reasoning in a Fragment of Separation Logic

12 years 4 months ago

Download www.cs.ox.ac.uk

Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...

Byron Cook, Christoph Haase, Joël Ouaknine, M...

claim paper

Read More »

All Subjects

Algorithms

Applied Computing

Artificial Intelligence