咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 12,474 篇 software algorit...
  • 3,730 篇 software
  • 1,965 篇 algorithm design...
  • 1,777 篇 hardware
  • 825 篇 computer archite...
  • 803 篇 heuristic algori...
  • 761 篇 application soft...
  • 706 篇 software enginee...
  • 645 篇 computer science
  • 598 篇 software systems
  • 571 篇 computational mo...
  • 556 篇 prediction algor...
  • 543 篇 optimization
  • 520 篇 clustering algor...
  • 473 篇 testing
  • 428 篇 accuracy
  • 410 篇 signal processin...
  • 369 篇 costs
  • 346 篇 machine learning...
  • 320 篇 real-time system...

机构

  • 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,397 篇 英文
  • 48 篇 其他
  • 28 篇 中文
  • 1 篇 葡萄牙文
检索条件"主题词=Software Algorithms"
12474 条 记 录,以下是4661-4670 订阅
排序:
Automated Assessment Tool for Teaching Web Application Developmen
Automated Assessment Tool for Teaching Web Application Devel...
收藏 引用
Conference on software Engineering Education & Training (CSEE&T)
作者: Basem Suleiman Muhammad Johan Alibasa Anthony Wang Computer Science and Engineering University of New South Wales Sydney Australia Faculty of Engineering & Technology Sampoerna University Jakarta Indonesia School of Computer Science University of Sydney Sydney Australia
This research paper proposes the design and im-plementation of automated testing tool specifically tailored for supporting the learning and training of web application development. The tool aims to streamline the asse... 详细信息
来源: 评论
Multi-core processor system for real-time image processing in embedded computer vision applications
Multi-core processor system for real-time image processing i...
收藏 引用
International Conference on Information Technology (ICIT)
作者: Robert Zaglewski Marek Wojcikowski Faculty of Electronics Telecommunications and Informatics Department of Microelectronics Systems Gdansk University of Technology Poland
This paper describes the idea of the multi-core programmable cores architecture for real-time image processing in embedded applications. The authors propose the architecture of a simple 8-bit processor core dedicated ... 详细信息
来源: 评论
Augmentation Method of Test Data for Path Coverage based on K-means Clustering
Augmentation Method of Test Data for Path Coverage based on ...
收藏 引用
IEEE International Conference on software Quality, Reliability and Security Companion (QRS-C)
作者: Wei Xie ChunYan Xia Yan Zhang TingTing Huo Xiao Chen School of Mathematical Sciences Mudanjiang Normal University Mudanjiang China Army Engineering University of PLA Nanjing China Mudanjiang Normal University Mudanjiang China School of Information Engineering Suqian University Suqian China School of Computer and Information Technology Mudanjiang Normal University Mudanjiang China
Regression testing is the most costly testing method. The purpose of test data augmentation method is to make full use of the original test cases to augment the test data with higher path coverage and reduce the cost ... 详细信息
来源: 评论
Tensor product algebra as a tool for VLSI implementation of the discrete Fourier transform
Tensor product algebra as a tool for VLSI implementation of ...
收藏 引用
International Conference on Acoustics, Speech, and Signal Processing (ICASSP)
作者: D. Rodriguez Electrical and Computer Engineering Department University of Puerto Rico Mayaguez Puerto Rico
A tool to aid in the automated VLSI implementation of the discrete Fourier transform (DFT) is described. This tool is tensor product algebra, a branch of finite-dimensional multilinear algebra. Tensor product formulat... 详细信息
来源: 评论
Usable hydro capacity and electric utility production simulation and reliability calculations
Usable hydro capacity and electric utility production simula...
收藏 引用
Power Industry Computer Application Conference (PICA)
作者: K. Staschus A. Bell E. Cashman Systems Engineering Group Pacific Gas and Electric Company and Rose Consulting San Francisco CA USA Electric Resoruces Planning Pacific Gas and Electric Company and Rose Consulting San Francisco CA USA University of Wisconsin Madison WI USA
The authors use conceptual arguments and tests performed with historical outage data to compare the usability of hydro capacity estimated through peakshaving to an equivalent load duration curve (ELDC) based approach.... 详细信息
来源: 评论
Compressed pattern matching in DNA sequences
Compressed pattern matching in DNA sequences
收藏 引用
Proceedings of the IEEE Computational Systems Bioinformatics Conference, CSB
作者: Lei Chen Shiyong Lu J. Ram Wayne State University USA
We propose derivative Boyer-Moore (d-BM), a new compressed pattern matching algorithm in DNA sequences. This algorithm is based on the Boyer-Moore method, which is one of the most popular string matching algorithms. I... 详细信息
来源: 评论
A DNA Algorithm of a Kind of Circular Forbidden Permutation Problem
A DNA Algorithm of a Kind of Circular Forbidden Permutation ...
收藏 引用
International Conference on Networks Security, Wireless Communications and Trusted Computing, NSWCTC
作者: Lei Wang Yu-xing Yang Ai-min Wang Ji-lan Ma School of Computer and Information Engineering Anyang Normal University Anyang Henan South Korea College of Computer and Software Taiyuan University of Technology Taiyuan Shanxi China
Sticker model was a popular computing in the area of DNA computing. The separate operation was one of the important operation in this model. Adleman-Lipton DNA computing model was belong to sticker model, but, it was ... 详细信息
来源: 评论
Using object-orientation in developing an extendible CACSD package
Using object-orientation in developing an extendible CACSD p...
收藏 引用
IEEE International Symposium on Computer Aided Control System Design (CACSD)
作者: W.E. Bell G.B. Lamont F.L. Trevino Department of Electrical and Computer Engineering Graduate School of Engineering Comtech Services Inc. Dayton OH USA
The objective of this paper is to discuss the general development of a computer-aided control system design (CACSD) package in conjunction with various interdisciplinary objectives. In order to meet the needs of a lar... 详细信息
来源: 评论
A satisfiability algorithm for multimodal logic with converse
A satisfiability algorithm for multimodal logic with convers...
收藏 引用
International Conference in software Engineering Research and Innovation (CONISOFT)
作者: Diego Medina-Martínez Everardo Bárcenas Rocío Aldeco-Pérez Guillermo Molero-Castillo Alejandro Velázquez-Mena Engineering Faculty Posgrado en Ciencia e Ingeniería de la Computación National Autonomous University of Mexico Mexico City México
Modal logics as formal languages has many ap-plications in computer science, such as in formal verification, databases, programming languages, knowledge representation. Converse modalities are specially purposed const... 详细信息
来源: 评论
System validation by source level emulation of behavioral VHDL specifications
System validation by source level emulation of behavioral VH...
收藏 引用
International Workshop on Rapid System Prototyping (RSP)
作者: G. Koch U. Kebschull W. Rosenstiel Forschungszentrum Informatik Karlsruhe Germany FZI and University of Tübingen Tubingen Germany
We present an approach to accelerate the validation speed of behavioral VHDL system specifications through the use of hardware emulation. The method allows source level debugging of behavioral, algorithmic VHDL in a w... 详细信息
来源: 评论