咨询与建议

限定检索结果

文献类型

  • 11,708 篇 会议
  • 771 篇 期刊文献

馆藏范围

  • 12,479 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,069 篇 工学
    • 1,072 篇 计算机科学与技术...
    • 1,032 篇 电气工程
    • 455 篇 软件工程
    • 384 篇 信息与通信工程
    • 292 篇 控制科学与工程
    • 133 篇 电子科学与技术(可...
    • 102 篇 仪器科学与技术
    • 87 篇 机械工程
    • 47 篇 生物医学工程(可授...
    • 42 篇 网络空间安全
    • 39 篇 交通运输工程
    • 32 篇 航空宇航科学与技...
    • 29 篇 材料科学与工程(可...
    • 20 篇 测绘科学与技术
    • 18 篇 核科学与技术
    • 14 篇 动力工程及工程热...
    • 14 篇 石油与天然气工程
    • 14 篇 生物工程
    • 13 篇 土木工程
    • 12 篇 安全科学与工程
  • 185 篇 理学
    • 63 篇 物理学
    • 57 篇 系统科学
    • 34 篇 数学
    • 18 篇 生物学
    • 12 篇 化学
  • 148 篇 管理学
    • 142 篇 管理科学与工程(可...
    • 15 篇 图书情报与档案管...
  • 51 篇 医学
    • 35 篇 临床医学
  • 33 篇 文学
    • 32 篇 新闻传播学
  • 22 篇 教育学
    • 22 篇 教育学
  • 16 篇 农学
  • 11 篇 军事学
  • 7 篇 艺术学
  • 5 篇 经济学
  • 1 篇 法学

主题

  • 12,479 篇 software algorit...
  • 3,731 篇 software
  • 1,965 篇 algorithm design...
  • 1,777 篇 hardware
  • 826 篇 computer archite...
  • 805 篇 heuristic algori...
  • 761 篇 application soft...
  • 706 篇 software enginee...
  • 645 篇 computer science
  • 598 篇 software systems
  • 571 篇 computational mo...
  • 559 篇 prediction algor...
  • 545 篇 optimization
  • 521 篇 clustering algor...
  • 473 篇 testing
  • 428 篇 accuracy
  • 412 篇 signal processin...
  • 371 篇 costs
  • 348 篇 machine learning...
  • 320 篇 software testing

机构

  • 18 篇 moscow technical...
  • 15 篇 tsinghua univers...
  • 14 篇 school of softwa...
  • 14 篇 lviv polytechnic...
  • 13 篇 state key labora...
  • 12 篇 university of ch...
  • 12 篇 state key labora...
  • 11 篇 york university ...
  • 11 篇 jet propulsion l...
  • 9 篇 software school ...
  • 9 篇 department of co...
  • 9 篇 school of comput...
  • 9 篇 nanjing univ sta...
  • 8 篇 state key labora...
  • 8 篇 school of electr...
  • 8 篇 novosibirsk stat...
  • 8 篇 software college...
  • 8 篇 national univers...
  • 8 篇 school of cyber ...
  • 8 篇 college of compu...

作者

  • 12 篇 ling chen
  • 11 篇 david lo
  • 11 篇 hui li
  • 10 篇 wei liu
  • 10 篇 kun wang
  • 9 篇 li li
  • 9 篇 gang wang
  • 9 篇 yang yang
  • 9 篇 jack dongarra
  • 8 篇 rui wang
  • 8 篇 jian wang
  • 8 篇 jun wang
  • 8 篇 w. wolf
  • 8 篇 qingshan jiang
  • 8 篇 thambipillai sri...
  • 8 篇 m.n.s. swamy
  • 7 篇 giuseppe scannie...
  • 7 篇 t. dohi
  • 7 篇 jinfu chen
  • 7 篇 ning wang

语言

  • 12,401 篇 英文
  • 49 篇 其他
  • 28 篇 中文
  • 1 篇 葡萄牙文
检索条件"主题词=software algorithms"
12479 条 记 录,以下是441-450 订阅
排序:
Scheduling algorithms for ultra-reliable execution of tasks under both hardware and software faults
Scheduling algorithms for ultra-reliable execution of tasks ...
收藏 引用
ACS/IEEE International Conference on Computer Systems and Applications
作者: O.A. Abulnaja S.H. Hosseini K. Vairavan King Abdulaziz University Jeddah Saudi Arabia University of Wisconsin Milwaukee Milwaukee WI USA
Summary form only given, as follows. We study the development of integrated fault-tolerant scheduling algorithms. The proposed algorithms ensure ultra-reliable execution of tasks where both hardware and software failu... 详细信息
来源: 评论
Hardware/software co-verification of cryptographic algorithms using Cryptol
Hardware/software co-verification of cryptographic algorithm...
收藏 引用
Formal Methods in Computer Aided Design (FMCAD)
作者: Levent Erkök Magnus Carlsson Adam Wick Galois Inc. Portland OR USA
Cryptol is a programming language designed for specifying cryptographic algorithms. Despite its high-level modeling nature, Cryptol programs are fully executable. Further, a large subset of Cryptol can be automaticall... 详细信息
来源: 评论
algorithms and software tools for LMI problems in control: an overview
Algorithms and software tools for LMI problems in control: a...
收藏 引用
IEEE International Symposium on Computer Aided Control System Design (CACSD)
作者: L. Vandenberghe V. Balakrishnan Information Systems Laboratory Electrical Engineering Department University of Stanford Stanford CA USA School of Electrical and Computer Engineering Purdue University West Lafayette IN USA
The purpose of this paper is to give an overview of recent developments in algorithms and software for linear matrix inequality (LMI) problems. We review the definition and some basic properties of the semidefinite pr... 详细信息
来源: 评论
Statistical algorithms and software for genomics
Statistical algorithms and software for genomics
收藏 引用
IEEE Annual International Computer software and Applications Conference (COMPSAC)
作者: T. Anantharaman B. Mishra Computer Science Department Courant Institute New York University NY USA
There are many large system problems that are hard to model exactly or in a computationally tractable fashion. Examples include the mapping of human DNA, speech recognition, and automated learning in computer chess. T... 详细信息
来源: 评论
Iterative decoding algorithms for real time software implementation in wireless communication systems
Iterative decoding algorithms for real time software impleme...
收藏 引用
IEEE Conference on Vehicular Technology (VTC)
作者: Y. Or G. Kutz A. Chass A. Gubeskys E. Pollak Motorola Semiconductor Israel Limited Herzliya Israel
Iterative decoding has emerged as one of the most promising techniques for improving receivers performance. This paper is focused on exploring the feasibility of software implementation of iterative decoding algorithm... 详细信息
来源: 评论
Applying Genetic algorithms for Optimizing Program Increment Planning in software Development Teams
Applying Genetic Algorithms for Optimizing Program Increment...
收藏 引用
International IEEE Conference on Intelligent Systems, IS
作者: Dimitar Lyubchev Angel Marchev Department of Management University of National and World Economy Sofia Bulgaria
Effective and efficient Program Increment (PI) planning plays a pivotal role in enhancing collaboration and productivity within software development teams following the Agile way of working. This paper investigates th... 详细信息
来源: 评论
Development and evaluation of processor farm algorithms/software for robot sensing applications
Development and evaluation of processor farm algorithms/soft...
收藏 引用
IEEE Instrumentation and Measurement Technology Conference
作者: I. Dancea Dkpartement d'informatique Universite du Quebec a Hull Hull QUE Canada
来源: 评论
Comparison of Graph Clustering algorithms for Recovering software Architecture Module Views
Comparison of Graph Clustering Algorithms for Recovering Sof...
收藏 引用
(CSMR) European Conference on software Maintenance and Reengineering
作者: Roberto Almeida Bittencourt Dalton Dario Serey Guerrero Formal Methods Group-Department of Systems and Computing UFCG Federal University of Campina Grande Campina Grande Paraiba Brazil UEFS-State University of Feira de Santana Feira de Santana Bahia Brazil
In the domain of software architecture recovery, classical clustering algorithms have been used to recover module views, while new ones have been proposed to tackle specific software architecture issues. Nonetheless, ... 详细信息
来源: 评论
LVQPAK: A software package for the correct application of Learning Vector Quantization algorithms
LVQPAK: A software package for the correct application of Le...
收藏 引用
International Joint Conference on Neural Networks (IJCNN)
作者: T. Kohonen J. Kangas J. Laaksonen K. Torkkola Laboratory of Computer and Information Science Helsinki University of Technology Espoo Finland
An overview of the software package LVQPAK, which has been developed for convenient and effective application of learning vector quantization algorithms, is presented. Two new features are included: fast conflict-free... 详细信息
来源: 评论
Analyzing software change in open source projects using Artificial Immune System algorithms
Analyzing software change in open source projects using Arti...
收藏 引用
International Conference on Advances in Computing, Communications and Informatics (ICACCI)
作者: Ruchika Malhotra Megha Khanna Department of Software Engineering Delhi Technological University Delhi India Delhi Technological University Delhi India Acharya Narendra Dev College University of Delhi Delhi India
Development of software change prediction models, based on the change histories of a software, are valuable for early identification of change prone classes. Classification of these change prone classes is vital to yi... 详细信息
来源: 评论