Arama Sonuçları - "formal verification"

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach / Yazar: Zhan, Naijun, Wang, Shuling, Zhao, Hengjun

Full-text access

Formal Verification of Floating-Point Hardware Design A Mathematical Approach / Yazar: Russinoff, David M.

Full-text access

Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test / Yazar: Chandrasekharan, Arun, Große, Daniel, Drechsler, Rolf

İçindekiler: “…Introduction -- Preliminaries -- Error Metric Computation for Approximate Combinational Circuits -- Formal Verification of Approximate Sequential Circuits -- Synthesis Techniques for Approximation Circuits -- Post-Production Test Strategies for Approximation Circuits -- ProACt: Hardware Architecture for Cross-Layer Approximate Computing -- Conclusions and Outlook -- Index -- References.…”
Full-text access

Formal System Verification State-of the-Art and Future Trends /

İçindekiler: “…Formal Techniques for Verification and Coverage Analysis of Analog Systems -- Verification of Incomplete Designs -- Probabilistic Model Checking: Advances and Applications -- Software in a Hardware View -- Formal Verification - The Industrial Perspective.…”
Full-text access

Industrial Internet of Things Cybermanufacturing Systems /

İçindekiler: “…Industrial Internet of Things and Cyber Manufacturing Systems -- An Application Map for Cyber-Physical Systems -- Cyber-Physical Electronics Production -- Cyber-physical Systems Engineering for Manufacturing -- Model-Based Engineering of Supervisory Controllers for Cyber- Physical Systems -- Formal Verification of SystemC-based Cyber Components -- Evaluation Model for Assessment of Cyber-Physical Production Systems -- CPS-based Manufacturing with Semantic Object Memories and Service Orchestration for Industrie 4.0 Applications -- Integration of a knowledge database and machine vision within a robot-based CPS.…”
Full-text access

Security and Fault Tolerance in Internet of Things

İçindekiler: “…Security and Trust Verification of IoT SoCs -- Low Cost Dual-Phase Watermark for Protecting CE Devices in IoT Framework -- Secure multicast communication techniques for IoT -- An Adaptable System-on-Chip Security Architecture for Internet of Things Applications -- Lightweight Fault Tolerance for Secure Aggregation of Homomorphic Data -- An approach to integrating security and fault tolerance mechanisms into the military IoT -- Fault-tolerant Implementations of Physically Unclonable Functions on FPGA -- Fault Tolerance in 3D-ICs -- Formal Verification for Security in IoT Devices -- SENSE: Sketching framework for Big Data Acceleration on Low Power Embedded Cores.…”
Full-text access

Cybernetics and Automation Control Theory Methods in Intelligent Algorithms Proceedings of 8th Computer Science On-line Conference 2019, Vol. 3 /

İçindekiler: “…Novel Filtering-based Approach using Fuzzy Logic for Prevention of Adversaries in Sensory Application -- Game-Decision Model for Isolating Intruder & bridging Tradeoff between Energy and Security -- Simplified Framework for Resisting Lethal Incoming Threats from Polluting in Wireless Sensor Network -- An Efficient Approach towards Formal Verification of Mixed Signals using Feed-Forward Neural Network -- PCCV: Parallel Cancellation and Convolution Viterbi encoding/decoding approach for MIMO-OFDMA for efficient resource allocation and power consumption -- Streaming Analytics - Real-time Customer Satisfaction in Brick-And-Mortar Retailing -- An Efficient Mechanism to Improve the Complexity and System Performance in OFDM using Switched Beam Smart Antenna -- Modeling the Engineering Process as a Thinging Machine: A Case Study of Chip Manufacturing -- A Simple and Cost-Effective Anomaly Detection Paradigm on the Basis of Computational Intelligence for Mobile Ad-hoc Networks from a Security Viewpoint -- A Technique of Adaptation of the Workload Distribution Problem Model for the Fog-Computing Environment.…”
Full-text access

The Mind of an Engineer

İçindekiler: “…A Logical Perspective of Formal Verification a Narrative on the Genesis and Evolution of the Formal Verification Group at IIT Kharagpur -- Chapter 50. …”
Full-text access

Real-life Applications with Membrane Computing Yazar: Zhang, Gexiang, Pérez-Jiménez, Mario J., Gheorghe, Marian

Full-text access

Linear and Integer Programming Made Easy Yazar: Hu, T. C., Kahng, Andrew B.

Full-text access

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies / Yazar: Mehta, Ashok B.

Full-text access

VLSI Design and Test for Systems Dependability

İçindekiler: “…Challenges and Opportunities in VLSI for Systems Dependability -- Design and Development of Electronic Systems for Quality and Dependability -- Radiation-Induced Soft Errors -- Electromagnetic Noises -- Variations in Device Characteristics -- Time-Dependent Degradation in Device Characteristics -- Connectivity in Wireless Telecommunications -- Connectivity in Electronic Packaging -- Responsiveness for Hard Real Time Control -- The Role of Security LSI and the Example of Malicious Attacks -- Verification and Test Coverage -- Unknown Threats and Provisions -- Design Automation for Reliability -- Formal Verification and Debugging of VLSI Logic Design for Systems Dependability:Experiments and Evaluation -- Virtualization: System-Level Fault Simulation of SRAM Errors in  Automotive Electronic Control Systems -- DART - A Concept of In-Field Testing for Enhancing System De-pendability -- Design of SRAM Resilient against Dynamic Voltage Variations -- Design and Applications of Dependable Non-Volatile Memory Systems -- Network-on-Chip Based Multiple-Core Centrized ECUs for Safety-Critical Automotive Applications -- An On-Chip Router Architecture for Dependable Multicore Processor -- Wireless Interconnect in Electronic Systems -- Wireless Power Delivery Resilient against Loading Variations -- Extended Dependable Air: Use of Satellites in Boosting Dependability of PublicWireless Communications -- Responsive Multithreaded Processor for Hard Real-Time Robotic Applications -- A Low-Latency DMR Architecture with Fast Checkpoint Recovery Scheme Using  Simultaneously Copyable SRAM -- A 3D-VLSI Architecture for Future Automotive Visual Recognition -- Applications of Reconfigurable Processors as Embedded Automatons in the IoT Sensor Networks in Space -- An FPGA Implementation of Comprehensive Security Functions for Systems-Level Authentication -- SRAM-Based Physically Unclonable Functions (PUFs) to Generate Signature out of Silicon for Authentication and Encryption.…”
Full-text access

