Architectures -- Extra-dimensional Island-Style FPGAs -- A Tightly Coupled VLIW/Reconfigurable Matrix and its Modulo Scheduling Technique -- Stream-based XPP Architectures in Adaptive System-on-Chip Integration -- Core-Based Architecture for Data Transfer Control in SoC Design -- Customizable and Reduced Hardware Motion Estimation Processors -- Methodologies and Tools -- Enabling Run-time Task …
Basic Tools and Techniques -- The Universal Generating Function in Reliability Analysis of Binary Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi-state Systems -- Universal Generating Function in Optimization of Series-Parallel Multi-state Systems -- Universal Generating Function in Analysis and Optimization of Special Types of Multi-state…
Model Taxonomy -- Functional Verification Taxonomy -- Platform-Based Design -- Hardware-Dependent Software."In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By providing definitions for the terms used in the modeling, implementation, and verification of electronic systems, the taxonomies described in this book will help us find a …
Background Material -- Systemc Discrete-Event Kernel -- Few Words about Implementation Class Hierarchy -- Synchronous Data Flow Kernel in SystemC -- Communicating Sequential Processes Kernel in SystemC -- Finite State Machine Kernel in SystemC -- Systemc Kernel Application Protocol Interface (API) -- Heterogeneous Examples -- Epilogue.SystemC Kernel Extensions for Heterogeneous System Modeling …
Basic Methods and Theory -- Modelling of Uncertain Systems -- Robust Design Specifications -- ??Design -- ??Loop-shaping Design Procedures -- ?-Analysis and Synthesis -- Lower-order Controllers -- Design Examples -- Robust Control of a Mass-Damper-Spring System -- A Triple Inverted Pendulum Control-system Design -- Robust Control of a Hard Disk Drive -- Robust Control of a Distillation Column -…
CSCW Techniques and Methods -- Vega Information Grid for Collaborative Computing -- Physical Object Icons Buttons Gesture (PIBG): A New Interaction Paradigm with Pen -- A Novel Method of QoS Based Resource Management and Trust Based Task Scheduling -- Learning to Plan the Collaborative Design Process -- Groupware System Design and the Context Concept -- Grid Authorization Management Oriented to…
Formal Approaches in Modelling -- On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor Matrix -- Fuzzy Modeling for Coal Seams…
Fault Tolerance and Recovery -- An Adaptive Self-tolerant Algorithm for Hardware Immune System -- Consensus-Based Evaluation for Fault Isolation and On-line Evolutionary Regeneration -- Hardware Fault-Tolerance Within the POEtic System -- Evolvable Hardware System at Extreme Low Temperatures -- Platforms for Evolving Digital Systems -- Intrinsic Evolution of Sorting Networks: A Novel Complete H…
A First Look -- Observers -- Translations -- Positions -- Rotations -- Orientations -- Review -- Velocities -- Constraints -- Review -- A Look Ahead.Multibody Mechanics and Visualization is designed to appeal to computer-savvy students who will acquire significant skills in mathematical and physical modelling of mechanical systems in the process of producing attractive computer simulations and …
Mapping Problems in the Design Flow -- Optimization Methods -- Optimization Approach Based on Simulated Annealing -- Efficient Algorithms and Data Structures -- Placement -- Routing -- Dealing with Physical Phenomena: Parasitics, Crosstalk and Process Variations -- Conclusions.Mixed-Signal Layout Generation Concepts covers important physical-design issues that exist in contemporary analog and m…