05492nam 22007213u 450 991100671300332120240410031946.09780128023402012802340697801280213230128021322(CKB)3710000000430794(EBL)2072012(SSID)ssj0001611255(PQKBManifestationID)16322986(PQKBTitleCode)TC0001611255(PQKBWorkID)14900333(PQKB)11632747(WaSeSS)IndRDA00069977(OCoLC)915143486(OCoLC)ocn915143486(FR-PaCSA)88829552(CaSebORM)9780128023402(MiAaPQ)EBC2072012(FRCYB88829552)88829552(EXLCZ)99371000000043079420150629d2015|||| u|| |engur|n|---|||||txtccrAdvances in ComputersVolume 98First edition.Amsterdam, Netherlands :Elsevier,2015.1 online resource (247 p.)Description based upon print version of record.Includes bibliographical references and indexes.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 DVFSPower 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 DVSRegister 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; 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. Distributed3.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 Dimensions3.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 Notations7.1. Finite State MachinesSince 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 mosAdvances in computers.ComputersGraphical user interfaces (Computer systems)System analysisComputers.Graphical user interfaces (Computer systems).System analysis.005.12005.12Hurson A. R1824597Hurson A. RAU-PeELAU-PeELAU-PeELBOOK9911006713003321Advances in Computers4391811UNINA04768nam 22005655 450 991088606850332120250807140336.0981-9736-59-510.1007/978-981-97-3659-1(MiAaPQ)EBC31642028(Au-PeEL)EBL31642028(CKB)34774624600041(DE-He213)978-981-97-3659-1(OCoLC)1455135773(EXLCZ)993477462460004120240902d2024 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierReal Analysis Methods for Markov Processes Singular Integrals and Feller Semigroups /by Kazuaki Taira1st ed. 2024.Singapore :Springer Nature Singapore :Imprint: Springer,2024.1 online resource (749 pages)981-9736-58-7 Includes bibliographical references and index.Introduction and Main Results -- Elements of Functional Analysis -- Elements of Measure Theory and Lp Spaces -- Elements of Real Analysis -- Harmonic Functions and Poisson Integrals -- Besov Spaces via Poisson Integrals -- Sobolev and Besov Spaces -- Maximum Principles in Sobolev Spaces -- Elements of Singular Integrals -- Calder´on–Zygmund Kernels and Their Commutators -- Calder´on–Zygmund Variable Kernels and Their Commutators -- Dirichlet Problems in Sobolev Spaces -- Calder´on–Zygmund Kernels and Interior Estimates -- Calder´on–Zygmund Kernels and Boundary Estimates -- Unique Solvability of the Homogeneous Dirichlet Problem -- Regular Oblique Derivative Problems in Sobolev Spaces -- Oblique Derivative Boundary Conditions -- Boundary Representation Formula for Solutions -- Boundary Regularity of Solutions -- Proof of Theorems 16.1 and 16.2 -- Markov Processes and Feller Semigroups -- Feller Semigroups with Dirichlet Condition -- Feller Semigroups with an Oblique Derivative Condition -- Feller Semigroups and Boundary Value Problems -- Feller Semigroups with a First Order Ventcel’ Boundary Condition -- Concluding Remarks.This book is devoted to real analysis methods for the problem of constructing Markov processes with boundary conditions in probability theory. Analytically, a Markovian particle in a domain of Euclidean space is governed by an integro-differential operator, called the Waldenfels operator, in the interior of the domain, and it obeys a boundary condition, called the Ventcel (Wentzell) boundary condition, on the boundary of the domain. Most likely, a Markovian particle moves both by continuous paths and by jumps in the state space and obeys the Ventcel boundary condition, which consists of six terms corresponding to diffusion along the boundary, an absorption phenomenon, a reflection phenomenon, a sticking (or viscosity) phenomenon, and a jump phenomenon on the boundary and an inward jump phenomenon from the boundary. More precisely, we study a class of first-order Ventcel boundary value problems for second-order elliptic Waldenfels integro-differential operators. By using the Calderón–Zygmund theory of singular integrals, we prove the existence and uniqueness of theorems in the framework of the Sobolev and Besov spaces, which extend earlier theorems due to Bony–Courrège–Priouret to the vanishing mean oscillation (VMO) case. Our proof is based on various maximum principles for second-order elliptic differential operators with discontinuous coefficients in the framework of Sobolev spaces. My approach is distinguished by the extensive use of the ideas and techniques characteristic of recent developments in the theory of singular integral operators due to Calderón and Zygmund. Moreover, we make use of an Lp variant of an estimate for the Green operator of the Neumann problem introduced in the study of Feller semigroups by me. The present book is amply illustrated; 119 figures and 12 tables are provided in such a fashion that a broad spectrum of readers understand our problem and main results.Functional analysisStochastic processesProbabilitiesFunctional AnalysisStochastic ProcessesProbability TheoryFunctional analysis.Stochastic processes.Probabilities.Functional Analysis.Stochastic Processes.Probability Theory.519.233Taira Kazuaki59537MiAaPQMiAaPQMiAaPQBOOK9910886068503321Real Analysis Methods for Markov Processes4430868UNINA