scientific article
From MaRDI portal
Publication:4040908
zbMath0699.68007MaRDI QIDQ4040908
No author found.
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99)
Related Items (23)
A singular loop transformation framework based on non-singular matrices ⋮ Test suite oscillations ⋮ Data dependence and its application to parallel processing ⋮ Partitioning and mapping of nested loops for linear array multicomputers ⋮ A UNIVERSAL MAPPING FOR NESTED LOOPS IN PARALLEL PROGRAMMING ⋮ Beyond unimodular transformations ⋮ Parallelism analysis and optimization in SPEFY, a programming environment ⋮ Data dependence in simple and compound program pipelines ⋮ On the parallel complexity of loops ⋮ Energy minimization with loop fusion and multi-functional-unit scheduling for multidimensional DSP ⋮ A theory of compaction-based parallelization ⋮ THE JANUS TEST: A HIERARCHICAL ALGORITHM FOR COMPUTING DIRECTION AND DISTANCE VECTORS (EXTENDED VERSION)* ⋮ ON THE OPTIMALITY OF ALLEN AND KENNEDY'S ALGORITHM FOR PARALLELISM EXTRACTION IN NESTED LOOPS ⋮ COMPILE TIME PARTITIONING OF NESTED LOOP ITERATION SPACES WITH NON-UNIFORM DEPENDENCES* ⋮ Constraint preservation through loops ⋮ Unnamed Item ⋮ Some efficient solutions to the affine scheduling problem. I: One- dimensional time ⋮ Distributed computing on cluster systems ⋮ Verification by Parallelization of Parametric Code ⋮ An introduction to compilation issues for parallel machines ⋮ Loop parallelisation for pvm-based distributed-memory systems ⋮ Speedup studies of leading iteration model for non-DO loops in comparison with sequential iteration model ⋮ Loop skewing: the wavefront method revisited
This page was built for publication: