Author name cluster

Bard Bloom

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

3 papers

2 author rows

SAT Conference 2012 Conference Paper

SatX10: A Scalable Plug&Play Parallel SAT Framework - (Tool Presentation)

Bard Bloom
David Grove
Benjamin Herta
Ashish Sabharwal
Horst Samulowitz
Vijay A. Saraswat

Abstract We propose a framework for SAT researchers to conveniently try out new ideas in the context of parallel SAT solving without the burden of dealing with all the underlying system issues that arise when implementing a massively parallel algorithm. The framework is based on the parallel execution language X10, and allows the parallel solver to easily run on both a single machine with multiple cores and across multiple machines, sharing information such as learned clauses.

Details

TCS Journal 1995 Journal Article

Structural operational semantics for weak bisimulations

Bard Bloom

In this study, we present rule formats for four main notions of bisimulation with silent moves. Weak bisimulation is a congruence for any process algebra defined by WB cool rules; we have similar results for rooted weak bisimulation (Milner's “observational congruence”), branching bisimulation, and rooted branching bisimulation. The theorems stating that, say, observational congruence is an appropriate notion of equality for CCS are corollaries of the results of this paper. We also give sufficient conditions under which equational axiom systems can be generated from operational rules. Indeed, many equational axiom systems appearing in the literature are instances of this general theory.

Details DOI

TCS Journal 1992 Journal Article

Experimenting with process equivalence

Bard Bloom
Albert R. Meyer

Distinctions between concurrent processes based on observable outcomes of computational experiments are examined. The equivalence determined by a general class of experiments involving duplication of processes can be characterized by a notion of ready simulation resembling, but strictly coarser than, Milner's bisimulation equivalence.

Details DOI