| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990001200470403321 |
|
|
Autore |
Thiry, Yves |
|
|
Titolo |
Les Fondements de la Mécanique Celeste / de THIRY Yves. |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Paris [etc.] : Gordon and Breach, 1970 |
|
|
|
|
|
|
|
Collana |
|
Cours et Documents de Mathematiques et de Physique |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA996465862103316 |
|
|
Titolo |
Languages and Compilers for Parallel Computing [[electronic resource] ] : 8th International Workshop, Columbus, Ohio, USA, August 10-12, 1995. Proceedings / / edited by Chua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1996.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 606 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 1033 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Architecture, Computer |
Operating systems (Computers) |
Programming languages (Electronic computers) |
Computers |
Computer programming |
Arithmetic and logic units, Computer |
Computer System Implementation |
Operating Systems |
Programming Languages, Compilers, Interpreters |
Computation by Abstract Devices |
Programming Techniques |
Arithmetic and Logic Structures |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Array data flow analysis for load-store optimizations in superscalar architectures -- An experimental study of an ILP-based exact solution method for software pipelining -- Insertion scheduling: An alternative to list scheduling for modulo schedulers -- Interprocedural array region analyses -- Interprocedural analysis for parallelization -- Interprocedural array data-flow analysis for cache coherence -- An interprocedural parallelizing compiler and its support for memory hierarchy research -- V-cal: a calculus for the compilation of data parallel languages -- Transitive closure of infinite graphs and its applications -- Demand-driven, symbolic range propagation -- Optimizing Fortran 90 shift operations on distributed-memory multicomputers -- A loop parallelization algorithm for HPF compilers -- Fast address sequence generation for data-parallel programs using integer lattices -- Compiling array statements for efficient execution on distributed-memory machines: Two-level mappings -- A communication backend for parallel language compilers -- Parallel simulation of data parallel programs -- A parallel processing support library based on synchronized aggregate communication -- FALCON: A MATLAB interactive restructuring compiler -- A simple mechanism for improving the accuracy and efficiency of instruction-level disambiguation -- Hoisting branch conditions —improving super-scalar processor performance -- Integer loop code generation for VLIW -- Dependence analysis in parallel loops with i ± k subscripts -- Piecewise execution of nested data-parallel programs -- Recovering logical structures of data -- Efficient distribution analysis via graph contraction -- Automatic selection of dynamic data partitioning schemes for distributed-memory multicomputers -- Data redistribution in an automatic data distribution tool -- General purpose optimization technology -- Compiler architectures for heterogeneous systems -- Virtual topologies: A new concurrency abstraction for high-level parallel languages -- Interprocedural data flow based optimizations for compilation of irregular problems -- Automatic parallelization of the conjugate gradient algorithm -- Annotations for a sparse compiler -- Connection analysis: A practical interprocedural heap analysis for C -- Language and run-time support for network parallel computing -- Agents: An undistorted representation of problem structure -- Type directed cloning for Object-Oriented programs -- The performance impact of granularity control and functional parallelism. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book presents the refereed proceedings of the Eighth Annual Workshop on Languages and Compilers for Parallel Computing, held in Columbus, Ohio in August 1995. The 38 full revised papers presented were carefully selected for inclusion in the proceedings and reflect the state of the art of research and advanced applications in parallel languages, restructuring compilers, and runtime systems. The papers are organized in sections on fine-grain parallelism, interprocedural analysis, program analysis, Fortran 90 and HPF, loop parallelization for HPF compilers, tools and libraries, loop-level optimization, automatic data distribution, compiler models, irregular computation, object-oriented and functional parallelism. |
|
|
|
|
|
|
|
| |