检索结果-内蒙古大学图书馆

2ND INDUSTRIAL ENGINEERING RESEARCH CONF

作者： VILLEGAS, L Purdue Univ West Lafayette United States

ISBN: (纸本)0898061326

This paper covers modeling computer debugging behavior, which is valuable because debugging is still a time consuming part of software development. The eventual goal of this research is to develop an on-line system that can classify debugging behavior an provide feedback. Initial stages of this research are discussed: the Identification and Conceptualization of debugging behavior. The differences observed between novice and experts while debugging three C language programs is outlined. Components of debugging behavior that can be modeled are also discussed.

关键词： computer debugging

来源：评论

学校读者我要写书评

暂无评论

Gensors: Authoring Personalized Visual Sensors with Multimodal Foundation Models and Reasoning 25

Gensors: Authoring Personalized Visual Sensors with Multimod...

引用

30th International Conference on Intelligent User Interfaces, IUI 2025

作者： Liu, Michael Xieyang Petridis, Savvas Tsai, Vivian Fiannaca, Alexander J. Olwal, Alex Terry, Michael Cai, Carrie J. Google DeepMind PittsburghPA United States Google DeepMind New YorkNY United States Google DeepMind Mountain ViewCA United States Google DeepMind SeattleWA United States Google DeepMind CambridgeMA United States

ISBN: (纸本)9798400713064

Multimodal large language models (MLLMs), with their expansive world knowledge and reasoning capabilities, present a unique opportunity for end-users to create personalized AI sensors capable of reasoning about complex situations. A user could describe a desired sensing task in natural language (e.g., "let me know if my toddler is getting into mischief in the living room"), with the MLLM analyzing the camera feed and responding within just seconds. In a formative study, we found that users saw substantial value in defining their own sensors, yet struggled to articulate their unique personal requirements to the model and debug the sensors through prompting alone. To address these challenges, we developed Gensors, a system that empowers users to define customized sensors supported by the reasoning capabilities of MLLMs. Gensors 1) assists users in eliciting requirements through both automatically-generated and manually created sensor criteria, 2) facilitates debugging by allowing users to isolate and test individual criteria in parallel, 3) suggests additional criteria based on user-provided images, and 4) proposes test cases to help users "stress test"sensors on potentially unforeseen scenarios. In a 12-participant user study, users reported significantly greater sense of control, understanding, and ease of communication when defining sensors using Gensors. Beyond addressing model limitations, Gensors supported users in debugging, eliciting requirements, and expressing unique personal requirements to the sensor through criteria-based reasoning;it also helped uncover users' own "blind spots"by exposing overlooked criteria and revealing unanticipated failure modes. Finally, we describe insights into how unique characteristics of MLLMs-such as hallucinations and inconsistent responses-can impact the sensor-creation process. Together, these findings contribute to the design of future MLLM-powered sensing systems that are intuitive and customizable by everyday users. © 20

关键词： computer debugging

来源：评论

学校读者我要写书评

暂无评论

Design and Development for Power Supply Circuit of a Low-Light Detection Imaging System

Design and Development for Power Supply Circuit of a Low-Lig...

引用

2024 Advanced Fiber Laser Conference, AFL 2024

作者： Ailing, Li Yantai Vocational College Yantai China

ISBN: (数字)9781510688889

ISBN: (纸本)9781510688872

The low-light detection remote sensing system is capable of imaging at night and in the morning and evening, which can effectively make up for the shortcomings of conventional satellite dynamic monitoring capability. It can improve China's emergency response speed to major natural disasters and major events, and effectively increase the depth and breadth of the application of earth observation technology in the field of disaster prevention and mitigation. In a pre-project about low-light detection principle prototype development, the Image Intensifier coupled CCD sensor (ICCD) is used as the core imaging device of the low-light detection system, the entire system consists four parts such as a detector ICCD module, the main control and processing unit FPGA module, signal processing circuits and power supply module . Among them, the power supply is used to provide low-noise power for the other three modules. The main control pulse which comes from FPGA of master control processing unit, can drive the detector ICCD. And then the ICCD will get low-light radiation through the optical system and finish photoelectric conversion. Ultimately the low-light detection system can output high-speed digital image signal data. On the basis of fully analyzing the input power ripple, electromagnetic interference generated by the layout and wiring of power supply PCB components and thermal noise generated by heat dissipation on the imaging performance of the low-light detection system, this paper designs a power supply circuit system which combined several DC/DC modules and a variety of LDOs (low-voltage differential voltage regulators). Starting from the selection of components, PCB layout and wiring, power-up sequence design, etc. The single power supply of the satellite platform is converted into 10 kinds of power supply circuits with different load currents, functions and performance requirements, such as +18V, +13.5V, +12V,+11V, +8V, +7V, +5V, +3.3V, +1.5V and -7V. After single-b

关键词： computer debugging

来源：评论

学校读者我要写书评

暂无评论

