Arama Sonuçları - "debugging"

Post-Silicon Validation and Debug

İçindekiler: “…Conclusion and Future Directions -- SoC Security versus Post-Silicon Debug Conflict -- The Future of Post-Silicon Debug.…”
Full-text access

Embedded Software Verification and Debugging

İçindekiler: “…An Overview about Debugging and Verification Techniques for Embedded Software -- Embedded Software Debug in Simulation and Emulation Environments for Interface IP -- The Use of Dynamic Temporal Assertions for Debugging -- Automated Reproduction and Analysis of Bugs in Embedded Software -- Model-Based Debugging of Embedded Software Systems -- A Mechanism for Monitoring Driver-Device Communication -- Model Checking Embedded C Software using k-Induction and Invariants -- Scalable and Optimized Hybrid Verification of Embedded Software -- .…”
Full-text access

Fundamentals of IP and SoC Security Design, Verification, and Debug /

İçindekiler: “…Introduction -- Security Validation -- SoC Security and Debug -- IP Trust: The Problem and Design/Validation based Solution -- Security of Crypto IP Core: Issues and Countermeasures -- PUF-Based Authentication -- FPGA-based IP and SoC Security -- Physical Unclonable Functions and Intellectual Property Protection Techniques -- A Systematic Approach to Fault-Attack Resistant Design -- Hardware Trojan Attacks and Countermeasures -- In-place Logic Obfuscation for Emerging Nonvolatile FPGAs -- Security Standards for Embedded Devices and Systems -- Conclusion.…”
Full-text access

Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog / Yazar: Taraate, Vaibbhav

İçindekiler: “…Introduction -- SOC Design -- RTL Design Guidelines -- RTL Design and Verification -- Processor cores and Architecture design -- Buses and protocols in SOC designs -- DSP Algorithms and Video Processing -- ASIC and FPGA Synthesis -- Static Timing Analysis -- SOC Prototyping -- SOC Prototyping guidelines -- Design Integration and SOC synthesis -- Interconnect delays and Timing -- SOC Prototyping and debug techniques -- Testing at the board level.…”
Full-text access

Nanometer CMOS ICs From Basics to ASICs / Yazar: J.M. Veendrick, Harry

İçindekiler: “…Basic Principles -- Geometrical-, Physical- and Field-Scaling Impact on MOS Transistor Behavior -- Manufacture of MOS Devices -- CMOS Circuits -- Special Circuits, Devices and Technologies -- Memories -- Very Large Scale Integration (VLSI) and ASICs -- Low Power, a Hot Topic in IC Design -- Robustness of Nanometer CMOS Designs: Signal Integrity, Variability and Reliability -- Testing, Yield, Packaging, Debug and Failure Analysis -- Effects of Scaling on MOS IC Design and Consequences for the Roadmap.…”
Full-text access

Security Policy in System-on-Chip Designs Specification, Implementation and Verification / Yazar: Ray, Sandip, Basak, Abhishek, Bhunia, Swarup

İçindekiler: “…Chapter1: SoC Security Policies: The State of the Practice -- Chapter2: E-IIPS: A Centralized Policy Implementation Architecture -- Chapter3: Exploiting Design-for-Debug in SoC Security Policy Architecture -- Chapter4: Security Assurance in SoC in presence of Untrusted IP Blocks -- Chapter5: A Move Towards a Hardware Patch -- Chapter6: SoC Security Policy Verification -- Chapter7: SoC Security Policies: Summary and Future Directions.…”
Full-text access

Fault Diagnosis of Dynamic Systems Quantitative and Qualitative Approaches /

İçindekiler: “…Introduction and Fundamental Concepts -- Case Studies -- Part I: Standard Approaches -- Structural Analysis -- The FDI Approach -- The DX Approach -- Bridge: Integration of FDI and DX Approaches -- Data-Driven Fault Diagnosis -- Discrete-Event Systems Fault Diagnosis -- Part II: Advanced Approaches -- Modelling and Estimation Strategies for Fault Diagnosis of Non-Linear Systems -- Model-Based Diagnosis with Probabilistic Models -- Qualitative Modeling for Fault Diagnosis -- Model Based Fault Diagnosis of Hybrid Systems -- Model-Based Software Debugging -- Diagnosing Business Processes -- Prognosis.…”
Full-text access

Pharmaceutical Supply Chains - Medicines Shortages

İçindekiler: “…From the contents: The European Medicines Shortages Research Network and its mission to strategically debug disrupted pharmaceutical supply chains -- Design and Planning of Sustainable Vaccine Supply Chains -- Drug shortages and their impact on patients and health care system - how can systemic and organizational frameworks help to prevent or mitigate them? …”
Full-text access

5th International Symposium on Data Mining Applications

İçindekiler: “…Analysis of Call Detail Records for Understanding Users Behavior and Anomaly Detection Using Neo4j -- 9.Empirical Analysis of Static Code Metrics for Predicting Risk Scores in Android Applications -- 10.Toward Stream Analysis of Software Debugging Data.…”
Full-text access

IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection / Yazar: Mohamed, Khaled Salah

Full-text access

