验证码:

换一张

忘记密码？记住我

取消登录

统一认证登录

取消

中文版 | English

上海科技大学知识管理系统

ShanghaiTech University Knowledge Management System

统一认证登录登录注册

图片搜索

粘贴图片网址

首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
知识整合
学习讨论厅

在结果中检索

研究单元&专题

信息科学与技术学院 [14]

科道书院 [1]

作者

文献类型

会议论文 [7]

期刊论文 [6]

发表日期

出处

ACM TRANSA... [1]

FPGA 2023 ... [1]

IEEE INTER... [1]

IEEE TRANS... [1]

IEEE TRANS... [1]

语种

资助项目

NSA Scienc... [1]

NSF[CNS151... [1]

National S... [1]

null[CNS11... [1]

资助机构

收录类别

EI [13]

SCI [3]

知识图谱

KMS

浏览/检索结果: 共14条，第1-10条

帮助

已选(0)清除条数/页：排序方式：
	Efficient Detection of Toxic Prompts in Large Language Models 会议论文 PROCEEDINGS OF THE 39TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, Sacramento, CA, USA, October 28, 2024 - November 1, 2024 作者: Liu, Yi; Yu, Junzhe Adobe PDF(3662Kb) \| 收藏 \| 浏览/下载：344/8 \| 提交时间：2024/09/08 Modeling languages Natural language processing systems Problem oriented languages Program debugging Steganography Black boxes Chatbots Detection methods Efficient detection Grey-box High-accuracy Language model Language processing Natural languages Safety mechanisms
	Self-Supervised Machine Learning Framework for Online Container Security Attack Detection 期刊论文 ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2024, 卷号: 19, 期号: 3 作者: Tunde-Onadele, Olufogorehan; Lin, Yuhang; Gu, Xiaohui; He, Jingzhu; Latapie, Hugo Adobe PDF(22391Kb) \| 收藏 \| 浏览/下载：229/3 \| 提交时间：2024/10/25 Adversarial machine learning Contrastive Learning Federated learning Semi-supervised learning Unsupervised learning Additional key word and phrasesperformance debugging Attack detection Causal analysis Hybrid learning Key words Learning frameworks Learning schemes Microservice Security attacks Supervised machine learning
	Valkyrie: Improving fuzzing performance through deterministic techniques 期刊论文 JOURNAL OF SYSTEMS AND SOFTWARE, 2024, 卷号: 209 作者: Rong, Yuyang; Zhang, Chibin; Liu, Jianzhong; Chen, Hao Adobe PDF(1094Kb) \| 收藏 \| 浏览/下载：227/0 \| 提交时间：2024/02/23 Heuristic programming Integer programming Program debugging Branch-coverage Deterministic technique Dynamics analysis Fuzzing Grey-box Performance Randomized Algorithms Real world projects State of the art Vulnerability detection
	Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution 会议论文 PROCEEDINGS - IEEE SYMPOSIUM ON SECURITY AND PRIVACY, San Francisco, CA, United states, May 20, 2024 - May 23, 2024 作者: Ye, Zhe; Misra, Ujval Adobe PDF(824Kb) \| 收藏 \| 浏览/下载：245/42 \| 提交时间：2024/10/11 Blockchain Program debugging Block-chain Client software Delegating computation Dispute resolution protocols Failure risk High level semantics Monolithics N version programming Optimistics State of the art
	Design of SystemVerilog Assertions Hardware Towards Efficient Processor Functional Verification 期刊论文 JISUANJI YANJIU YU FAZHAN/COMPUTER RESEARCH AND DEVELOPMENT, 2024, 卷号: 61, 期号: 6, 页码: 1436-1449 作者: Zhang, Ziqing; Shi, Kan; Xu, Shuoxiang; Wang, Lianghui; Bao, Yungang Adobe PDF(1427Kb) \| 收藏 \| 浏览/下载：191/0 \| 提交时间：2024/08/09 Computer software Efficiency Integrated circuit design Program debugging Verification Assertion Fine grained Functional verification Hardware simulation Processor verification Prototyping Software simulation SystemVerilog SystemVerilog assertions Verification process
	RefSCAT: Formal Verification of Logic-Optimized Multipliers via Automated Reference Multiplier Generation and SCA-SAT Synergy 期刊论文 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 卷号: PP, 期号: 99, 页码: 1-1 作者: Rui Li; Lin Li; Heng Yu; Masahiro Fujita; Weixiong Jiang Adobe PDF(6854Kb) \| 收藏 \| 浏览/下载：322/10 \| 提交时间：2024/08/26 Benchmarking Boolean functions Constraint satisfaction problems Integer programming Multiplying circuits Program debugging Reverse engineering Software design Trees (mathematics) Binary decision Binary decision diagram Computer algebra Decision diagram Logic Logic-optimized multiplier Optimisations Satisfiability Symbolic computer algebra
	Towards Automatically Localizing Function Errors in Mobile Apps With User Reviews 期刊论文 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2023, 卷号: 49, 期号: 4, 页码: 1464-1486 作者: Le Yu; Haoyu Wang; Xiapu Luo; Tao Zhang; Kang Liu Adobe PDF(1237Kb) \| 收藏 \| 浏览/下载：421/0 \| 提交时间：2023/05/19 Codes (symbols) Program debugging Semantics Sentiment analysis Error localization Error prones Function error localization Matchings Mobile app Requirement engineering Research focus Sentiment analysis Source files User reviews
	ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration 会议论文 FPGA 2023 - PROCEEDINGS OF THE 2023 ACM/SIGDA INTERNATIONAL SYMPOSIUM ON FIELD PROGRAMMABLE GATE ARRAYS, Monterey, CA, United states, February 12, 2023 - February 14, 2023 作者: Shi, Kan; Xu, Shuoxiang; Diao, Yuhan; Boland, David; Bao, Yungang Adobe PDF(2773Kb) \| 收藏 \| 浏览/下载：365/1 \| 提交时间：2023/03/10 enchmarking Design for testability Integrated circuit design Program debugging Software testing Visibility Debugging Design under tests Development cycle Efficient architecture Emulation Fpgum Hardware development Reference modeling Software simulation Verification framework
	AIRS: Explanation for Deep Reinforcement Learning based Security Applications 会议论文 PROCEEDINGS OF THE 32ND USENIX SECURITY SYMPOSIUM, Anaheim, CA, United states, August 9, 2023 - August 11, 2023 作者: Adobe PDF(14048Kb) \| 收藏 \| 浏览/下载：589/0 \| 提交时间：2023/04/19 Deep learning Efficiency Learning systems Program debugging 'current Block-chain Important features Machine learning methods Malwares Modeling decisions Reinforcement learning agent Reinforcement learning models Reinforcement learnings Security application
	Valkyrie: Improving Fuzzing Performance Through Deterministic Techniques 会议论文 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, Virtual, Online, China, December 5, 2022 - December 9, 2022 作者: Rong, Yuyang; Zhang, Chibin; Liu, Jianzhong; Chen, Hao Adobe PDF(1357Kb) \| 收藏 \| 浏览/下载：164/0 \| 提交时间：2023/04/28 Program debugging Branch-coverage Deterministic technique Dynamics analysis Fuzzing Grey-box Performance Randomized Algorithms Real world projects State of the art Vulnerability detection

首页
上一页
1
2
下一页
末页

首页
研究单元产出分布图
收录类型分布图
论文引用排行
作者
文献类型
学科分类
使用帮助
联系我们

条目量26661
全文量25475
访问量15702730
下载量1040349

Copyright © 上海科技大学版权所有沪ICP备13001436号-1 沪公网安备 31011502006855号

地址邮编: 上海市浦东新区华夏中路393号
电话: 86-21-20685191