| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009716090403321 |
|
|
Autore |
Powell, Nicolas |
|
|
Titolo |
Viaggiatori a Trieste / Nicolas Powell |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Testimonianze fra cronaca e letteratura ; 2 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910629697203321 |
|
|
Autore |
Esposito, Tommaso |
|
|
Titolo |
La progettazione geometrica delle strade / Tommaso Esposito, Raffaele Mauro, Michele Corradini |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Roma, : Edizioni Efesto, 2022 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Altri autori (Persone) |
|
Mauro, Raffaele |
Corradini, Michele <ingegnere> |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910253971003321 |
|
|
Autore |
Rehman Semeen |
|
|
Titolo |
Reliable Software for Unreliable Hardware : A Cross Layer Perspective / / by Semeen Rehman, Muhammad Shafique, Jörg Henkel |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2016.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (259 p.) |
|
|
|
|
|
|
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 |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Introduction -- Background and Related Work -- Cross-Layer Reliability Analysis, Modeling, and Optimization -- Software Program-Level Reliability Modeling and Estimation -- Software Program-Level Reliability Optimization for Dependable Code Generation -- Dependable Code Execution using Reliability-Driven System Software.-Results and Discussion -- Summary and Conclusions. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book describes novel software concepts to increase reliability under user-defined constraints. The authors’ approach bridges, for the first time, the reliability gap between hardware and software. Readers will learn how to achieve increased soft error resilience on unreliable hardware, while exploiting the inherent error masking characteristics and error (stemming from soft errors, aging, and process variations) mitigations potential at different software layers. · Provides a comprehensive overview of reliability modeling and optimization techniques at different hardware and software levels; · Describes novel optimization techniques for software cross-layer reliability, targeting |
|
|
|
|
| |