Decentralized Neural Control: Application to Robotics Yazar: Garcia-Hernandez, Ramon, Lopez-Franco, Michel, Sanchez, Edgar N., Alanis, Alma y., Ruz-Hernandez, Jose A.

Full-text access

Computer Communication, Networking and Internet Security Proceedings of IC3T 2016 /

İçindekiler: “…Internet of Things & Wireless Physical Layer Security: A Survey -- Approach Towards increasing efficiency of communication protocol in wireless sensor network using modified routing protocol -- Privacy Preservation in Cloud Computing with Double Encryption Method -- A Machine learning based approach for Opinion Mining on Social Network Data -- Congestion Control Mechanism for Real Time Traffic in Mobile Adhoc Networks -- Correction of Ocular Artifacts from EEG by DWT with an Improved Thresholding -- EGRP: Enhanced Geographical Routing protocol for Vehicular Adhoc Networks -- PAPR Performance Analysis of Unitary transforms in SLM-OFDM for WLAN 802.11a Mobile terminals -- Optimal Sensing Time allocation for Energy Efficient Data Transmission in Amplify-Forward Cognitive Relay Assisted Network -- Data Privacy in Online Shopping -- Design and Performance of Resonant Spacing Linear Patch Array with Quarter wave transformer feed Network for Wireless Applications -- Performance analysis of PUEA and SSDF attacks in Cognitive Radio Networks -- Design of a 3.4 GHz Wide-Tuning-Range VCO in 0.18 µm CMOS -- A New Iterative Hybrid Edge Technique Using Image Mosaic -- Performance of Optimized Reversible Vedic Multipliers -- Improved In-System Debugging of High Level Synthesis Generated FPGA Circuits -- Congestion Control Mechanism for Real Time Traffic in Mobile Adhoc Networks -- Impact of Facebook’s Check-in Feature on Users of Social Networking Sites -- A Novel Congestion Control Scheme in VANET.…”
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

Mastering C++ multithreading : a comprehensive guide to developing effective multithreading applications in C++ / Yazar: Posch, Maya

Full-text access

Advances in Dependability Engineering of Complex Systems Proceedings of the Twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2 - 6, 2017,...

İçindekiler: “…Zarandi -- 16.Comparative analysis of calculations in cryptographic protocols using a combination of different bases of finite fields -- 17.Dynamic Redundancy in Communication Network of Air Traffic Management System -- 18.Availability models and maintenance strategies for smart building automation systems considering attacks on component vulnerabilities -- 19.Concept of multi-criteria evaluation of the airport security control process -- 20.Extending Continuous Integration with post-mortem debug automation of unhandled exceptions occurred in kernel or user mode applications -- 21.The Methodology of Studying of Active Traffic Management Module Self-Oscillation Regime -- 22.Effectiveness examination of a multi-channel CSMA/CA detector -- 23.IaaS vs. traditional hosting for web applications - cost effectiveness analysis for a local market -- 24.High quality stabilization of an inverted pendulum using the controller based on trigonometric function -- 25.The application of RFID technology in supporting the process of reliable identification of objects in video surveillance systems -- 26.Aspect-oriented management of service requests for assurance of high performance and dependability -- 27.Process of mobile application development from the security perspective -- 28.Managing and Enhancing Performance Benchmarks;Jakub Maleszewski and Janusz Sosnowski -- 29.Reliability Optimization for Controller Placement in Software-Defined Networks -- 30.Agent Approach to Network Systems Experimental Analysis in Case of Critical Situations -- 31.RELIABILITY ASSESSMENT OF DRIVING SYSTEMS OF CITY BUSES;Marek M³yñczak -- 32.Testing the significance of parameters of models estimating execution time of parallel program loops according to the Open MPI standard -- 33.On application of regime-switching models for short-term traffic flow forecasting -- 34.Critical information infrastructure protection model and methodology -- 35.The method of creating players in the marketing strategy;Henryk Piech -- 36.Principles of mobile walking robot control in scope of technical monitoring tasks -- 37.Computer Systems - Simple -- 38.Improving FPGA Implementations of BLAKE and BLAKE2 Algorithms with Memory Resources -- 39.Assurance Case Patterns On-line Catalogue;Monika Szczygielska and Aleksander Jarzêbowicz -- 40.Information system as a cause of cargo handling process disruption in intermodal terminal -- 42.Stability Enhancement Against Fluctuations in Complex Networks by Optimal Bandwidth Allocation -- 43.The scope of the collected data for a holistic risk assessment performance in the road freight transport companies -- 44.Language Processing Modelling Notation - orchestration of NLP microservices -- 45.Type Variety Principle and the Algorithm of Strategic Planning of Diversified Portfolio of Electricity Generation Sources.…”
Full-text access

Proceedings of Fifth International Conference on Soft Computing for Problem Solving SocProS 2015, Volume 1 /

İçindekiler: “…A Genetic Algorithm Based Scheduling Algorithm for Grid Computing Environments -- Chapter 14.Effect of Imperfect Debugging on Prediction of Remaining Faults in Software -- Chapter 15. …”
Full-text access

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014 /

Full-text access

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /

Full-text access

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications / Yazar: Mehta, Ashok B.

Full-text access