| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910716981703321 |
|
|
Titolo |
Climate change and international responses increasing challenges to US national security through 2040 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Washington, D.C.] : , : National Intelligence Council, , 2021 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (ii, 22 pages) : color illustrations, color maps |
|
|
|
|
|
|
Collana |
|
National intelligence estimate |
|
|
|
|
|
|
Soggetti |
|
National security - Climatic factors |
Climatic changes - Forecasting |
International relations - Forecasting |
National security - United States - Forecasting |
Geopolitics - United States |
Global warming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"NIC-NIE-2021-10030-A." |
"October 21, 2021"--Office of the Director of National Intellgience website. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (page 22). |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910299667803321 |
|
|
Titolo |
Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2013 / / edited by Marie-Minerve Louërat, Torsten Maehne |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2015.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (326 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Electrical Engineering, , 1876-1100 ; ; 311 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Electronic circuits |
Microprocessors |
Electronics |
Microelectronics |
Circuits and Systems |
Processor Architectures |
Electronics and Microelectronics, Instrumentation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Part I Applications of Formal Methods for Specification and Verification -- Optimal Component Selection for Energy-Efficient Systems -- Assisting Refinement in System-on-Chip Design -- Part II Embedded Analog and Mixed-Signal System Verification -- Integrating Circuit Analyses for Assertion-Based Verification of Programmable AMS Circuits -- Part III Embedded Analog and Mixed-Signal System Design -- Hybrid Dynamical Systems for Memristor Modelling -- Code Generation Alternatives to Reduce Heterogeneous Embedded Systems Homogeneity. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book brings together a selection of the best papers from the sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to |
|
|
|
|
|
|
|
|
|
|
the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. • Covers applications of formal methods for specification, verification and debug; • Includes embedded analog and mixed-signal system design; • Enables model-driven engineering for embedded systems design and development. |
|
|
|
|
|
| |