1.

Record Nr.

UNISA996280990603316

Titolo

ISO/IEC/IEEE 15289:2015(E) : ISO/IEC/IEEE International Standard Systems and software engineering -- Content of life-cycle information items (documentation) / / Institute of Electrical and Electronics Engineers

Pubbl/distr/stampa

Piscataway, NJ, USA : , : IEEE, , 2015

ISBN

0-7381-9529-4

Descrizione fisica

1 online resource (vii, 84 pages) : illustrations

Disciplina

620.001171

Soggetti

Systems engineering

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Sommario/riassunto

The purpose and content of all identified systems and software life cycle and service management information items (documentation) are specified in this standard. The information item contents are defined according to generic document types, as presented in Clause 7, and the specific purpose of the document (Clause 10). This International Standard provides a mapping of ISO/IEC/IEEE 15288, ISO/IEC 12207:2008 (IEEE Std 12207-2008), ISO/IEC 20000-1:2011 (IEEE Std 20000-1:2013), and ISO/IEC 20000-2 (IEEE Std 20000-2:2013) clauses with a set of information items. This International Standard identifies records and information items based on analysis of references in ISO/IEC/IEEE 15288, ISO/IEC 12207:2008 (IEEE Std 12207-2008), ISO/IEC 20000-1:2011 (IEEE Std 20000-1:2013) and ISO/IEC 20000-2:2012 (IEEE 20000-2:2013), which in some cases provide partial or complete outlines for the content of specific documents. However, the requirements for the life-cycle processesdo not uniquely and unambiguously state the requirements for the information items contents or the information needed by a user of an information item. Moreover, the information from the life-cycle processes may overlap or may be created and revised at different times. In short, the analyzed references do not result in a logically complete list of information items.



2.

Record Nr.

UNINA9910484377703321

Titolo

Applied Parallel and Scientific Computing : 11th International Conference, PARA 2012, Helsinki, Finland / / edited by Pekka Manninen, Per Ă–ster

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013

ISBN

3-642-36803-4

Edizione

[1st ed. 2013.]

Descrizione fisica

1 online resource (XIV, 568 p. 186 illus.)

Collana

Theoretical Computer Science and General Issues, , 2512-2029 ; ; 7782

Disciplina

004.6/185

Soggetti

Numerical analysis

Algorithms

Microprocessors

Computer architecture

Electronic digital computers - Evaluation

Computer science - Mathematics

Numerical Analysis

Processor Architectures

System Performance and Evaluation

Mathematical Applications in Computer Science

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references and author index.

Nota di contenuto

Computational Physics on Graphics Processing Units -- Preparing Scientific Application Software for Exascale Computing -- PRACE DECI (Distributed European Computing Initiative) Minisymposium -- Parallel Electronic Structure Calculations Using Multiple Graphics Processing Units -- An Environment for Service Composition, Execution and Resource Allocation -- Multicore and Accelerator Development for a Leadership-Class Stellar Astrophysics Code -- Steering and In-situ Visualization for Simulation of Seismic Wave Propagation on Graphics Cards -- PCJ - New Approach for Parallel Computations in Java -- Parallel Numerical Simulation of Seismic Waves Propagation with Intel Math Kernel Library -- Blocked Schur Algorithms for Computing the Matrix Square Root -- Distributed Evolutionary Computing System



Based on Web Browsers with JavaScript -- Parallel Implementation of the Sherman-Morrison Matrix Inverse Algorithm -- Parallel Interval Newton Method on CUDA -- Heterogeneous Multi-agent Evolutionary System for Solving Parametric Interval Linear Systems -- Interval Finite Difference Method for Solving the One-Dimensional Heat Conduction Problem with Heat Sources -- Interval Arithmetic and Automatic Differentiation on GPU Using Open CL -- Tuning the Interval Algorithm for Seeking Pareto Sets of Multi-criteria Problems -- A Central-Backward Difference Interval Method for Solving the Wave Equation -- Using State-of-the-Art Sparse Matrix Optimizations for Accelerating the Performance of Multiphysics Simulations -- Schedule Optimisation for Interactive Parallel Structure Simulations -- Computational Chemistry Studies of LIGNOLs -- A Lightweight Task Graph Scheduler for Distributed High-Performance Scientific Computing.

Sommario/riassunto

This volume constitutes the refereed proceedings of the 11th International Conference on Applied Parallel and Scientific Computing, PARA 2012, held in Helsinki, Finland, in June 2012. The 35 revised full papers presented were selected from numerous submissions and are organized in five technical sessions covering the topics of advances in HPC applications, parallel algorithms, performance analyses and optimization, application of parallel computing in industry and engineering, and HPC interval methods. In addition, three of the topical minisymposia are described by a corresponding overview article on the minisympoisa topic. In order to cover the state-of-the-art of the field, at the end of the book a set of abstracts describe some of the conference talks not elaborated into full articles.



3.

Record Nr.

UNINA9910367569603321

Autore

Georgiadou Yola

Titolo

Innovative Geo-Information Tools for Governance / Yola Georgiadou, Diana Reckien

Pubbl/distr/stampa

MDPI - Multidisciplinary Digital Publishing Institute, 2019

Basel, Switzerland : , : MDPI, , 2019

ISBN

9783039213382

3039213385

Descrizione fisica

1 electronic resource (186 p.)

Soggetti

Research & information: general

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Sommario/riassunto

In current times, highly complex and urgent policy problems-e.g., climate change, rapid urbanization, equitable access to key services, land rights, and massive human resettlement-challenge citizens, NGOs, private corporations, and governments at all levels. These policy problems, often called 'wicked', involve multiple causal factors, anticipated and unanticipated effects, as well as high levels of disagreement among stakeholders about the nature of the problem and the appropriateness of solutions. Given the wickedness of such policy problems, interdisciplinary and longitudinal research is required, integrating and harnessing the diverse skills and knowledge of urban planners, anthropologists, geographers, geo-information scientists, economists, and others. This Special Issue promotes innovative concepts, methods, and tools, as well as the role of geo-information, to help (1) analyze alternative policy solutions, (2) facilitate stakeholder dialogue, and (3) explore possibilities for tackling wicked problems related to climate change, rapid urbanization, equitable access to key services (such as water and health), land rights, and human resettlements in high-, middle-, and low-income countries in the North and South. Such integrative approaches can deepen our understanding of how different levels of government and governance reach consensus,



despite diverging beliefs and preferences. Due to the particularly complex spatiotemporal characteristics of wicked policy problems, innovative concepts, alternative methods, and new geo-information tools play a significant role.