This dissertation presents two new developments in the area of computer program preparation for parallel processing. First, a variable delay method for discovering hidden parallelism in computer programs is presented. The method consists of an algorithm for variable delay in an arithmetic expression, and a procedure for incorporating this algorithm into the global parallel task detection method of Ramamoorthy and Gonzalez. The implications of the variable delay method and its apparent value for discovering hidden parallelism are illustrated through analysis of an example program. Secondly, a general parallel task detection method is proposed and demonstrated. The method consists of a set of parallelism specifiers, a general information gath...
Predicate detection is a powerful technique to verify parallel programs. Verifying correctness of pr...
The limited ability of compilers to nd the parallelism in programs is a signi cant barrier to the us...
Thesis (Ph. D.)--University of Rochester. Dept. of Computer Science, 2012.Speculative parallelizatio...
This dissertation presents two new developments in the area of computer program preparation for para...
Thesis (Ph. D.--University of Rochester. Dept. of Computer Science, 1991. Simultaneously published i...
Parallel computers can provide impressive speedups, but unfortunately such speedups are difficult to...
150 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1992.Parallel programs are signifi...
In this thesis, we studied the behavior of parallel programs to understand how to automated the task...
Usage of multiprocessor and multicore computers implies parallel programming. Tools for preparing pa...
Abstract—Although multicore CPUs are dominating the market of desktops and servers, writing programs...
Performance analysis of parallel programs continues to be challenging for programmers. Programmers h...
A data race or access anomaly is a bug in parallel programs, occurring when two parallel processes a...
A fundamental problem in the analysis of parallel programs is to determine when two statements in a ...
International audienceTo efficiently exploit the resources of new many-core architectures, integrati...
A new technique for estimating and understanding the speed improvement that can result from executin...
Predicate detection is a powerful technique to verify parallel programs. Verifying correctness of pr...
The limited ability of compilers to nd the parallelism in programs is a signi cant barrier to the us...
Thesis (Ph. D.)--University of Rochester. Dept. of Computer Science, 2012.Speculative parallelizatio...
This dissertation presents two new developments in the area of computer program preparation for para...
Thesis (Ph. D.--University of Rochester. Dept. of Computer Science, 1991. Simultaneously published i...
Parallel computers can provide impressive speedups, but unfortunately such speedups are difficult to...
150 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1992.Parallel programs are signifi...
In this thesis, we studied the behavior of parallel programs to understand how to automated the task...
Usage of multiprocessor and multicore computers implies parallel programming. Tools for preparing pa...
Abstract—Although multicore CPUs are dominating the market of desktops and servers, writing programs...
Performance analysis of parallel programs continues to be challenging for programmers. Programmers h...
A data race or access anomaly is a bug in parallel programs, occurring when two parallel processes a...
A fundamental problem in the analysis of parallel programs is to determine when two statements in a ...
International audienceTo efficiently exploit the resources of new many-core architectures, integrati...
A new technique for estimating and understanding the speed improvement that can result from executin...
Predicate detection is a powerful technique to verify parallel programs. Verifying correctness of pr...
The limited ability of compilers to nd the parallelism in programs is a signi cant barrier to the us...
Thesis (Ph. D.)--University of Rochester. Dept. of Computer Science, 2012.Speculative parallelizatio...