咨询与建议

限定检索结果

文献类型

  • 2,465 篇 会议
  • 1,946 篇 期刊文献
  • 13 册 图书

馆藏范围

  • 4,424 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3,057 篇 工学
    • 2,411 篇 计算机科学与技术...
    • 1,923 篇 软件工程
    • 468 篇 信息与通信工程
    • 318 篇 控制科学与工程
    • 212 篇 生物工程
    • 199 篇 机械工程
    • 186 篇 电子科学与技术(可...
    • 172 篇 电气工程
    • 121 篇 光学工程
    • 103 篇 仪器科学与技术
    • 94 篇 化学工程与技术
    • 89 篇 网络空间安全
    • 80 篇 生物医学工程(可授...
    • 77 篇 动力工程及工程热...
    • 71 篇 安全科学与工程
    • 67 篇 材料科学与工程(可...
    • 66 篇 土木工程
    • 65 篇 建筑学
    • 63 篇 交通运输工程
  • 1,361 篇 理学
    • 893 篇 数学
    • 242 篇 物理学
    • 237 篇 生物学
    • 218 篇 统计学(可授理学、...
    • 139 篇 系统科学
    • 103 篇 化学
  • 814 篇 管理学
    • 525 篇 管理科学与工程(可...
    • 331 篇 图书情报与档案管...
    • 167 篇 工商管理
  • 86 篇 法学
    • 63 篇 社会学
  • 58 篇 医学
  • 55 篇 经济学
    • 55 篇 应用经济学
  • 24 篇 农学
  • 19 篇 军事学
  • 13 篇 教育学
  • 13 篇 艺术学
  • 10 篇 文学
  • 5 篇 哲学

主题

  • 181 篇 computer science
  • 136 篇 semantics
  • 131 篇 laboratories
  • 98 篇 software enginee...
  • 91 篇 software
  • 75 篇 computational mo...
  • 67 篇 algorithm design...
  • 59 篇 software testing
  • 59 篇 feature extracti...
  • 58 篇 web services
  • 56 篇 machine learning
  • 54 篇 educational inst...
  • 53 篇 testing
  • 51 篇 accuracy
  • 51 篇 training
  • 50 篇 optimization
  • 49 篇 deep learning
  • 49 篇 application soft...
  • 49 篇 model checking
  • 49 篇 heuristic algori...

机构

  • 898 篇 state key labora...
  • 719 篇 state key labora...
  • 399 篇 university of ch...
  • 201 篇 state key labora...
  • 195 篇 school of comput...
  • 186 篇 state key labora...
  • 182 篇 department of co...
  • 107 篇 state key labora...
  • 107 篇 state key labora...
  • 95 篇 state key labora...
  • 76 篇 college of compu...
  • 65 篇 school of comput...
  • 64 篇 institute of sof...
  • 62 篇 state key labora...
  • 58 篇 department of co...
  • 51 篇 state key labora...
  • 48 篇 state key labora...
  • 41 篇 nanjing universi...
  • 39 篇 chinese informat...
  • 37 篇 school of comput...

作者

  • 78 篇 sun le
  • 72 篇 han xianpei
  • 54 篇 gao yang
  • 52 篇 lin hongyu
  • 44 篇 zhang lijun
  • 41 篇 huang di
  • 41 篇 shi yinghuan
  • 40 篇 xiao limin
  • 40 篇 dou wanchun
  • 39 篇 cai shaowei
  • 38 篇 zhang jian
  • 37 篇 wu enhua
  • 37 篇 xu baowen
  • 37 篇 ying mingsheng
  • 36 篇 guihai chen
  • 30 篇 baowen xu
  • 30 篇 sanglu lu
  • 30 篇 ruan li
  • 29 篇 limin xiao
  • 28 篇 jian zhang

语言

  • 4,121 篇 英文
  • 155 篇 中文
  • 151 篇 其他
  • 2 篇 德文
检索条件"机构=State Key Laboratory of Computer Science Institution of Software"
4424 条 记 录,以下是1-10 订阅
排序:
AsyCo: an asymmetric dual-task co-training model for partial-label learning
收藏 引用
science China(Information sciences) 2025年 第5期68卷 332-347页
作者: Beibei LI Yiyuan ZHENG Beihong JIN Tao XIANG Haobo WANG Lei FENG College of Computer Science Chongqing University State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences University of Chinese Academy of Sciences School of Software Technology Zhejiang University School of Computer Science and Engineering Nanyang Technological University
Partial-label learning(PLL) is a typical problem of weakly supervised learning, where each training instance is annotated with a set of candidate labels. Self-training PLL models achieve state-of-the-art performance b... 详细信息
来源: 评论
Deep learning-based software engineering: progress,challenges, and opportunities
收藏 引用
science China(Information sciences) 2025年 第1期68卷 57-144页
作者: Xiangping CHEN Xing HU Yuan HUANG He JIANG Weixing JI Yanjie JIANG Yanyan JIANG Bo LIU Hui LIU Xiaochen LI Xiaoli LIAN Guozhu MENG Xin PENG Hailong SUN Lin SHI Bo WANG Chong WANG Jiayi WANG Tiantian WANG Jifeng XUAN Xin XIA Yibiao YANG Yixin YANG Li ZHANG Yuming ZHOU Lu ZHANG School of Journalism and Communication Sun Yat-sen University School of Software Technology Zhejiang University School of Software Engineering Sun Yat-sen University School of Software Dalian University of Technology School of Computer Science and Technology Beijing Institute of Technology Key Laboratory of High Confidence Software Technologies (Peking University) Ministry of EducationSchool of Computer Science Peking University State Key Laboratory for Novel Software Technology Nanjing University School of Computer Science and Engineering Beihang University Institute of Information Engineering Chinese Academy of Sciences School of Computer Science Fudan University State Key Laboratory of Complex & Critical Software Environment (CCSE) School of Software Beihang University School of Computer and Information Technology Beijing Jiaotong University School of Computer Science and Technology Harbin Institute of Technology School of Computer Science Wuhan University Huawei Technologies
Researchers have recently achieved significant advances in deep learning techniques, which in turn has substantially advanced other research disciplines, such as natural language processing, image processing, speech r... 详细信息
来源: 评论
Committed-programming reductions: formalizations,implications and relations
收藏 引用
science China(Information sciences) 2024年 第10期67卷 151-171页
作者: Jiang ZHANG Yu YU Dengguo FENG Shuqin FAN Zhenfeng ZHANG State Key Laboratory of Cryptology Department of Computer Science and Engineering Shanghai Jiao Tong University Trusted Computing and Information Assurance Laboratory Institute of SoftwareChinese Academy of Sciences
In this work, we introduce a class of black-box(BB) reductions called committed-programming reduction(CPRed) in the random oracle model(ROM) and obtain the following interesting results:(1) we demonstrate that some we... 详细信息
来源: 评论
An Intelligent Privacy Protection Scheme for Efficient Edge Computation Offloading in IoV
收藏 引用
Chinese Journal of Electronics 2024年 第4期33卷 910-919页
作者: Liang YAO Xiaolong XU Wanchun DOU Muhammad Bilal School of Software Nanjing University of Information Science and Technology State Key Laboratory for Novel Software Technology Nanjing University Department of Computer and Electronics Systems Engineering Hankuk University of Foreign Studies
As a pivotal enabler of intelligent transportation system(ITS), Internet of vehicles(Io V) has aroused extensive attention from academia and industry. The exponential growth of computation-intensive, latency-sensitive... 详细信息
来源: 评论
Understanding and Detecting Inefficient Image Displaying Issues in Android Apps
收藏 引用
Journal of computer science & Technology 2024年 第2期39卷 434-459页
作者: 李文杰 马骏 蒋炎岩 许畅 马晓星 State Key Laboratory of Novel Software Technology Nanjing UniversityNanjing 210023China Department of Computer Science and Technology Nanjing UniversityNanjing 210023China
Mobile applications(apps for short)often need to display ***,inefficient image displaying(IID)issues are pervasive in mobile apps,and can severely impact app performance and user *** paper first establishes a descript... 详细信息
来源: 评论
Hierarchical Model Checking of SystemVerilog-Specified Asynchronous Circuits for Deadlock Detection
收藏 引用
IEEE Transactions on computer-Aided Design of Integrated Circuits and Systems 2024年 第6期44卷 2424-2437页
作者: Lu, Longlong Pan, Minxue Lu, Yifei Li, Xuandong Nanjing University State Key Laboratory for Novel Software Technology and the Software Institute Jiangsu Province Nanjing210093 China Nanjing University State Key Laboratory for Novel Software Technology and School of Computer Science Jiangsu Province Nanjing210023 China
Specifying channel-based asynchronous circuits in SystemVerilog is a promising alternative design paradigm to combine the advantages of asynchronous circuits and industrial EDA supports. However, communicating through... 详细信息
来源: 评论
A program logic for obstruction-freedom
收藏 引用
Frontiers of computer science 2024年 第6期18卷 85-100页
作者: Zhao-Hui LI Xin-Yu FENG School of Computer Science and Technology University of Science and Technology of ChinaHefei 230026China Department of Computer Science and Technology Nanjing UniversityNanjing 210023China State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China
Though obstruction-free progress property is weaker than other non-blocking properties including lock-freedom and wait-freedom,it has advantages that have led to the use of obstruction-free implementations for softwar... 详细信息
来源: 评论
swSpAMM:optimizing large-scale sparse approximate matrix multiplication on Sunway Taihulight
收藏 引用
Frontiers of computer science 2023年 第4期17卷 29-41页
作者: Xiaoyan LIU Yi LIU Bohong YIN Hailong YANG Zhongzhi LUAN Depei QIAN State Key Laboratory of Software Development Environment Beijing 100191China School of Computer Science and Engineering Beihang UniversityBeijing 100191China
Although matrix multiplication plays an essential role in a wide range of applications,previous works only focus on optimizing dense or sparse matrix *** Sparse Approximate Matrix Multiply(SpAMM)is an algorithm to acc... 详细信息
来源: 评论
Heuristic Search with Cut Point Based Strategy for Critical Node Problem
收藏 引用
Journal of computer science & Technology 2024年 第6期39卷 1328-1340页
作者: Zhi-Han Chen Shao-Wei Cai Jian Gao Shi-Ke Ge Chan-Juan Liu Jin-Kun Lin School of Computer Science and Technology University of Chinese Academy of SciencesBeijing 101408China Key Laboratory of System Software(Chinese Academy of Sciences)and State Key Laboratory of Computer Science Institute of SoftwareChinese Academy of SciencesBeijing 100190China College of Information Science and Technology Northeast Normal UniversityChangchun 130024China School of Computer Science and Technology Dalian University of TechnologyDalian 116024China SeedMath Technology Limited Beijing 100086China
The critical node problem(CNP)aims to deal with critical node identification in a graph,which has extensive applications in many *** CNP is a challenging task due to its computational complexity,and it attracts much a... 详细信息
来源: 评论
An Empirical Study on Automated Test Generation Tools for Java:Effectiveness and Challenges
收藏 引用
Journal of computer science & Technology 2024年 第3期39卷 715-736页
作者: 刘相君 余萍 马晓星 State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China Department of Computer Science and Technology Nanjing UniversityNanjing 210023China CCF ACM IEEE
Automated test generation tools enable test automation and further alleviate the low efficiency caused by writing hand-crafted test ***,existing automated tools are not mature enough to be widely used by software test... 详细信息
来源: 评论