scientific article; zbMATH DE number 194119

MaRDI QIDQ4040908zbMATH OpenFDO

Authors

Publication date 5 June 1993

zbMATH Keywords

program analysisdata dependencecompiler optimizationsupercomputer compilers

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 814824
• scientific article; zbMATH DE number 234026
• scientific article; zbMATH DE number 954238
• Spectral Analysis of an Oscillating Thermoviscoelastic Plate in a Transverse Magnetic Field
• An introduction to compilation issues for parallel machines

Cited in

(32)

• scientific article; zbMATH DE number 1863549 (Why is no real title available?)
• COMPILE TIME PARTITIONING OF NESTED LOOP ITERATION SPACES WITH NON-UNIFORM DEPENDENCES*
• Beyond unimodular transformations
• Energy minimization with loop fusion and multi-functional-unit scheduling for multidimensional DSP
• The program dependence graph and its use in optimization
• Speedup studies of leading iteration model for non-DO loops in comparison with sequential iteration model
• ON THE OPTIMALITY OF ALLEN AND KENNEDY'S ALGORITHM FOR PARALLELISM EXTRACTION IN NESTED LOOPS
• Parallelism analysis and optimization in SPEFY, a programming environment
• THE JANUS TEST: A HIERARCHICAL ALGORITHM FOR COMPUTING DIRECTION AND DISTANCE VECTORS (EXTENDED VERSION)*
• A theory of compaction-based parallelization
• scientific article; zbMATH DE number 1956473 (Why is no real title available?)
• Data dependence in simple and compound program pipelines
• On the parallel complexity of loops
• Constraint preservation through loops
• scientific article; zbMATH DE number 2080764 (Why is no real title available?)
• scientific article; zbMATH DE number 814824 (Why is no real title available?)
• Verification by Parallelization of Parametric Code
• Partitioning and mapping of nested loops for linear array multicomputers
• Loop parallelisation for pvm-based distributed-memory systems
• Distributed computing on cluster systems
• Some efficient solutions to the affine scheduling problem. I: One- dimensional time
• An introduction to compilation issues for parallel machines
• A singular loop transformation framework based on non-singular matrices
• A formal development of an efficient supercombination compiler
• Test suite oscillations
• Loop skewing: the wavefront method revisited
• Data dependence and its application to parallel processing
• scientific article; zbMATH DE number 4072349 (Why is no real title available?)
• Experience with the Super Monaco optimizing compiler
• scientific article; zbMATH DE number 4072348 (Why is no real title available?)
• A study of scalar compilation techniques for pipelined supercomputers
• A UNIVERSAL MAPPING FOR NESTED LOOPS IN PARALLEL PROGRAMMING

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4040908)