Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Domain-Specific Program Generation [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers / / edited by Christian Lengauer, Don Batory, Charles Consel, Martin Odersky
| Domain-Specific Program Generation [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers / / edited by Christian Lengauer, Don Batory, Charles Consel, Martin Odersky |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 332 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-30772-2
9786610307722 3-540-25935-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Surveys -- The Road to Utopia: A Future for Generative Programming -- From a Program Family to a Domain-Specific Language -- A Gentle Introduction to Multi-stage Programming -- DSL Implementation in MetaOCaml, Template Haskell, and C++ -- Program Optimization in the Domain of High-Performance Parallelism -- A Personal Outlook on Generator Research -- Domain-Specific Languages -- Generic Parallel Programming Using C++ Templates and Skeletons -- The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain -- Embedding a Hardware Description Language in Template Haskell -- A DSL Paradigm for Domains of Services: A Study of Communication Services -- PiLib: A Hosted Language for Pi-Calculus Style Concurrency -- Tools for Program Generation -- A Language and Tool for Generating Efficient Virtual Machine Interpreters -- Program Transformation with Stratego/XT -- Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax -- Domain-Specific Optimization -- Optimizing Sequences of Skeleton Calls -- Domain-Specific Optimizations of Composed Parallel Components -- Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation -- Guaranteed Optimization for Domain-Specific Programming. |
| Record Nr. | UNISA-996466227603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Domain-Specific Program Generation : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers / / edited by Christian Lengauer, Don Batory, Charles Consel, Martin Odersky
| Domain-Specific Program Generation : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers / / edited by Christian Lengauer, Don Batory, Charles Consel, Martin Odersky |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 332 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-30772-2
9786610307722 3-540-25935-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Surveys -- The Road to Utopia: A Future for Generative Programming -- From a Program Family to a Domain-Specific Language -- A Gentle Introduction to Multi-stage Programming -- DSL Implementation in MetaOCaml, Template Haskell, and C++ -- Program Optimization in the Domain of High-Performance Parallelism -- A Personal Outlook on Generator Research -- Domain-Specific Languages -- Generic Parallel Programming Using C++ Templates and Skeletons -- The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain -- Embedding a Hardware Description Language in Template Haskell -- A DSL Paradigm for Domains of Services: A Study of Communication Services -- PiLib: A Hosted Language for Pi-Calculus Style Concurrency -- Tools for Program Generation -- A Language and Tool for Generating Efficient Virtual Machine Interpreters -- Program Transformation with Stratego/XT -- Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax -- Domain-Specific Optimization -- Optimizing Sequences of Skeleton Calls -- Domain-Specific Optimizations of Composed Parallel Components -- Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation -- Guaranteed Optimization for Domain-Specific Programming. |
| Record Nr. | UNINA-9910144156303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Euro-Par 2014: Parallel Processing Workshops [[electronic resource] ] : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I / / edited by Luís Lopes, Julius Žilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, José Gracia, Sascha Hunold, Stephen L Scott, Stefan Lankes, Christian Lengauer, Jesus Carretero, Jens Breitbart, Michael Alexander
| Euro-Par 2014: Parallel Processing Workshops [[electronic resource] ] : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I / / edited by Luís Lopes, Julius Žilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, José Gracia, Sascha Hunold, Stephen L Scott, Stefan Lankes, Christian Lengauer, Jesus Carretero, Jens Breitbart, Michael Alexander |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (LII, 587 p. 204 illus.) |
| Disciplina | 004.24 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Electronic digital computers—Evaluation
Software engineering Computer networks Database management Algorithms Application software System Performance and Evaluation Software Engineering Computer Communication Networks Database Management Computer and Information Systems Applications |
| ISBN | 3-319-14325-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications of Parallel Computation in Industry and Engineering -- Big Data Management in Clouds -- Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms -- High-Performance Bioinformatics and Biomedicine -- Large-Scale Distributed Virtual Environments on Clouds and P2P -- Parallel and Distributed Agent-Based Simulations -- Reproducibility in Parallel Computing -- Resiliency in High-Performance Computing with Clouds, Grids, and Clusters. |
| Record Nr. | UNISA-996211263603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Euro-Par 2014: Parallel Processing Workshops [[electronic resource] ] : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II / / edited by Luís Lopes, Julius Žilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, José Gracia, Sascha Hunold, Stephen L Scott, Stefan Lankes, Christian Lengauer, Jesus Carretero, Jens Breitbart, Michael Alexander
| Euro-Par 2014: Parallel Processing Workshops [[electronic resource] ] : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II / / edited by Luís Lopes, Julius Žilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, José Gracia, Sascha Hunold, Stephen L Scott, Stefan Lankes, Christian Lengauer, Jesus Carretero, Jens Breitbart, Michael Alexander |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (LII, 618 p. 251 illus.) |
| Disciplina | 004.24 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Electronic digital computers—Evaluation
Software engineering Computer networks Database management Algorithms Application software System Performance and Evaluation Software Engineering Computer Communication Networks Database Management Computer and Information Systems Applications |
| ISBN | 3-319-14313-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dependability and Interoperability in Heterogeneous Clouds -- Federative and Interoperable Cloud Infrastructures -- Multi-/Many-Core Computing Systems -- On-chip Memory Hierarchies and Interconnects -- Productivity and Performance Tools for HPC Application Development -- Runtime and Operating Systems for the Many-Core Era -- Techniques and Applications for Sustainable Ultrascale Computing Systems -- Unconventional High-Performance Computing -- Virtualization in High-Performance Cloud Computing -- Software for Exascale Computing. |
| Record Nr. | UNISA-996211263703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Euro-Par 2014: Parallel Processing Workshops : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II / / edited by Luís Lopes, Julius Žilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, José Gracia, Sascha Hunold, Stephen L Scott, Stefan Lankes, Christian Lengauer, Jesus Carretero, Jens Breitbart, Michael Alexander
| Euro-Par 2014: Parallel Processing Workshops : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II / / edited by Luís Lopes, Julius Žilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, José Gracia, Sascha Hunold, Stephen L Scott, Stefan Lankes, Christian Lengauer, Jesus Carretero, Jens Breitbart, Michael Alexander |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (LII, 618 p. 251 illus.) |
| Disciplina | 004.24 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Electronic digital computers—Evaluation
Software engineering Computer networks Database management Algorithms Application software System Performance and Evaluation Software Engineering Computer Communication Networks Database Management Computer and Information Systems Applications |
| ISBN | 3-319-14313-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dependability and Interoperability in Heterogeneous Clouds -- Federative and Interoperable Cloud Infrastructures -- Multi-/Many-Core Computing Systems -- On-chip Memory Hierarchies and Interconnects -- Productivity and Performance Tools for HPC Application Development -- Runtime and Operating Systems for the Many-Core Era -- Techniques and Applications for Sustainable Ultrascale Computing Systems -- Unconventional High-Performance Computing -- Virtualization in High-Performance Cloud Computing -- Software for Exascale Computing. |
| Record Nr. | UNINA-9910485145603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Euro-Par 2014: Parallel Processing Workshops : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I / / edited by Luís Lopes, Julius Žilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, José Gracia, Sascha Hunold, Stephen L Scott, Stefan Lankes, Christian Lengauer, Jesus Carretero, Jens Breitbart, Michael Alexander
| Euro-Par 2014: Parallel Processing Workshops : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I / / edited by Luís Lopes, Julius Žilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, José Gracia, Sascha Hunold, Stephen L Scott, Stefan Lankes, Christian Lengauer, Jesus Carretero, Jens Breitbart, Michael Alexander |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (LII, 587 p. 204 illus.) |
| Disciplina | 004.24 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Electronic digital computers—Evaluation
Software engineering Computer networks Database management Algorithms Application software System Performance and Evaluation Software Engineering Computer Communication Networks Database Management Computer and Information Systems Applications |
| ISBN | 3-319-14325-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications of Parallel Computation in Industry and Engineering -- Big Data Management in Clouds -- Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms -- High-Performance Bioinformatics and Biomedicine -- Large-Scale Distributed Virtual Environments on Clouds and P2P -- Parallel and Distributed Agent-Based Simulations -- Reproducibility in Parallel Computing -- Resiliency in High-Performance Computing with Clouds, Grids, and Clusters. |
| Record Nr. | UNINA-9910483548203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Euro-Par'97, parallel processing : third international euro-par conference, passau, germany, august 26-29, 1997 : proceedings / / edited by Christian Lengauer, Martin Griebl, Sergei Gorlatch
| Euro-Par'97, parallel processing : third international euro-par conference, passau, germany, august 26-29, 1997 : proceedings / / edited by Christian Lengauer, Martin Griebl, Sergei Gorlatch |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [1997] |
| Descrizione fisica | 1 online resource (LX, 1382 p.) |
| Disciplina | 004.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Parallel processing (Electronic computers) |
| ISBN | 3-540-69549-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Basis of parallel speculative execution -- Unifying theories for parallel programming -- Automatic parallelization of irregular and pointer-based computations: Perspectives from logic and constraint programming -- Static and dynamic data management in networks -- Iterative algorithms on high performance architectures -- A performance tuning approach for shared-memory multiprocessors -- Workshop 01: Support tools and environments -- Nova visualization for optimization of data-parallel programs -- On correcting the intrusion of tracing non-deterministic programs by software -- Using control and data flow analysis for race evaluation -- Client server computing on message passing systems: Experiences with PVM-RPC -- Exdasy — A user-friendly and extendable data distribution system -- Interconnecting multiple heterogeneous parallel application components -- EDPEPPS: An integrated graphical toolset for the design and performance evaluation of portable parallel software -- Load balancing based on process migration for MPI -- A processors management system for PVM -- A full program control flow representation for real programs -- Workshop 02: Routing and communication in interconnection networks -- Efficient total-exchange in wormhole-routed toroidal cubes -- An analysis of deflection-based wormhole routing with virtual channels -- Wormhole deadlock prediction -- Broadcast and associative operations on fat-trees -- On the fault tolerance of fat-trees -- Minimal routing in the triangular grid and in a family of related tori -- Embedding complete k-ary Trees into 2-dimensional meshes and tori -- Optimal gossip in store-and-forward noncombining 2-D tori -- Cutwidth of the mesh of d-ary trees -- Embedding and emulation results for static multichannel mesh of optical buses -- Routing on asyncronous processor networks -- The complexity of shortest path and dilation bounded interval routing -- Finding a pair on a mesh with multiple broadcasting is hard -- Routing on the PADAM: Degrees of optimality -- Workshop 03: Automatic parallelization and high-performance compilers -- Handling memory cache policy with integer points countings -- A graphical tool for automatic parallelization and scheduling of programs on multiprocessors -- Identifying critical loads in real programs for decoupled VSM systems -- Runtime interprocedural data placement optimisation for lazy parallel libraries (extended abstract) -- A technique for mapping sparse matrix computations into regular processor arrays -- A relational approach to the compilation of sparse matrix programs -- Solutions to the communication minimization problem for affine recurrence equations -- Dependence-free clustering of shift-invariant data structures -- Experiences in analyzing data dependences for programs with pointers and structures -- Applicability of program comprehension to sparse matrix computations -- Hamiltonian recurrence for ILP -- Optimizing storage size for static control programs in automatic parallelizers -- Optimal distribution assignment placement -- Workshop 04+08+13: Parallel and distributed algorithms -- Parallel merge sort on concurrent-read owner-write PRAM -- Feasible models of computation: Three-dimensionality and energy consumption -- Sample sort on meshes -- Sorting on a massively parallel system using a library of basic primitives: Modeling and experimental results -- Parallel priority Queue and list contraction: The BSP approach -- Priority queue operations on EREW-PRAM -- Concurrent rebalancing of AVL trees: A fine-grained approach -- NC approximation algorithms for 2-connectivity augmentation in a graph -- Approximating scheduling problems in parallel -- A new staircase separator theorem -- Tentative time warp -- Synchronized DSM models -- A space-efficient and self-stabilizing depth-first token circulation protocol for asynchronous message-passing systems -- Distributed self-stabilizing algorithm for minimum spanning tree construction -- Partly-consistent cuts of databases -- Exploiting atomic broadcast in replicated databases (extended abstract) -- Workshop 05+06: Programming languages and concurrent object-oriented programming -- Synchronising asynchronous communications -- Typechecking of Pei expressions -- Functional parallel programming with explicit processes: Beyond SPMD -- Testing semantics for unbounded nondeterminism -- An efficient compilation framework for languages based on a concurrent process calculus -- Behavioural types for a calculus of concurrent objects -- Time in message sequence charts: A formal approach -- Integrating an entry consistency memory model and concurrent object-oriented programming -- Modeling the dynamic behavior of objects on events, messages and methods (extended abstract) -- A quality design solution for object synchronization -- NeXeme: A distributed scheme based on Nexus -- Athapascan runtime: Efficiency for irregular problems -- Optimization of out-of-core computations using chain vectors -- Workshop 07: Programming models and methods -- Parlists — A generalization of powerlists -- Skeletons for data parallelism in p31 -- Embodying parallel functional skeletons: An experimental implementation on top of MPI -- On dividing and conquering independently -- M-Tree: A parallel abstract data type for block-irregular adaptive applications -- A monadic calculus for parallel costing of a functional language of arrays -- A methodology for deriving parallel programs with a family of parallel abstract machines -- Parallel distributed programming with Haskell+PVM -- A parallelisation approach for supporting scalable and portable computing -- Workshop 09: Parallel numerical algorithms -- Scalability of parallel sparse Cholesky factorization -- Optimal parallel algorithms for solving tridiagonal linear systems -- Robust parallel Lanczos methods for clustered eigenvalues -- A fully parallel symmetric matrix transformation -- Numerical experiments with a parallel fast direct elliptic solver on Cray T3E -- New matrix-by-vector multiplications based on a nonoverlapping domain decomposition data distribution -- A comparison between different parallelization methods on workstation clusters to solve CFD-problems -- Scalable parallel SSOR preconditioning for lattice computations in gauge theories -- Deteriorating convergence for asynchronous methods on linear least squares problems -- Workshops 10+11+14: Parallel computer architecture and image processing -- The Delft-Java engine: An introduction -- Scheduling instructions with uncertain latencies in asynchronous architectures -- Co-processor system design for fine-grain message handling in KUMP/D -- A virtual-physical on-chip cache for shared memory multiprocessors -- Shared vs. snoop: Evaluation of cache structure for single-chip multiprocessors -- Morphological hough transform on the instruction systolic array -- An analytical design of high-speed pixel transformation for object boundary enhancement -- Karhünen-Loève transform: An exercise in simple image-processing parallel pipelines -- Use of F-code as a very high level intermediate laguage for DSP -- Workshop 12: Applications of high-performance computing -- Experiments on using WPVM for industrial visual inspection problems -- Object-oriented parallel software for radio wave propagation simulation in urban environment -- A portable parallel implementation of a 3D semiconductor device simulator -- A parallel sparse LU decomposition with application to semiconductor device simulation -- A parallel simulation of a quantitative large-strain polycrystal deformation -- Parallel genetic algorithms applied to optimum shape design in aeronautics -- Parallel multidimensional calculation of steady-state and time-dependent flows with combustion -- A two-level parallel strategy for rotorcraft optimization and design -- Workshop 15: Scheduling and load balancing -- Performance comparison of load balancing policies based on a diffusion scheme -- Effectively scheduling parallel tasks and communications on networks of workstations -- On linear schedules of task graphs for generalized logp-machines -- Rescheduling support for mapping dynamic scientific computation onto distributed memory multiprocessors -- Versatile task scheduling of binary trees for realistic machines -- Load balancing issues in the prepartitioning method -- Design of novel load-balancing algorithms with implementations on an IBM SP2 -- Repartitioning of adaptive meshes: Experiments with multilevel diffusion -- On the embedding of refinements of 2-dimensional grids -- Dynamic program description as a basis for runtime optimization -- Workshop 16: Performance evaluation and prediction -- Workload analysis of computation intensive tasks: Case study on SPEC CPU95 benchmarks -- Statistical performance modeling: Case study of the NPB 2.1 results -- A general performance model for multistage interconnection networks -- Simulation of a routing algorithm using distributed simulation techniques -- Message-passing performance of parallel computers -- Prefetching and multithreading performance in bus-based multiprocessors with Petri Nets -- On synchronisation in fault-tolerant data and compute intensive programs over a network of workstations -- Performance analysis of a parallel program for wave propagation simulation -- Bounding the minimal completion time of static mappings of multithreaded solaris programs -- Workshop 17: Instruction-level parallelism -- The performance potential of value and dependence prediction -- An enhanced two-level adaptive multiple branch prediction for superscalar processors -- The effect of the speculation depth on the performance of superscalar architectures -- Allocating lifetimes to queues in software pipelined architectures -- Treegion scheduling for highly parallel processors -- Modulo scheduling with cache reuse information -- Memory address prediction for data speculation -- A realistic study on multithreaded superscalar processo. |
| Record Nr. | UNINA-9910144916903321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [1997] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Euro-Par'97, parallel processing : third international euro-par conference, passau, germany, august 26-29, 1997 : proceedings / / edited by Christian Lengauer, Martin Griebl, Sergei Gorlatch
| Euro-Par'97, parallel processing : third international euro-par conference, passau, germany, august 26-29, 1997 : proceedings / / edited by Christian Lengauer, Martin Griebl, Sergei Gorlatch |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [1997] |
| Descrizione fisica | 1 online resource (LX, 1382 p.) |
| Disciplina | 004.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Parallel processing (Electronic computers) |
| ISBN | 3-540-69549-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Basis of parallel speculative execution -- Unifying theories for parallel programming -- Automatic parallelization of irregular and pointer-based computations: Perspectives from logic and constraint programming -- Static and dynamic data management in networks -- Iterative algorithms on high performance architectures -- A performance tuning approach for shared-memory multiprocessors -- Workshop 01: Support tools and environments -- Nova visualization for optimization of data-parallel programs -- On correcting the intrusion of tracing non-deterministic programs by software -- Using control and data flow analysis for race evaluation -- Client server computing on message passing systems: Experiences with PVM-RPC -- Exdasy — A user-friendly and extendable data distribution system -- Interconnecting multiple heterogeneous parallel application components -- EDPEPPS: An integrated graphical toolset for the design and performance evaluation of portable parallel software -- Load balancing based on process migration for MPI -- A processors management system for PVM -- A full program control flow representation for real programs -- Workshop 02: Routing and communication in interconnection networks -- Efficient total-exchange in wormhole-routed toroidal cubes -- An analysis of deflection-based wormhole routing with virtual channels -- Wormhole deadlock prediction -- Broadcast and associative operations on fat-trees -- On the fault tolerance of fat-trees -- Minimal routing in the triangular grid and in a family of related tori -- Embedding complete k-ary Trees into 2-dimensional meshes and tori -- Optimal gossip in store-and-forward noncombining 2-D tori -- Cutwidth of the mesh of d-ary trees -- Embedding and emulation results for static multichannel mesh of optical buses -- Routing on asyncronous processor networks -- The complexity of shortest path and dilation bounded interval routing -- Finding a pair on a mesh with multiple broadcasting is hard -- Routing on the PADAM: Degrees of optimality -- Workshop 03: Automatic parallelization and high-performance compilers -- Handling memory cache policy with integer points countings -- A graphical tool for automatic parallelization and scheduling of programs on multiprocessors -- Identifying critical loads in real programs for decoupled VSM systems -- Runtime interprocedural data placement optimisation for lazy parallel libraries (extended abstract) -- A technique for mapping sparse matrix computations into regular processor arrays -- A relational approach to the compilation of sparse matrix programs -- Solutions to the communication minimization problem for affine recurrence equations -- Dependence-free clustering of shift-invariant data structures -- Experiences in analyzing data dependences for programs with pointers and structures -- Applicability of program comprehension to sparse matrix computations -- Hamiltonian recurrence for ILP -- Optimizing storage size for static control programs in automatic parallelizers -- Optimal distribution assignment placement -- Workshop 04+08+13: Parallel and distributed algorithms -- Parallel merge sort on concurrent-read owner-write PRAM -- Feasible models of computation: Three-dimensionality and energy consumption -- Sample sort on meshes -- Sorting on a massively parallel system using a library of basic primitives: Modeling and experimental results -- Parallel priority Queue and list contraction: The BSP approach -- Priority queue operations on EREW-PRAM -- Concurrent rebalancing of AVL trees: A fine-grained approach -- NC approximation algorithms for 2-connectivity augmentation in a graph -- Approximating scheduling problems in parallel -- A new staircase separator theorem -- Tentative time warp -- Synchronized DSM models -- A space-efficient and self-stabilizing depth-first token circulation protocol for asynchronous message-passing systems -- Distributed self-stabilizing algorithm for minimum spanning tree construction -- Partly-consistent cuts of databases -- Exploiting atomic broadcast in replicated databases (extended abstract) -- Workshop 05+06: Programming languages and concurrent object-oriented programming -- Synchronising asynchronous communications -- Typechecking of Pei expressions -- Functional parallel programming with explicit processes: Beyond SPMD -- Testing semantics for unbounded nondeterminism -- An efficient compilation framework for languages based on a concurrent process calculus -- Behavioural types for a calculus of concurrent objects -- Time in message sequence charts: A formal approach -- Integrating an entry consistency memory model and concurrent object-oriented programming -- Modeling the dynamic behavior of objects on events, messages and methods (extended abstract) -- A quality design solution for object synchronization -- NeXeme: A distributed scheme based on Nexus -- Athapascan runtime: Efficiency for irregular problems -- Optimization of out-of-core computations using chain vectors -- Workshop 07: Programming models and methods -- Parlists — A generalization of powerlists -- Skeletons for data parallelism in p31 -- Embodying parallel functional skeletons: An experimental implementation on top of MPI -- On dividing and conquering independently -- M-Tree: A parallel abstract data type for block-irregular adaptive applications -- A monadic calculus for parallel costing of a functional language of arrays -- A methodology for deriving parallel programs with a family of parallel abstract machines -- Parallel distributed programming with Haskell+PVM -- A parallelisation approach for supporting scalable and portable computing -- Workshop 09: Parallel numerical algorithms -- Scalability of parallel sparse Cholesky factorization -- Optimal parallel algorithms for solving tridiagonal linear systems -- Robust parallel Lanczos methods for clustered eigenvalues -- A fully parallel symmetric matrix transformation -- Numerical experiments with a parallel fast direct elliptic solver on Cray T3E -- New matrix-by-vector multiplications based on a nonoverlapping domain decomposition data distribution -- A comparison between different parallelization methods on workstation clusters to solve CFD-problems -- Scalable parallel SSOR preconditioning for lattice computations in gauge theories -- Deteriorating convergence for asynchronous methods on linear least squares problems -- Workshops 10+11+14: Parallel computer architecture and image processing -- The Delft-Java engine: An introduction -- Scheduling instructions with uncertain latencies in asynchronous architectures -- Co-processor system design for fine-grain message handling in KUMP/D -- A virtual-physical on-chip cache for shared memory multiprocessors -- Shared vs. snoop: Evaluation of cache structure for single-chip multiprocessors -- Morphological hough transform on the instruction systolic array -- An analytical design of high-speed pixel transformation for object boundary enhancement -- Karhünen-Loève transform: An exercise in simple image-processing parallel pipelines -- Use of F-code as a very high level intermediate laguage for DSP -- Workshop 12: Applications of high-performance computing -- Experiments on using WPVM for industrial visual inspection problems -- Object-oriented parallel software for radio wave propagation simulation in urban environment -- A portable parallel implementation of a 3D semiconductor device simulator -- A parallel sparse LU decomposition with application to semiconductor device simulation -- A parallel simulation of a quantitative large-strain polycrystal deformation -- Parallel genetic algorithms applied to optimum shape design in aeronautics -- Parallel multidimensional calculation of steady-state and time-dependent flows with combustion -- A two-level parallel strategy for rotorcraft optimization and design -- Workshop 15: Scheduling and load balancing -- Performance comparison of load balancing policies based on a diffusion scheme -- Effectively scheduling parallel tasks and communications on networks of workstations -- On linear schedules of task graphs for generalized logp-machines -- Rescheduling support for mapping dynamic scientific computation onto distributed memory multiprocessors -- Versatile task scheduling of binary trees for realistic machines -- Load balancing issues in the prepartitioning method -- Design of novel load-balancing algorithms with implementations on an IBM SP2 -- Repartitioning of adaptive meshes: Experiments with multilevel diffusion -- On the embedding of refinements of 2-dimensional grids -- Dynamic program description as a basis for runtime optimization -- Workshop 16: Performance evaluation and prediction -- Workload analysis of computation intensive tasks: Case study on SPEC CPU95 benchmarks -- Statistical performance modeling: Case study of the NPB 2.1 results -- A general performance model for multistage interconnection networks -- Simulation of a routing algorithm using distributed simulation techniques -- Message-passing performance of parallel computers -- Prefetching and multithreading performance in bus-based multiprocessors with Petri Nets -- On synchronisation in fault-tolerant data and compute intensive programs over a network of workstations -- Performance analysis of a parallel program for wave propagation simulation -- Bounding the minimal completion time of static mappings of multithreaded solaris programs -- Workshop 17: Instruction-level parallelism -- The performance potential of value and dependence prediction -- An enhanced two-level adaptive multiple branch prediction for superscalar processors -- The effect of the speculation depth on the performance of superscalar architectures -- Allocating lifetimes to queues in software pipelined architectures -- Treegion scheduling for highly parallel processors -- Modulo scheduling with cache reuse information -- Memory address prediction for data speculation -- A realistic study on multithreaded superscalar processo. |
| Record Nr. | UNISA-996465473603316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [1997] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||