HawkSet: Automatic, Application-Agnostic, and Efficient Concurrent PM Bug Detection 25

HawkSet: Automatic, Application-Agnostic, and Efficient Conc...

引用

20th European Conference on computer Systems, EuroSys 2025, co-located 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2025

作者： Oliveira, João Gonçalves, João Matos, Miguel IST Lisbon INESC-ID Portugal

ISBN: (纸本)9798400711961

Persistent Memory (PM) enables the development of fast, persistent applications without employing costly HDD/SSD-based I/O operations. Since caches are volatile and CPUs may reorder and stall memory accesses for performance, developers must use low-level instructions to ensure a consistent state in case of a crash. Failure to do so can result in data corruption, data loss, or undefined behavior. In concurrent executions, this exposes a new class of bugs. HawkSet is an automatic, application-agnostic, and efficient tool to detect concurrent PM bugs. HawkSet uses lockset analysis, and automatic binary instrumentation to find all the bugs detected by the state-of-the-art tools and 7 previously unknown bugs. This is achieved without requiring application-specific knowledge or models, nor specialized debugging artifacts or guided executions. Compared to the state-of-the-art, HawkSet offers up to a 159× speedup, and consistently detects harder-to-reach bugs, where a rare interleaving is required. © 2025 Copyright held by the owner/author(s).

关键词： computer debugging

来源：评论

学校读者我要写书评

暂无评论

Model-Based Control for Enhanced Headlamp Performance 1

Model-Based Control for Enhanced Headlamp Performance

引用

1st International Conference on Sustainable Energy Technologies and Computational Intelligence, SETCOM 2025

作者： Shivaraj, Ananya Dhull, Asmi Obulesu, Y.P. Vit School of Electrical Engineering Vellore632014 India

ISBN: (纸本)9798331520540

This paper follows a model-based design approach for the closed-loop headlamp control system, primarily with the purpose of improving luminance control as well as the efficiency of energy consumption in automotive applications. The method is centered around a DC-DC boost converter with high output voltage accuracy to ensure optimal power transfer towards headlamps. It can be directly developed in MATLAB/Simulink, which allows faster prototyping and algorithm testing before hardware is even deployed. The closed-loop feedback mechanism continuously compares output voltage to a setpoint and dynamically adjusts the duty cycle of the converter in real-time to maintain uniform lighting. In addition, the converter is validated through simulation to have stable voltage regulation with minimal overshoot and fast settling times. The hardware implementation of the system is carried out using an STM Nucleo board, which brings the reliability of the Simulink model into practical and real-time implementation. This paper indicates that model-based design offers a proper way of optimizing development time thereby ensuring robust headlamp performance under variable conditions. © 2025 IEEE.

关键词： computer debugging

来源：评论

学校读者我要写书评

暂无评论

Timing Analysis Agent: Autonomous Multi-Corner Multi-Mode (MCMM) Timing debugging with Timing Debug Relation Graph

arXiv

引用

arXiv 2025年

作者： Nainani, Jatin Ho, Chia-Tung Dhurka, Anirudh Ren, Haoxing NVIDIA Research Santa ClaraCA United States NVIDIA Research AustinTX United States

Timing analysis is an essential and demanding verification method for Very Large Scale Integrated (VLSI) circuit design and optimization. In addition, it also serves as the cornerstone of the final sign-off, determining whether the chip is ready to be sent to the semiconductor foundry for fabrication. Recently, as the technology advance relentlessly, smaller metal pitches and the increasing number of devices have led to greater challenges, and longer turn-around-time for experienced human designers to debug timing issues from the Multi-Corner Multi-Mode (MCMM) timing reports. As a result, an efficient and intelligent methodology is highly necessary and essential for debugging timing issues and reduce the turnaround times. Recently, Large Language Models (LLMs) have shown great promise across various tasks in language understanding and interactive decision-making, incorporating reasoning and actions. In this work, we propose a timing analysis agent, that is empowered by multi-LLMs task solving, and incorporates a novel hierarchical planning and solving flow to automate the analysis of timing reports from commercial tool. In addition, we build a Timing Debug Relation Graph (TDRG) that connects the reports with the relationships of debug traces from experienced timing engineers. The timing analysis agent employs the novel Agentic Retrieval Augmented Generation (RAG) approach, that includes agent and coding to retrieve data accurately, on the developed TDRG. In our studies, the proposed timing analysis agent achieves an average 98% pass-rate on a single-report benchmark and a 90% pass-rate for multi-report benchmark from industrial designs, demonstrating its effectiveness and adaptability. © 2025, CC BY.

关键词： computer debugging

来源：评论

学校读者我要写书评

暂无评论

Gensors: Authoring Personalized Visual Sensors with Multimodal Foundation Models and Reasoning

arXiv

引用

arXiv 2025年

