{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":39,"n_cols":5,"rows_kept":39,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[14,2,14,3],[15,2,15,3],[19,2,19,3],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[29,4,29,5],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9911006713003321"]
[null,null,"Autore",null,"Hurson A. R"]
[null,null,"Titolo",null,"Advances in Computers . Volume 98"]
[null,null,"Pubbl/distr/stampa",null,"Amsterdam, Netherlands : , : Elsevier, , 2015"]
[null,null,"ISBN",null,"9780128023402"]
[{"$nulls":4},"0128023406"]
[{"$nulls":4},"9780128021323"]
[{"$nulls":4},"0128021322"]
[null,null,"Edizione",null,"[First edition.]"]
[null,null,"Descrizione fisica",null,"1 online resource (247 p.)"]
[null,null,"Disciplina",null,"005.12"]
[null,null,"Soggetti",null,"Computers"]
[{"$nulls":4},"Graphical user interfaces (Computer systems)"]
[{"$nulls":4},"System analysis"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and indexes."]
[null,null,"Nota di contenuto",null,"Front Cover; Advances in Computers; Copyright; Contents; Preface; Chapter One: An Overview of Architecture-Level Power- and Energy-Efficient Design Techniques; 1. Introduction; 2. Metrics of Interest; 2.1. Circuit-Level Metrics; 2.1.1. Basic Metrics; 2.1.2. Derived Metrics; 2.2. Architectural-Level Metrics; 3. Classification of Selected Architecture-Level Techniques; 3.1. Criteria; 3.2. List of Selected Examples; 3.3. Postclassification Conclusion; 4. Presentation of Selected Architecture-Level Techniques; 4.1. Core; 4.1.1. Dynamic; DVFS; OS Level; Compiler Analysis-Based DVFS"]
[{"$nulls":4},"Power Phase Analysis-Based DVFSDVFS for Multiple Clock Domain Processors; Dynamic Work Steering; Optimizing Issue Width; 4.1.2. Static and Dynamic; Combined ABB and DVFS; 4.2. Core-Pipeline; 4.2.1. Dynamic; Clock Gating; Deterministic Clock Gating; Improving Energy Efficiency of Speculative Execution; Significance Compression; Work Reuse; Instruction-Level Reuse; Basic Block-Level Reuse; Trace-Level Reuse; Region Reuse; 4.3. Core-Front-End; 4.3.1. Dynamic; Exploiting Narrow-Width Operands; Instruction Queue Resizing; Loop Cache; Trace Cache; 4.3.2. Static; Idle Register File DVS"]
[{"$nulls":4},"Register File Access Optimization4.4. Core-Back-End; 4.4.1. Dynamic; Exploiting Narrow-Width Operands; Integers; Floating Point; Work Reuse; 4.4.2. Static; Power Gating; Vt-Based Technique; 4.5. Conclusion About the Existing Solutions; 5. Future Trend; 6. Conclusion; "]
[{"$nulls":4},"References; Chapter Two: A Survey of Research on Data Corruption in Cyber-Physical Critical Infrastructure Systems; 1. Introduction; 2. Sources of Corrupted Data; 3. Sensor Networks: Application for Comparison; 3.1. Sensor Network Database Requirements; 3.2. Sensor Network Architectures; 3.2.1. Centralized; 3.2.2. Distributed"]
[{"$nulls":4},"3.3. Sensor Network Data Propagation4. Detection of Corrupted Data; 4.1. Statistical Detection; 4.1.1. Types of Data Anomalies; 4.1.2. Statistical Detection Approaches; 4.2. Behavioral Approaches; 5. Mitigation of Data Corruption; 6. Propagation of Corrupted Data; 6.1. Propagation from Execution; 6.2. Corrupted Data in a Sensor Node; 7. Conclusion and Future Direction; References; Chapter Three: A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs; 1. Introduction; 2. The Generic Model-based Testing Approach; 3. Proposed Taxonomy Dimensions"]
[{"$nulls":4},"3.1. The Modeling Notation3.2. The Test Artifact; 3.3. Test Selection Criteria; 3.4. The Test Generation Method; 3.5. The Technology; 3.6. The Mapping; 4. A Research Review of Model-based Testing Tools; 4.1. Selection Criteria and Procedures for Including/Excluding Model-based Testing Tools; 4.2. Our Taxonomy; 5. Running Example: The Coffee/Tea Vending Machine; 6. Model-based Testing Tools for Pre/Post Notations; 6.1. The Z Language; 6.2. The B-Method; 6.3. Spec#; 6.4. AsmL; 6.5. The Coffee/Tea Vending Machine in ProTest; 7. Model-based Testing Tools for Transition-based Notations"]
[{"$nulls":4},"7.1. Finite State Machines"]
[null,null,null,"Sommario/riassunto","Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of sugnificant, lasting value in this rapidly expanding field.In-depth surveys and tutorials on new computer technologyWell-known authors and researchers in the fieldExtensive bibliographies with mos"]
[null,"2.","Record Nr.",null,"UNINA9911016375703321"]
[null,null,"Autore",null,"Holl, Steven"]
[null,null,"Titolo",null,"Questions of perception : phenomenology of architecture / Steven Holl, Juhani Pallasmaa, Alberto Perez-Gomez"]
[null,null,"Pubbl/distr/stampa",null,"San Francisco, : William Stout, 2006"]
[null,null,"ISBN",null,"9780974621470"]
[null,null,"Descrizione fisica",null,"155 p. : ill. ; 24 cm"]
[null,null,"Locazione",null,"FARBC"]
[null,null,"Collocazione",null,"ARCH B 4465"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Una ristampa della pubblicazione A+U del 1994, con una nuova introduzione di Steven Holl"]