Advances in Unconventional Computing Volume 1: Theory /

İçindekiler: “…-Asymptotic Intrinsic Universality and Natural Reprogrammability by BehaviouralEmulation -- Two Small Universal Reversible Turing Machines -- Percolation Transition and Related Phenomena in Terms of Grossone Infinity Computations -- Spacetime Computing: Towards Algorithmic Causal Sets with Special-Relativistic Properties -- Interaction-based Programming in MGS -- Cellular Automata in Hyperbolic Spaces -- A Computation in a Cellular Automaton Collider Rule 110 -- Quantum Queries Associated with Equi-Partitioning of States and Multipartite Relational Encoding Across Space-Time -- Solving the Broadcast Time Problem Using a D-Wave Quantum Computer -- The Group Zoo of Classical Reversible Computing and Quantum Computing -- Fault Models in Reversible and Quantum Circuits -- A Class of Non-optimum-time 3n-Step FSSP Algorithms -- Universality of Asynchronous Circuits Composed of Locally Reversible Elements -- Reservoir Computing as a Model for In-Materio Computing -- On Reservoir Computing: from Mathematical Foundations to Unconventional Applications -- Computational Properties of Cell Regulatory Pathways through Petri Nets -- Kernel P Systems and Stochastic P Systems for Modelling and Formal Verification of Genetic Logic Gates -- On Improving the Expressive Power of Chemical Computation -- Conventional and Unconventional Approaches to Swarm Logic -- On the Inverse Pattern Recognition Problem in the Context of the Time-Series Data Processing withMemristor Networks -- Self-Awareness in Digital Systems: Augmenting Self-Modification with Introspection to Create Adaptive, Responsive Circuitry -- Looking for Computers in the Biological Cell. …”
Full-text access

Artificial Intelligence Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 1 /

İçindekiler: “…A Classification Schema for the Job Shop Scheduling Problem with Transportation Resources: State-Of-The-Art Review -- Narration Framework of Chinese Ancient Fiction Images in the Digital Environment -- Toward Computing Oriented Representation of Sets -- Simplified Version of White Wine Grape Berries Detector Based on SVM and HOG Features -- Automated Product Design and Development Using Evolutionary Ontology -- Energy Conservation Technique on Multiple Radio Incorporated Smart Phones -- Real Time Tasks Scheduling Optimization Using Quantum Inspired Genetic Algorithms -- Fuzzy Energy Aware Real Time Scheduling Targeting Mono-Processor Embedded Architectures -- Total Tardiness Minimization in a Flow Shop With Blocking Using An Iterated Greedy Algorithm -- A Firefly Algorithm to Solve the Manufacturing Cell Design Problem -- Solving the Manufacturing Cell Design Problem Via Invasive Weed Optimization -- VLSI Placement Problem Based on Ant Colony Optimization Algorithm -- Pattern Recognition on the Basis of Boltzmann Machine Model -- Parallel Genetic Algorithm Based on Fuzzy Controller for Design Problems -- To Scheduling Quality of Sets of Precise Form Which Consist of Tasks of Circular And Hyperbolic Type In Grid Systems -- Exploring Performance of Instance Selection Methods in Text Sentiment Classification -- Placement of Vlsi Fragments Based on A Multilayered Approach -- Genetic Algorithm Approach in Optimizing the Energy Intake for Health Purpose -- Formal Verification and Accelerated Inference -- A Hybrid Approach to Automated Music Composition -- Detection of White Grapes in Natural Environment Using Neural Network as A Classifier -- A Concept of Innovative Speech Interfaces With Augmented Reality and Interactive Systems for Controlling Lifting Devices -- Sentiment Analysis of Customer Reviews Using Robust Hierarchical Bidirectional Recurrent Neural Network -- Binary Image Quality Assessment - A Hybrid Approach Based on Binarization Evaluation Methods -- Biogeography-Based Optimization Algorithm for Solving the Set Covering Problem -- Approaches to Tackle the Nesting Problems -- Lozi Map Generated Initial Population in Analytical Programming -- Comparison of Success Rate of Numerical Weather Prediction Models With Forecasting System of Convective Precipitation -- High Speed, Efficient Area, Low Power Novel Modified Booth Encoder Multiplier for Signed-Unsigned Number -- Mining Customer Behavior in Trial Period of a Web Application Usage - Case Study -- In Search of a Semantic Book Search Engine on the Web: Are we there Yet? …”
Full-text access

Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 3 /

İçindekiler: “…A Vector Space Model Approach for Web Attack Classification Using Machine Learning Technique -- Chapter 39. Formal Verification of Secure Authentication in Wireless Mesh Network (SAWMN) -- Chapter 40. …”
Full-text access