Info
High Performance Computing for Computational Science - VECPAR 2002 [[electronic resource] ] : 5th International Conference, Porto, Portugal, June 26-28, 2002. Selected Papers and Invited Talks / / edited by José M.L.M. Palma, Jack Dongarra, Vicente Hernández, A. Augusto Sousa, Marina Waldén
| High Performance Computing for Computational Science - VECPAR 2002 [[electronic resource] ] : 5th International Conference, Porto, Portugal, June 26-28, 2002. Selected Papers and Invited Talks / / edited by José M.L.M. Palma, Jack Dongarra, Vicente Hernández, A. Augusto Sousa, Marina Waldén |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XVIII, 738 p.) |
| Disciplina | 004.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Microprocessors
Software engineering Computer communication systems Algorithms Computer science—Mathematics Bioinformatics Processor Architectures Software Engineering/Programming and Operating Systems Computer Communication Networks Algorithm Analysis and Problem Complexity Mathematics of Computing |
| ISBN | 3-540-36569-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fluids and Structures -- Fluid-Structure Interaction Simulations Using Parallel Computers -- Investigation of Turbulent Flame Kernels Using DNS on Clusters -- A Parallel, State-of-the-Art, Least-Squares Spectral Element Solver for Incompressible Flow Problems -- Edge-Based Interface Elements for Solution of Three- Dimensional Geomechanical Problems -- Finite Element Simulation of Seismic Elastic Two Dimensional Wave Propagation: Development and Assessment of Performance in a Cluster of PCs with Software DSM -- Parallel Implementation for Probabilistic Analysis of 3D Discrete Cracking in Concrete -- An A Posteriori Error Estimator for Adaptive Mesh Refinement Using Parallel In-Element Particle Tracking Methods -- Data Mining -- High Performance Data Mining -- Data Mining for Data Classification Based on the KNN-Fuzzy Method Supported by Genetic Algorithm -- Computing in Chemistry and Biology -- Lignin Biosynthesis and Degradation — a Major Challenge for Computational Chemistry -- High Performance Computing in Electron Microscope Tomography of Complex Biological Structures -- Visualization of RNA Pseudoknot Structures -- Problem Solving Environments -- The Cactus Framework and Toolkit: Design and Applications -- Performance of Message-Passing MATLAB Toolboxes -- Evaluating the Performance of Space Plasma Simulations Using FPGA’s -- Remote Parallel Model Reduction of Linear Time-Invariant Systems Made Easy -- An Approach to Teaching Computer Arithmetic -- Linear and Non-linear Algebra -- Fast Sparse Matrix-Vector Multiplication for TeraFlop/s Computers -- Performance Evaluation of Parallel Gram-Schmidt Re-orthogonalization Methods -- Toward Memory-Efficient Linear Solvers -- A Parallel Newton-GMRES Algorithm for Solving Large Scale Nonlinear Systems -- Preconditioning for an Iterative Elliptic Solver on a Vector Processor -- 2-D R-Matrix Propagation: A Large Scale Electron Scattering Simulation Dominated by the Multiplication of Dynamically Changing Matrices -- A Parallel Implementation of the Atkinson Algorithm for Solving a Fredholm Equation -- SLEPc: Scalable Library for Eigenvalue Problem Computations -- Parallelization of Spectral Element Methods -- Cluster Computing -- Mapping Unstructured Applications into Nested Parallelism Best Student Paper Award: First Prize -- An Efficient Parallel and Distributed Algorithm for Counting Frequent Sets -- A Framework for Integrating Network Information into Distributed Iterative Solution of Sparse Linear Systems -- Efficient Hardware Implementation of Modular Multiplication and Exponentiation for Public-Key Cryptography -- Real-Time Visualization of Wake-Vortex Simulations Using Computational Steering and Beowulf Clusters -- PALM: A Dynamic Parallel Coupler -- A Null Message Count of a Conservative Parallel Simulation -- Imaging -- Static Scheduling with Interruption Costs for Computer Vision Applications -- A Parallel Rendering Algorithm Based on Hierarchical Radiosity -- A High-Performance Progressive Radiosity Method Based on Scene Partitioning -- Wavelet Transform for Large Scale Image Processing on Modern Microprocessors -- Software Tools and Environments -- An Expandable Parallel File System Using NFS Servers -- Scalable Multithreading in a Low Latency Myrinet Cluster -- Minimizing Paging Tradeoffs Applying Coscheduling Techniques in a Linux Cluster -- Introducing the Vector C -- Mobile Agent Programming for Clusters with Parallel Skeletons -- Translating Haskell# Programs into Petri Nets -- An Efficient Multi-processor Architecture for Parallel Cyclic Reference Counting -- ROS: The Rollback-One-Step Method to Minimize the Waiting Time during Debugging Long-Running Parallel Programs -- Distributed Paged Hash Tables -- A Meta-heuristic Approach to Parallel Code Generation -- Semidefinite Programming for Graph Partitioning with Preferences in Data Distribution -- A Development Environment for Multilayer Neural Network Applications Mapped onto DSPs with Multiprocessing Capabilities. |
| Record Nr. | UNISA-996465325003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
High Performance Computing for Computational Science - VECPAR 2002 : 5th International Conference, Porto, Portugal, June 26-28, 2002. Selected Papers and Invited Talks / / edited by José M.L.M. Palma, Jack Dongarra, Vicente Hernández, A. Augusto Sousa, Marina Waldén
| High Performance Computing for Computational Science - VECPAR 2002 : 5th International Conference, Porto, Portugal, June 26-28, 2002. Selected Papers and Invited Talks / / edited by José M.L.M. Palma, Jack Dongarra, Vicente Hernández, A. Augusto Sousa, Marina Waldén |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XVIII, 738 p.) |
| Disciplina | 004.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Microprocessors
Software engineering Computer communication systems Algorithms Computer science—Mathematics Bioinformatics Processor Architectures Software Engineering/Programming and Operating Systems Computer Communication Networks Algorithm Analysis and Problem Complexity Mathematics of Computing |
| ISBN | 3-540-36569-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fluids and Structures -- Fluid-Structure Interaction Simulations Using Parallel Computers -- Investigation of Turbulent Flame Kernels Using DNS on Clusters -- A Parallel, State-of-the-Art, Least-Squares Spectral Element Solver for Incompressible Flow Problems -- Edge-Based Interface Elements for Solution of Three- Dimensional Geomechanical Problems -- Finite Element Simulation of Seismic Elastic Two Dimensional Wave Propagation: Development and Assessment of Performance in a Cluster of PCs with Software DSM -- Parallel Implementation for Probabilistic Analysis of 3D Discrete Cracking in Concrete -- An A Posteriori Error Estimator for Adaptive Mesh Refinement Using Parallel In-Element Particle Tracking Methods -- Data Mining -- High Performance Data Mining -- Data Mining for Data Classification Based on the KNN-Fuzzy Method Supported by Genetic Algorithm -- Computing in Chemistry and Biology -- Lignin Biosynthesis and Degradation — a Major Challenge for Computational Chemistry -- High Performance Computing in Electron Microscope Tomography of Complex Biological Structures -- Visualization of RNA Pseudoknot Structures -- Problem Solving Environments -- The Cactus Framework and Toolkit: Design and Applications -- Performance of Message-Passing MATLAB Toolboxes -- Evaluating the Performance of Space Plasma Simulations Using FPGA’s -- Remote Parallel Model Reduction of Linear Time-Invariant Systems Made Easy -- An Approach to Teaching Computer Arithmetic -- Linear and Non-linear Algebra -- Fast Sparse Matrix-Vector Multiplication for TeraFlop/s Computers -- Performance Evaluation of Parallel Gram-Schmidt Re-orthogonalization Methods -- Toward Memory-Efficient Linear Solvers -- A Parallel Newton-GMRES Algorithm for Solving Large Scale Nonlinear Systems -- Preconditioning for an Iterative Elliptic Solver on a Vector Processor -- 2-D R-Matrix Propagation: A Large Scale Electron Scattering Simulation Dominated by the Multiplication of Dynamically Changing Matrices -- A Parallel Implementation of the Atkinson Algorithm for Solving a Fredholm Equation -- SLEPc: Scalable Library for Eigenvalue Problem Computations -- Parallelization of Spectral Element Methods -- Cluster Computing -- Mapping Unstructured Applications into Nested Parallelism Best Student Paper Award: First Prize -- An Efficient Parallel and Distributed Algorithm for Counting Frequent Sets -- A Framework for Integrating Network Information into Distributed Iterative Solution of Sparse Linear Systems -- Efficient Hardware Implementation of Modular Multiplication and Exponentiation for Public-Key Cryptography -- Real-Time Visualization of Wake-Vortex Simulations Using Computational Steering and Beowulf Clusters -- PALM: A Dynamic Parallel Coupler -- A Null Message Count of a Conservative Parallel Simulation -- Imaging -- Static Scheduling with Interruption Costs for Computer Vision Applications -- A Parallel Rendering Algorithm Based on Hierarchical Radiosity -- A High-Performance Progressive Radiosity Method Based on Scene Partitioning -- Wavelet Transform for Large Scale Image Processing on Modern Microprocessors -- Software Tools and Environments -- An Expandable Parallel File System Using NFS Servers -- Scalable Multithreading in a Low Latency Myrinet Cluster -- Minimizing Paging Tradeoffs Applying Coscheduling Techniques in a Linux Cluster -- Introducing the Vector C -- Mobile Agent Programming for Clusters with Parallel Skeletons -- Translating Haskell# Programs into Petri Nets -- An Efficient Multi-processor Architecture for Parallel Cyclic Reference Counting -- ROS: The Rollback-One-Step Method to Minimize the Waiting Time during Debugging Long-Running Parallel Programs -- Distributed Paged Hash Tables -- A Meta-heuristic Approach to Parallel Code Generation -- Semidefinite Programming for Graph Partitioning with Preferences in Data Distribution -- A Development Environment for Multilayer Neural Network Applications Mapped onto DSPs with Multiprocessing Capabilities. |
| Record Nr. | UNINA-9910143885903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ZB 2003: Formal Specification and Development in Z and B [[electronic resource] ] : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings / / edited by Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
| ZB 2003: Formal Specification and Development in Z and B [[electronic resource] ] : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings / / edited by Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIV, 554 p.) |
| Disciplina | 005.133 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-44880-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Alloy: A Logical Modelling Language -- An Outline Pattern Language for Z: Five Illustrations and Two Tables -- Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z -- Reuse of Specification Patterns with the B Method -- Composing Specifications Using Communication -- When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets -- How to Diagnose a Modern Car with a Formal B Model? -- Parallel Hardware Design in B -- Operation Refinement and Monotonicity in the Schema Calculus -- Using Coupled Simulations in Non-atomic Refinement -- An Analysis of Forward Simulation Data Refinement -- B#: Toward a Synthesis between Z and B -- Introducing Backward Refinement into B -- Expression Transformers in B-GSL -- Probabilistic Termination in B -- Probabilistic Invariants for Probabilistic Machines -- Proving Temporal Properties of Z Specifications Using Abstraction -- Compositional Verification for Object-Z -- Timed CSP and Object-Z -- Object Orientation without Extending Z -- Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z -- Towards Practical Proofs of Class Correctness -- Automatically Generating Information from a Z Specification to Support the Classification Tree Method -- Refinement Preserves PLTL Properties -- Proving Event Ordering Properties for Information Systems -- ZML: XML Support for Standard Z -- Formal Derivation of Spanning Trees Algorithms -- Using B Refinement to Analyse Compensating Business Processes -- A Formal Specification in B of a Medical Decision Support System -- Extending B with Control Flow Breaks -- Towards Dynamic Population Management of Abstract Machines in the B Method. |
| Record Nr. | UNISA-996465695903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings / / edited by Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
| ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings / / edited by Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIV, 554 p.) |
| Disciplina | 005.133 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-44880-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Alloy: A Logical Modelling Language -- An Outline Pattern Language for Z: Five Illustrations and Two Tables -- Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z -- Reuse of Specification Patterns with the B Method -- Composing Specifications Using Communication -- When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets -- How to Diagnose a Modern Car with a Formal B Model? -- Parallel Hardware Design in B -- Operation Refinement and Monotonicity in the Schema Calculus -- Using Coupled Simulations in Non-atomic Refinement -- An Analysis of Forward Simulation Data Refinement -- B#: Toward a Synthesis between Z and B -- Introducing Backward Refinement into B -- Expression Transformers in B-GSL -- Probabilistic Termination in B -- Probabilistic Invariants for Probabilistic Machines -- Proving Temporal Properties of Z Specifications Using Abstraction -- Compositional Verification for Object-Z -- Timed CSP and Object-Z -- Object Orientation without Extending Z -- Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z -- Towards Practical Proofs of Class Correctness -- Automatically Generating Information from a Z Specification to Support the Classification Tree Method -- Refinement Preserves PLTL Properties -- Proving Event Ordering Properties for Information Systems -- ZML: XML Support for Standard Z -- Formal Derivation of Spanning Trees Algorithms -- Using B Refinement to Analyse Compensating Business Processes -- A Formal Specification in B of a Medical Decision Support System -- Extending B with Control Flow Breaks -- Towards Dynamic Population Management of Abstract Machines in the B Method. |
| Record Nr. | UNINA-9910143857703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||