Search results

Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms 2023-03-21 Paper Automated verification of parallel nested DFS 2022-10-13 Paper Automated...

system: Compiling multithreaded Java bytecode for distributed execution 2001-08-20 Paper Formal validation of data-parallel programs: a two-component assertional...

Function 2003-01-05 Paper Specialized parallel algorithms for solving Lyapunov and Stein equations 2002-07-31 Paper Parallel algorithms for LQ optimal control...

Algorithms-by-Tiles on Multithreaded Architectures 2017-05-19 Paper High-performance up-and-downdating via householder-like transformations 2017-05-19 Paper Parallel matrix...

Optimize Message-Passing Programs by Code Transformations 2007-10-23 Paper Adaptive dynamic thread scheduling for simultaneous multithreaded architectures with...

RANDOMIZED PARALLEL ALGORITHMS FOR TRAPEZOIDAL DIAGRAMS International Journal of Computational Geometry & Applications 1993-01-16 Paper Optimal parallel algorithms...

Newtonian program analysis 2011-05-16 Paper Computing the least fixed point of positive polynomial systems 2011-01-17 Paper Newtonian program analysis --...

passive force of spatial parallel manipulators Mechanism and Machine Theory 2007-06-26 Paper Kinematics and dynamics analyses of a parallel manipulator with three...

systems 2016-05-26 Paper Modeling multithreaded applications using Petri nets 2003-05-06 Paper The distributed program reliability analysis on ring-type...

the static analysis of concurrent programs with procedures 2015-09-11 Paper Analysis of recursively parallel programs 2015-09-11 Paper On the verification...

Reduction of Large-Scale Dense Systems on Parallel Computers 2002-01-13 Paper Solving algebraic Riccati equations on parallel computers using Newton's method with...

2023-01-30 Paper Scheduling algorithms for strict multithreaded computations 2023-01-25 Paper Efficient parallel algorithms for shortest paths in planar graphs...

equivalent semantics for CCS 1995-01-11 Paper Lambda-calculi for (strict) parallel functions 1994-09-26 Paper A theory of processes with localities 1994-06-29...

2010-05-21 Paper A PARALLEL TRIANGULAR SYLVESTER EQUATION SOLVER BASED ON THE HESSENBERG-SCHUR METHOD∗ 2004-10-06 Paper AN EFFICIENT PARALLEL SYLVESTER EQUATION...

Paper If you're not writing a program, don't use a programming language 2019-12-09 Paper Open systems in TLA 2017-09-29 Paper Formal specification of a web...

Weakly-synchronized ground tree rewriting (with applications to verifying multithreaded programs) 2012-09-25 Paper Concurrency makes simple theories hard 2012-08-23...

Linear-time model-checking for multithreaded programs under scope-bounding 2012-11-21 Paper Analyzing Asynchronous Programs with Preemption 2012-10-19 Paper...

BLIS 2017-06-30 Paper A Runtime System for Programming Out-of-Core Matrix Algorithms-by-Tiles on Multithreaded Architectures 2017-05-19 Paper Solving dense...

and Experience 2005-09-13 Paper Deleting keys of B-trees in parallel 2004-11-18 Paper Parallel algorithms for red--black trees 2002-03-03 Paper...

Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous 2022-12-09 Paper Dealing with Priorities and Locks for Concurrent Programs 2022-08-12...