Search results

the complexity of solving hard renaming 2015-03-02 Paper A programming language perspective on transactional memory consistency 2015-03-02 Paper Practically...

algorithms for the all pairs shortest path problem 2024-02-28 Paper An efficient parallel algorithm for the all pairs shortest path problem 2024-02-28 Paper https://portal...

Decision Process via Decision-Theoretic Extension of Probabilistic Action Language + 2021-09-03 Paper Geometric Arveson-Douglas conjecture for the Hardy space...

1997-08-14 Paper A parallel algorithm for the reduction of a nonsymmetric matrix to block upper-Hessenberg form 1997-02-28 Paper Parallel matrix transpose...

concurrency semantics 1990-01-01 Paper Semantic Correctness for a Parallel Object-Oriented Language 1990-01-01 Paper Solving reflexive domain equations in a category...

with approximate projections 2014-09-18 Paper Close the gaps: a learning-while-doing algorithm for single-product revenue management problems 2014-08-11...

Algebra, Data Linkage Dynamics, and Priority Rewriting 2014-04-25 Paper Parallel processes with implicit computational capital 2014-01-17 Paper A process...

1975-01-01 Paper Translatability of flowcharts into while programs 1974-01-01 Paper Covering-languages of grammars 1971-01-01 Paper https://portal.mardi4nfdi...

algorithms 1986-01-01 Paper Syntax directed analysis of liveness properties of while programs 1986-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3700811 1985-01-01...

and energy compute all functions? 2007-03-12 Paper Embedding infinitely parallel computation in Newtonian kinematics 2006-08-04 Paper Abstract versus concrete...

1976-01-01 Paper Proving assertions about parallel programs 1975-01-01 Paper Translating Program Schemas to While-Schemas 1975-01-01 Paper Decidable Properties...

columns: A new parallel ILU preconditioner for the PCG method 1998-07-23 Paper Preconditioned CG methods for sparse matrices on massively parallel machines 1998-07-23...

Paper The language of pre-topology in knowledge spaces 2021-11-29 Paper Updating reducts in fuzzy \(\beta \)-covering via matrix approaches while coarsening...

using in situ runoff and daily GRACE data 2019-01-22 Paper A distributed parallel multiple-relaxation-time lattice Boltzmann method on general-purpose graphics...

versions 2022-09-22 Paper Controlling classical cardinal characteristics while collapsing cardinals 2022-09-14 Paper A collection of abstracts of Shelah's...

Owicki-Gries's Hoare logic for a concurrent while language A survey of verification techniques for parallel programs zbMATH Keywords synchronizationaxioms...

Recommendations A generalization of Owicki-Gries's Hoare logic for a concurrent while language The ``Hoare Logic of CSP, and All That Two theorems about the completeness...

Termination of semi-algebraic loop programs Termination detection in parallel loop nests with while loops Termination and cost analysis of loops with concurrent...

Ensemble slice sampling. Parallel, black-box and gradient-free inference for correlated \& multimodal distributions Anytime parallel tempering A spatial mixed-effects...

shared-variable parallel language Soundness and Completeness of an Axiom System for Program Verification An axiomatic proof technique for parallel programs Proofs...