Multimodal large language models (MLLMs), with their expansive world knowledge and reasoning capabilities, present a unique opportunity for end-users to create personalized AI sensors capable of reasoning about complex situations. A user could describe a desired sensing task in natural language (e.g., "let me know if my toddler is getting into mischief in the living room"), with the MLLM analyzing the camera feed and responding within just seconds. In a formative study, we found that users saw substantial value in defining their own sensors, yet struggled to articulate their unique personal requirements to the model and debug the sensors through prompting alone. To address these challenges, we developed Gensors, a system that empowers users to define customized sensors supported by the reasoning capabilities of MLLMs. Gensors 1) assists users in eliciting requirements through both automatically-generated and manually created sensor criteria, 2) facilitates debugging by allowing users to isolate and test individual criteria in parallel, 3) suggests additional criteria based on user-provided images, and 4) proposes test cases to help users "stress test" sensors on potentially unforeseen scenarios. In a 12-participant user study, users reported significantly greater sense of control, understanding, and ease of communication when defining sensors using Gensors. Beyond addressing model limitations, Gensors supported users in debugging, eliciting requirements, and expressing unique personal requirements to the sensor through criteria-based reasoning;it also helped uncover users’ own "blind spots" by exposing overlooked criteria and revealing unanticipated failure modes. Finally, we describe insights into how unique characteristics of MLLMs–such as hallucinations and inconsistent responses–can impact the sensor-creation process. Together, these findings contribute to the design of future MLLM-powered sensing systems that are intuitive and customizable by everyday users. ©

关键词： computer debugging

来源：评论

学校读者我要写书评

暂无评论

Emerging on-chip debugging techniques for real-time embedded systems

引用

COMPUTING & CONTROL ENGINEERING JOURNAL 2000年第6期11卷 295-303页

作者： MacNamee, C Heffernan, D Univ Limerick Dept Elect & Comp Engn Limerick Ireland Univ Limerick Area Fieldbus & Control Network Dev Res Grp Limerick Ireland

The increased clock frequencies and higher integration levels of today's high-performance embedded microcontrollers have led to the widespread incorporation of on-chip debugging logic into new microcontroller chip designs. The newly defined standard for embedded system debugging, the IEEE-ISTO Nexus 5001 Forum Standard for a Global Embedded Debug Interface, is introduced and is related to the test and debugging requirements of development engineers.

关键词： microcontrollers computer architecture high-performance embedded microcontrollers Microprocessor chips real-time embedded systems embedded systems embedded system debugging Performance evaluation and testing IEEE-ISTO Nexus 5001 Forum Standard Systems analysis and programming debugging requirements IEEE standards integration levels Global Embedded Debug Interface clock frequencies computer debugging on-ship debugging techniques development engineers microcontroller chip designs on-chip debugging logic Diagnostic, testing, debugging and evaluating systems

来源：评论

学校读者我要写书评

暂无评论

On-board programming enhances in-circuit test

EE-EVALUATION ENGINEERING

引用

EE-EVALUATION ENGINEERING 1998年第6期37卷 22-+页

作者： Keahey, J Bagdy, M Hewlett Packard Mfg Test Div Loveland CO 80537 USA

Worldwide markets are continuing to demand increases in functionality with decreases in the size and cost of electronic products. Making the most of flash memory helps manufacturers meet these demands. Because flash-programming algorithms continue to improve programming speeds, in-line programming is practical. On-board programming (OBP) is superior to off-line flash programmers because it simplifies production processes and reduces component damage and manufacturing costs.

关键词： computer debugging

来源：评论

学校读者我要写书评

暂无评论

Self-diagnostic tools of the APEmille parallel machine

引用

IEE PROCEEDINGS-computerS AND DIGITAL TECHNIQUES 2002年第6期149卷 273-279页

作者： Chessa, S Errico, W Maestrini, P Sallay, B Schifano, F Tripiccione, R CNR Ist Elaboraz Informaz Area Ric I-56124 Pisa Italy Univ Pisa Dipartimento Informat I-56127 Pisa Italy Ist Nazl Fis Nucl Pisa Italy Univ Ferrara Dipartimento Fis I-44100 Ferrara Italy

The authors describe the self-diagnostic tools of the APEmille SIMD machine, whose logical architecture is a three-dimensional torus of processors. The tools are aimed at implementing system-level diagnosis using a comparison model. The diagnostic model accounts for some critical features of the APEmille architecture, and has been validated by means of VHDL simulation. Essentially, diagnostic tools force all processors to synchronously execute the same test program using the same data set, and compare the outputs of adjacent processors in real time. The diagnostic tools also implement a preliminary test session aimed at covering faults that might disrupt the comparison model. The diagnosis algorithm and the test programs used in comparison tests are also described.

关键词： parallel machines APEmille SIMD machine torus of processors Parallel architecture Multiprocessing systems self-diagnostic tools fault-tolerance diagnostic tools VHDL simulation computer debugging hardware description languages Performance evaluation and testing logical architecture fault tolerant computing Hardware-software codesign

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：