Arama Sonuçları - ("bugging" OR "debugging")

Ugly bugs : and, Nasty nature / Yazar: Arnold, Nick

The Big Bug Search / Yazar: Young, Caroline

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

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

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

Katı olan herşey buharlaşıyor : modernite deneyimi / Yazar: Berman, Marshall

“…♯ʻleti¿im yay♯łnlar♯ł ; Bug©ơn©ơn kitaplar♯ł ; 23.…”

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

İçindekiler: “…New Trends in SoC Verification: UVM, Bug Localization, Scan-Chain-Based Methodology, GA-Based Test Generation -- 7. …”
Full-text access

5th International Symposium on Data Mining Applications

İçindekiler: “…A Benchmark Collection for Program Objectives Mapping to ABET Outcomes: Accreditation -- 7. Bug Reports Evolution in Open Source System -- 8. …”
Full-text access

Principles of Performance and Reliability Modeling and Evaluation Essays in Honor of Kishor Trivedi on his 70th Birthday /

İçindekiler: “…Phase Type and Matrix Exponential Distributions in Stochastic Modelling -- Constant-Stress Accelerated Life-Test Models and Data Analysis for One-Shot Devices -- From Performability to Uncertainty -- Managed dependability in interacting systems -- Modeling Availability Impact in Cloud Computing -- Reliability Analysis of a Cloud Computing System with Replication -- Combined Simulation and Testing Based on Standard UML Models -- Reproducibility of Software Bugs -- Measuring the Resiliency of Extreme-Scale Computing Environments.…”
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

Practical Issues of Intelligent Innovations

İçindekiler: “…Non-conventional Control Design by Sigmoid Generated Fixed Point Transformation using Fuzzy Approximation -- Network Flows and Risks -- Personal Assistants in a Virtual Education Space -- Responsive Production in Manufacturing: A Modular Architecture -- Multisensor Data Association by Using the Polar Hough Transform -- Extracting Knowledge and Realizing Services from Bug Report Data -- Scientific Research Funding Criteria: An Empirical Study of Peer Review and Scientometrics -- Clustering Non-Gaussian Data Using Mixture Estimation with Uniform Components.…”
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

International Conference on Innovative Computing and Communications Proceedings of ICICC 2018, Volume 2 /

İçindekiler: “…An Optimization Technique for Unsupervised Automatic Extractive Bug Report Summarization -- Prediction of Air Quality Using Time Series Data Mining -- Stress Analysis Using Speech Signal -- Leaf identification using HOG, KNN and Neural Networks -- Information Retrieval on Green Mining Dataset using Divergence from Randomness Models -- Arrhenius Artificial Bee Colony Algorithm -- Big Data in Health Care -- Halftoning Algorithm Using Pull Based Error Diffusion Technique -- Towards an Evolved Information Food Chain of World Wide Web and Taxonomy of Semantic Web Mining -- Topic Oriented Multi Document Summarization Using LSA, Syntactic and Semantic Features -- A Novel Framework for Automated Energy Meter Reading and Theft Detection -- Comparative Analysis of Privacy Preserving Data Mining Techniques.…”
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

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

İçindekiler: “…Dealing with Missing Values in Software Project Datasets: A Systematic Mapping Study -- Testing and Code Review Based Effort-Aware Bug Prediction Model -- Improving the Efficiency of Schedulability Tests for Fixed Priority Preemptive Systems -- A GPU Accelerated Finite Differences Method of the Bioheat Transfer Equation for Ultrasound Thermal Ablation -- Justifying the Transition from Trustworthiness to Resiliency via Generation of Safety Cases -- Selectand Test (ST) Algorithm for Medical Diagnostic Reasoning -- Opportunities ahead the Future Mobile Learning -- A Design of Context-Aware Framework for Conditional Preferences of Group of Users -- Design of Decentralized Inter-Cell Interference Coordination Scheme in LTE Downlink System -- Toward Flow-Based Ontology -- Mobile Component Integration Agent (MCIA) for Social Business Application -- Covariance Estimation for Vertically Partitioned Data in a Distributed Environment -- Detection of Dengue Epidemic in Dhaka, Bangladesh by a Neuro Fuzzy Approach -- MIMO Antenna Design for Future 5G Wireless Communication Systems.…”
Full-text access

Computational Science/Intelligence and Applied Informatics

İçindekiler: “…Proposed Framework Application for a Quality Mobile Application Measurement and Evaluation -- Proposal and Development of Artificial Personality (AP) application using the "Requesting" Mechanism -- Load Experiment of the vDACS Scheme in case of the 300 Simultaneous Connection -- Hearing-Dog Robot to wake People up using its Bumping Action -- Implementation of Document Production Support System with Obsession Mechanism -- Detecting Outliners in Terms of Errors in Embedded Software Development Projects Using Imbalance Data Classification -- Development of Congestion State Guiding System for University Cafeteria -- Analog Learning Neural Circuit with Switched Capacitor and the Design of Deep Learning Model -- Study on Category Classification of Conversation Document in Psychological Counseling with Machine Learning -- Improvement of "Multiple Sightseeing Spot Scheduling System" -- Advertising in the Webtoon of Cosmetics Brand -Focusing on 'tn' Youth Cosmetics Brands -- Testing Driven Development ofMobile Application using Automatic Bug Management Systems -- Shape Recovery of Polyp from Endoscope Image Using Blood Vessel Information -- Design of Agent Development Framework for RoboCupRescue Simulation.…”
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