| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465772903316 |
|
|
Titolo |
Recent Advances in Parallel Virtual Machine and Message Passing Interface [[electronic resource] ] : 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings / / edited by Bernd Mohr, Jesper Larsson Träff, Joachim Worringen, Jack Dongarra |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2006.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVI, 416 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 4192 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Architecture, Computer |
Computer programming |
Programming languages (Electronic computers) |
Computers |
Numerical analysis |
Arithmetic and logic units, Computer |
Computer System Implementation |
Programming Techniques |
Programming Languages, Compilers, Interpreters |
Computation by Abstract Devices |
Numeric Computing |
Arithmetic and Logic Structures |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- Too Big for MPI? -- Approaches for Parallel Applications Fault Tolerance -- Where Does MPI Need to Grow? -- Peta-Scale Supercomputer Project in Japan and Challenges to Life and Human Simulation in Japan -- Resource and Application Adaptivity in Message Passing Systems -- Performance Advantages of Partitioned Global Address Space Languages -- Tutorials -- Using MPI-2: A Problem-Based Approach -- Performance Tools for Parallel |
|
|
|
|
|
|
|
|
|
Programming -- High-Performance Parallel I/O -- Hybrid MPI and OpenMP Parallel Programming -- Outstanding Papers -- Issues in Developing a Thread-Safe MPI Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One-Sided Communication -- Collective Communication -- MPI Collective Algorithm Selection and Quadtree Encoding -- Parallel Prefix (Scan) Algorithms for MPI -- Efficient Allgather for Regular SMP-Clusters -- Efficient Shared Memory and RDMA Based Design for MPI_Allgather over InfiniBand -- Communication Protocols -- High Performance RDMA Protocols in HPC -- Implementation and Shared-Memory Evaluation of MPICH2 over the Nemesis Communication Subsystem -- MPI/CTP: A Reconfigurable MPI for HPC Applications -- Debugging and Verification -- Correctness Checking of MPI One-Sided Communication Using Marmot -- An Interface to Support the Identification of Dynamic MPI 2 Processes for Scalable Parallel Debugging -- Modeling and Verification of MPI Based Distributed Software -- Fault Tolerance -- FT-MPI, Fault-Tolerant Metacomputing and Generic Name Services: A Case Study -- Scalable Fault Tolerant Protocol for Parallel Runtime Environments -- An Intelligent Management of Fault Tolerance in Cluster Using RADICMPI -- Extended mpiJava for Distributed Checkpointing and Recovery -- Metacomputing and Grid -- Running PVM Applications on Multidomain Clusters -- Reliable Orchestration of Distributed MPI-Applications in a UNICORE-Based Grid with MetaMPICH and MetaScheduling -- The New Multidevice Architecture of MetaMPICH in the Context of Other Approaches to Grid-Enabled MPI -- Using an Enterprise Grid for Execution of MPI Parallel Applications – A Case Study -- Parallel I/O -- Self-adaptive Hints for Collective I/O -- Exploiting Shared Memory to Improve Parallel I/O Performance -- High-Bandwidth Remote Parallel I/O with the Distributed Memory Filesystem MEMFS -- Effective Seamless Remote MPI-I/O Operations with Derived Data Types Using PVFS2 -- Implementation Issues -- Automatic Memory Optimizations for Improving MPI Derived Datatype Performance -- Improving the Dynamic Creation of Processes in MPI-2 -- Object-Oriented Message Passing -- Non-blocking Java Communications Support on Clusters -- Modernizing the C++ Interface to MPI -- Limitations and Extensions -- Can MPI Be Used for Persistent Parallel Services? -- Observations on MPI-2 Support for Hybrid Master/Slave Applications in Dynamic and Heterogeneous Environments -- What MPI Could (and Cannot) Do for Mesh-Partitioning on Non-homogeneous Networks -- Performance -- Scalable Parallel Trace-Based Performance Analysis -- TAUg: Runtime Global Performance Data Access Using MPI -- Tracing the MPI-IO Calls’ Disk Accesses -- Measuring MPI Send and Receive Overhead and Application Availability in High Performance Network Interfaces -- Challenges and Issues in Benchmarking MPI -- Implementation and Usage of the PERUSE-Interface in Open MPI -- ParSim -- 5th International Special Session on Current Trends in Numerical Simulation for Parallel Engineering Environments -- MPJ Express Meets Gadget: Towards a Java Code for Cosmological Simulations -- An Approach for Parallel Fluid-Structure Interaction on Unstructured Meshes -- Optimizing a Conjugate Gradient Solver with Non-Blocking Collective Operations -- Parallel DSMC Gasflow Simulation of an In-Line Coater for Reactive Sputtering -- Parallel Simulation of T-M Processes in Underground Repository of Spent Nuclear Fuel -- Poster Abstracts -- On the Usability of High-Level Parallel IO in Unstructured Grid Simulations -- Automated Performance Comparison -- Improved GROMACS Scaling on Ethernet Switched Clusters -- Asynchronity in Collective Operation Implementation -- PARUS: A Parallel Programming |
|
|
|
|
|
|
|
|
|
|
|
Framework for Heterogeneous Multiprocessor Systems -- Application of PVM to Protein Homology Search. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910632098203321 |
|
|
Autore |
Gorlani, Mario |
|
|
Titolo |
Ruolo e funzione costituzionale del partito politico : il declino della forma partito e la crisi del parlamentarismo italiano / Mario Gorlani |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Studi di diritto pubblico. Nuova serie ; 3 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910255299703321 |
|
|
Titolo |
Global space governance : an international study |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xxxv, 767 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
International organization |
Law of the sea |
International law |
Aerospace engineering |
Astronautics |
Space sciences |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
1. Introduction to the study on Global Space Governance.- 2. Overview of the Existing Mechanisms of Global Space Governance.- 3. Global Space Governance from Regional Perspectives.- 4. National Space Policies and Laws and Global Space Governance.- 5. Private Commercial Space Enterprises and Global Space Governance.- 6. Satellite Telecommunications and Broadcasting.- 7. Remote Sensing, Earth Observation, and Meteorological Satellites.- 8. Global Navigation Satellite Systems and Services.- 9. Space-Based Solar Power.- 10. Space Launch Services.- 11. Human Spaceflight.- 12. Global Governance of Space Security.- 13. Space Traffic Management and Coordinated Controls for Near-Space.- 14. On-Orbit Services, Robotics, Active Debris Removal and Related Activities.- 15.< Small Satellites and Large Commercial Satellite Constellations.-16. Space Mining and Use of Space Natural Resources..- 17. Cosmic Hazards and Planetary Defense.- 18. Space Environmental Issues.- 19. Space Migration and Colonization.- 20. The Role of Space in Long-Term Economic Development of Earth.- 21. Extending the Benefits and Uses of Outer Space to All Humankind.- 22. Capacity-Building in Global Space |
|
|
|
|
|
|
|
|
|
|
|
Governance.- 23. Conclusions, Consolidated Finding, and General Recommendations.-Appendices- Index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book is based on the findings, conclusions and recommendations of the Global Space Governance study commissioned by the 2014 Montreal Declaration that called upon civil society, academics, governments, the private sector, and other stakeholders to undertake an international interdisciplinary study. The study took three years to complete. It examines the drivers of space regulations and standards, key regulatory problems, and especially addresses possible improvements in global space governance. The world's leading experts led the drafting of chapters, with input from academics and knowledgeable professionals in the public and private sectors, intergovernmental organizations, and nongovernmental organizations from all the regions of the world with over 80 total participants. This book and areas identified for priority action are to be presented to the UN Committee on the Peaceful Uses of Outer Space and it is hoped will be considered directly or indirectly at the UNISPACE+50 event in Vienna, Austria, in 2018. The report, a collective work of all the contributors, includes objective analysis and frank statements expressed without pressure of political, national, and occupational concerns or interest. It is peer-reviewed and carefully edited to ensure its accuracy, preciseness, and readability. It is expected that the study and derivative recommendations will form the basis for deliberations and decisions at international conferences and meetings around the world on the theme of global space governance. This will hopefully include future discussion at the UN Committee on the Peaceful Uses of Outer Space. |
|
|
|
|
|
|
|
| |