Designing checkers for programs that run in parallel
type: Item
instance of: scholarly article
title: Designing checkers for programs that run in parallel
zbMATH Open document ID: 0843.68042
DOI: 10.1007/BF01961540
author: Ronitt Rubinfeld
published in: Algorithmica
publication date: 1996-08-13T00:00:00Z
Mathematics Subject Classification ID: 68W15
zbMATH DE Number: 871308
zbMATH Keywords: program correctness
zbMATH Keywords: P-complete problems
zbMATH Keywords: program result checking
MaRDI profile type: Publication
cites work: Efficient checkers for number-theoretic computations
cites work: A random NC algorithm for depth first search
cites work: Parallel computational geometry
cites work: A fast and simple randomized parallel algorithm for the maximal independent set problem
cites work: Optimal bounds for decision problems on the CRCW PRAM
cites work: Self-testing/correcting with applications to numerical problems
cites work: Unbounded fan-in circuits and associative functions
cites work: Constant Depth Reducibility
cites work: Deterministic coin tossing with applications to optimal parallel list ranking
cites work: Parity, circuits, and the polynomial-time hierarchy
cites work: A New Parallel Algorithm for the Maximal Independent Set Problem
cites work: Q4002466
cites work: A Simple Parallel Algorithm for the Maximal Independent Set Problem
cites work: A Las Vegas RNC algorithm for maximum matching
cites work: Q4385522
cites work: Constructing a perfect matching is in random NC
cites work: The complexity of parallel search
cites work: Matching is as easy as matrix inversion
cites work: Q3694703
cites work: On Finding Lowest Common Ancestors: Simplification and Parallelization
cites work: Q3214426
cites work: Q5601274
cites work: Parallel Transitive Closure and Point Location in Planar Structures
full work available at URL: https://doi.org/10.1007/bf01961540
OpenAlex ID: W2026123763
Recommended article: Checking sequential correctness in shared-memory parallel programs
Recommended article: A survey of verification techniques for parallel programs
Recommended article: Q3347266
Recommended article: Parallel assignments in software model checking
Recommended article: Q4857967
Recommended article: Verification of Correctness of Parallel Algorithms in Practice
Recommended article: Search for places for creation of consistent checkpoints in parallel programs by analyzing the program trace
Recommended article: Q4804895
description: scientific article; zbMATH DE number 871308