国家科技图书文献中心 石家庄服务站
首页
资源导航
特色服务
知识发现
关于我们
检索
代查代借

检索历史
浏览历史

订阅
收藏
0 申请单

个人中心
账号设置
充值
全部 |
  • 全部
  • 题名
  • 关键词
  • NSTL主题词
  • 摘要
  • 会议名称
  • 论文-出处
  • 论文-作者
  • 论文-机构
  • 论文-DOI
  • 会议-出版者
  • 会议-出版地
  • 会议-主编
  • 会议-主办单位
  • 会议-举办地
  • ISSN
  • EISSN
  • ISBN
  • EISBN
检索 搜索会议录 二次检索 AI检索
高级检索
外文文献 中文文献
筛选条件：

共搜索到35062条信息
?

1. Software testing strategies and release decisions with S-shaped growth models under different statistical confidence intervals NSTL国家科技图书文献中心

C.C. Fang |  C.C. Hsu -  《Third International Conference on Electrical,Electronics,and Information Engineering (EEIE 2024)》 -  International Conference on Electrical,Electronics,and Information Engineering - 2025, - 135120U.1～135120U.8 - 共8页

摘要：In the software industry, Software Reliability |  manager to determine the optimal timing for software |  software errors. This limitation can impede their ability |  software system. Consequently, the practical application |  Growth Models (SRGMs) with confidence intervals (C.I
关键词： Software reliability growth model |  Stochastic differential equations |  Confidence intervals
文献传递获取全文
文献传递
收藏

2. A Graph-Based Approach for Software Functionality Classification on the Web NSTL国家科技图书文献中心

Yinhao Jiang |  Michael Bewong... -  《Web Information Systems Engineering - WISE 2024,Part V》 -  International Conference on Web Information Systems Engineering - 2025, - 58～73 - 共16页

摘要： elevate the security and reliability of software package |  within software supply chains, the precise |  classification of software package functionalities is essential |  relationships and functionalities in software packages | -based software ecosystems.
关键词： Software supply chain |  Package classification |  Heterogeneous information network |  Cybersecurity
文献传递获取全文
文献传递
收藏

3. An Approach to Cognitive Root Cause Analysis of Software Vulnerabilities NSTL国家科技图书文献中心

Theo Hytopoulos |  Marvin Chan... -  《Product-Focused Software Process Improvement》 -  International Conference on Product-Focused Software Process Improvement - 2025, - 11～26 - 共16页

摘要：Understanding the root causes of software |  preventative measures. Given that software development is |  stand out as a significant contributor to software |  analysis focus on software faults associated with |  in understanding how software vulnerabilities stem
关键词： Root cause analysis |  Software vulnerability |  Cognitive analysis |  Human error |  Software process improvement
文献传递获取全文
文献传递
收藏

4. An efficient formal verification method for concurrent programs NSTL国家科技图书文献中心

Jianyu Zhang |  Long Zhang... -  《Fourth International Conference on Network Communication and Information Security (ICNCIS 2024)》 -  International Conference on Network Communication and Information Security - 2025, - 135161C.1～135161C.9 - 共9页

摘要： for ensuring the safety and reliability of software |  security and dependability of software. Formal methods | Formal methods (FM) are a pivotal technology |  systems. These methods are centered around the |  application of precise mathematical principles to verify the
关键词： Program reliability |  Formal methods |  Concurrent program verification |  Large language models
文献传递获取全文
文献传递
收藏

5. LNE Uncertainty: A user-friendly software for a validated implementation of the Guide to the Expression of Uncertainty in Measurement NSTL国家科技图书文献中心

S. Marmin |  L. Coquelin... -  《Advanced Mathematical and Computational Tools in Metrology and Testing XIII》 -  Advanced Mathematical and Computational Tools in Metrology conference - 2025, - 223～230 - 共8页

摘要： ensure reliability. The software, a standalone |  goodness of fit tests. The software has been developed | LNE Uncertainty allows for the evaluation of |  measurement uncertainties by propagating variances or |  distributions in accordance with the GUM and GUM Supplement 1
关键词： Measurement uncertainty |  Software |  Monte-Carlo method |  Sensitivity analysis
文献传递获取全文
文献传递
收藏

6. Exploring Hidden Behaviors in OpenMP Multi-threaded Applications for Anomaly Detection in HPC Environments NSTL国家科技图书文献中心

Biswajit Bhowmik |  K. K. Girish... -  《Distributed Computing and Internet Technology》 -  International Conference on Distributed Computing and Internet Technology - 2025, - 61～67 - 共7页

摘要： due to resource conflicts, software inefficiencies |  reliability. This paper introduces an innovative approach | In high-performance computing (HPC), multi | -threaded applications using OpenMP face complex |  challenges in identifying hidden performance issues, often
关键词： High performance computing (HPC) |  OpenMP |  Random forest |  Anthropomorphic diagnosis |  Performance issues |  System efficiency
文献传递获取全文
文献传递
收藏

7. Client-Specific Homogeneous Service Composition at Runtime for QoS-Critical Tasks NSTL国家科技图书文献中心

Zhengquan Li |  Long Cheng... -  《Service-Oriented Computing,Part II》 -  International Conference on Service-Oriented Computing - 2025, - 87～95 - 共9页

摘要： software, providing diverse data and functionalities |  delivery (e.g., latency and reliability), which services |  latency and reliability. However, this approach |  reliability to 100%, reducing average latency by 7% and tail | Web services are widely used in modern
关键词： Quality of service |  Service composition |  Latency optimization
文献传递获取全文
文献传递
收藏

8. A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification NSTL国家科技图书文献中心

Diego Ferreira |  Lucas Lima -  《Formal Methods》 -  Brazilian Symposium on Formal Methods - 2025, - 49～67 - 共19页

摘要：The increasing complexity of software systems |  verification methodologies to ensure reliability and | , especially in safety-critical domains, requires rigorous |  correctness. This paper presents a semantics for UML state |  machines using the formal language CSP to support
关键词： State machine |  Semantic |  Deadlock |  Nondeterminism |  CSP
文献传递获取全文
文献传递
收藏

9. AI-Based Automotive Test Case Generation: An Action Research Study on Integration of Generative AI into Test Automation Frameworks NSTL国家科技图书文献中心

Albin Karlsson |  Erik Lindmaa... -  《Product-Focused Software Process Improvement》 -  International Conference on Product-Focused Software Process Improvement - 2025, - 50～66 - 共17页

摘要：Generative AI is transforming software |  in terms of reliability and robustness. Using an |  development, particularly in unit and regression testing | . However, it's rarely used in Hardware-in-the-Loop (HIL | ) testing due to hardware-specific environments. This
关键词： Generative AI |  Testcase generation |  Hardware-in-the-Loop (HIL) testing |  Test automation framework (TAF)
文献传递获取全文
文献传递
收藏

10. Design of Rotary Cryocoolers Drive Control System Based on FPGA NSTL国家科技图书文献中心

Fei Wang |  Junbo Su... -  《Fourth International Computational Imaging Conference (CITA 2024),Part One of Two Parts》 -  International Computational Imaging Conference - 2025, - 135422Y.1～135422Y.8 - 共8页

摘要：, thereby enhancing system reliability and response speed |  performance. In software, a BLDC motor drive method based on |  while enhancing reliability and responsiveness. This | Cooled infrared detectors are the core |  components of high-performance infrared systems, utilizing
关键词： IR detector |  Rotary cryocooler |  FPGA |  Cryocooler control electronics |  SWaP
文献传递获取全文
文献传递
收藏

相关推荐

检索结果集分析
检索结果集分析
结构化综述分析
检索条件Software reliability

  • 检索词扩展

NSTL主题词

  • NSTL学科导航

服务站

成员单位

友情链接

NSTL官方微信

官方微信

NSTL安卓APP

安卓APP

服务热线：

4008-161-200 800-990-8900

国家科技图书文献中心

国家科技图书文献中心

京ICP备10027328号

© Copyright(C)2023 NSTL.All Rights Reserved 版权所有

石家庄服务站

0311-85813912；0311-85813908service@nstl.gov.cn

地址：石家庄市青园街233号 河北省科学技术情报研究院

页面总访问量：7956313