Search Results - "bugging"

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

The Big Bug Search / by Young, Caroline

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

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

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

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

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

Table of Contents: “…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

Embedded Software Verification and Debugging

Table of Contents: “…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

Practical Issues of Intelligent Innovations

Table of Contents: “…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

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

Table of Contents: “…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

5th International Symposium on Data Mining Applications

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

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

Table of Contents: “…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

Table of Contents: “…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

Proceedings of the 5th International Conference on Frontiers in Intelligent Computing: Theory and Applications FICTA 2016, Volume 1 /

Table of Contents: “…Load Flow Analysis of Distribution System by Using Artificial Neural Networks -- Chapter 52. An Enhanced Bug Miningfor Identifying Frequent Bug Pattern Using Word Tokenizer and FP-Growth -- Chapter 53. …”
Full-text access

Dependability Engineering and Complex Systems Proceedings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunó...

Table of Contents: “…Multiclass SVM/HMM Vowels Recognition System Towards Improving Human Computer Interaction -- Numerical Simulation of the Passenger Side Airbag Deployment in Out-of-Position -- Critical Infrastructure Protection - How to Assess the Protection Efficiency -- Selection of Metrics for the Defect Prediction -- Hybrid Generalized Additive Wavelet-Neuro-Fuzzy-System and its Adaptive Learning -- Data Mining Algorithms in the Analysis of Security Logs from a Honeypot System -- About Synergy of Flows on Flower -- Estimation of Travel Time in the City Based on Intelligent Transportation System Traffic Data with the Use of Neural Networks -- Evaluation of Deletion Mutation Operators in Mutation Testing of C# Programs -- Tracing Life Cycle of Software Bugs -- Modification of Neural Network Tsang-Wang in Algorithm for CAD of Complex Systems with Higher Degree of Dependability -- Simulation and Experimental Analysis of Quality Control of Vehicle Brake Systems Using Flat Plate Tester -- Analytical Identification of Parameters Influencing Measurement Quality Using Flat Brake Tester -- Arithmetic in Finite Fields Supporting Type-2 or Type-3 Optimal Normal Bases -- Stochastic Runge-Kutta Software Package for Stochastic Differential Equations -- The Assessment Method of the Organization of Municipal Waste Collection Zones -- NuSMV Model Verification of an Airport Traffic Control System with Deontic Rules -- Semi-Markov Model of Damage Process -- The Problem of Tyre Footprint Width Estimation by Fibre Optic WIM Sensors in Condition of Geometric Complexity -- Study of Dependencies Between Concrete Deterioration Parameters of Fly Ash-Based Specimens -- Influence of Data Uncertainty on The Optimum Inspection Period in a Multi-Unit System Maintained According to the Block Inspection Policy -- Effectiveness of Redundancy in Communication Network of Air Traffic Management System -- Resilience Assurance for Software-Based Space Systems with Online Patching: Two Cases -- A Mathematical Model to Regulate Roads Traffic in Order to Decongest the Urban Areas of Constantine City -- The Use of a Simulation Model of the Passenger Boarding Process to Estimate the Time of its Implementation Using Various Strategies -- WLAN System with Iterative Decoding of OFDM Multi-Symbols -- Context Information in a Collaborative Recommender System Deployed in Real Environment -- The Concept of the Effective Multi-Channel CSMA/CA Detector -- Clustering Context Items into User Trust Levels -- Dependability Metrics for Network Systems - Analytical and Experimental Analysis -- Assessing the Costs of Losses Incurred as a Result of Failure -- Impulse Transmission Model of Macroeconomic Cycle within the Framework of the Theory of Shocks: Aspect of Economic Security -- Multi-agent Systems for Intelligent Retrieval and Processing of Information.…”
Full-text access

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

Full-text access

Post-Silicon Validation and Debug

Full-text access

Future Foods How Modern Science Is Transforming the Way We Eat / by McClements, David Julian

Full-text access