咨询与建议

限定检索结果

文献类型

  • 1,178 篇 会议
  • 329 篇 期刊文献
  • 7 册 图书
  • 5 篇 学位论文

馆藏范围

  • 1,519 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 641 篇 工学
    • 460 篇 计算机科学与技术...
    • 311 篇 软件工程
    • 221 篇 电气工程
    • 78 篇 控制科学与工程
    • 63 篇 信息与通信工程
    • 49 篇 机械工程
    • 31 篇 电子科学与技术(可...
    • 20 篇 仪器科学与技术
    • 16 篇 材料科学与工程(可...
    • 7 篇 生物医学工程(可授...
    • 6 篇 力学(可授工学、理...
    • 6 篇 动力工程及工程热...
    • 6 篇 化学工程与技术
    • 5 篇 建筑学
    • 5 篇 生物工程
    • 4 篇 土木工程
    • 4 篇 航空宇航科学与技...
    • 4 篇 核科学与技术
  • 106 篇 理学
    • 69 篇 数学
    • 14 篇 物理学
    • 11 篇 系统科学
    • 11 篇 统计学(可授理学、...
    • 10 篇 生物学
    • 7 篇 科学技术史(分学科...
  • 55 篇 管理学
    • 40 篇 管理科学与工程(可...
    • 15 篇 图书情报与档案管...
    • 8 篇 工商管理
  • 9 篇 医学
    • 6 篇 临床医学
  • 6 篇 教育学
    • 6 篇 教育学
  • 4 篇 文学
    • 4 篇 新闻传播学
  • 2 篇 哲学
  • 2 篇 经济学
  • 2 篇 法学
  • 1 篇 历史学

主题

  • 1,519 篇 automatic progra...
  • 155 篇 programming prof...
  • 144 篇 application soft...
  • 143 篇 automatic contro...
  • 136 篇 computer science
  • 109 篇 robot programmin...
  • 106 篇 robotics and aut...
  • 104 篇 genetic programm...
  • 90 篇 automatic testin...
  • 88 篇 control systems
  • 86 篇 hardware
  • 84 篇 computer languag...
  • 82 篇 humans
  • 80 篇 software enginee...
  • 76 篇 costs
  • 73 篇 automation
  • 72 篇 testing
  • 70 篇 software systems
  • 65 篇 functional progr...
  • 63 篇 system testing

机构

  • 8 篇 the robotics ins...
  • 5 篇 school of comput...
  • 4 篇 fujitsu laborato...
  • 4 篇 national univers...
  • 4 篇 graduate school ...
  • 3 篇 department of co...
  • 3 篇 sandia national ...
  • 3 篇 college of infor...
  • 3 篇 school of machin...
  • 3 篇 swoop cambridge ...
  • 3 篇 ostfold univ col...
  • 3 篇 sri internationa...
  • 3 篇 school of comput...
  • 3 篇 hamilton coll cl...
  • 3 篇 lockheed palo al...
  • 3 篇 research institu...
  • 3 篇 ibm research lab...
  • 3 篇 sivas cumhuriyet...
  • 3 篇 production model...
  • 3 篇 department of el...

作者

  • 11 篇 k. ikeuchi
  • 7 篇 olsson roland
  • 6 篇 h. mizutani
  • 6 篇 arslan sibel
  • 5 篇 akira hara
  • 5 篇 arpaia pasquale
  • 5 篇 c. ramos
  • 5 篇 t. suehiro
  • 5 篇 t. matsudaira
  • 5 篇 j. rocha
  • 5 篇 tetsuyuki takaha...
  • 4 篇 katagiri takahir...
  • 4 篇 helmuth thomas
  • 4 篇 t. thomasma
  • 4 篇 ikeuchi k
  • 4 篇 pantridge edward
  • 4 篇 jun-ichi kushida
  • 4 篇 c.e. moron
  • 4 篇 spector lee
  • 4 篇 t.l. marzetta

语言

  • 1,458 篇 英文
  • 56 篇 其他
  • 3 篇 中文
  • 2 篇 日文
  • 1 篇 法文
检索条件"主题词=Automatic Programming"
1519 条 记 录,以下是651-660 订阅
排序:
DEVS Markov Modeling and Simulation of Activity-Based Models for MBSE Application
DEVS Markov Modeling and Simulation of Activity-Based Models...
收藏 引用
2021 Winter Simulation Conference, WSC 2021
作者: Alshareef, Abdurrahman Seo, Chungman Kim, Anthony Zeigler, Bernard P. College of Computer and Information Sciences King Saud University Information Systems Department Riyadh11451 Saudi Arabia RTSync Corp. ChandlerAZ15-107 United States
DEVS has been proposed as the basic modeling and simulation framework for Model-Based System Engineering (MBSE) methodology that supports the critical stages in top down design of complex systems. Here we propose a no... 详细信息
来源: 评论
Research on VMF interoperation
Research on VMF interoperation
收藏 引用
2014 International Conference on Sensors Instrument and Information Technology, ICSIIT 2014
作者: Wang, Xuan Luo, Qiang Yi Li, Ling Ling Command Information System Academy of PLA University of Science and Technology Nanjing 210007 China Information Engineering Department of Academy of Armored Forces Engineering Beijing 100072 China Institute of China Electronic System Engineering Company Beijing 100141 China
This paper designs a VMF interoperation solution framework, and proposes an automatic generation method for VMF codecs, VMF-FMF translation unit and VMF-HLA gateway based on VMF data element dictionary, FMF data eleme... 详细信息
来源: 评论
automatic Generation of Micro-kernels for Performance Portability of Matrix Multiplication on RISC-V Vector Processors
Automatic Generation of Micro-kernels for Performance Portab...
收藏 引用
2023 International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023
作者: Igual, Francisco Piñuel, Luis Catalán, Sandra Martínez, Héctor Castelló, Adrián Quintana-Ortí, Enrique Universidad Complutense de Madrid Madrid Spain Universidad de Córdoba Córdoba Spain Universitat Jaume I Castellón de la Plana Spain Universitat Politècnica de València Valencia Spain
In this paper, we propose and evaluate several optimized implementations of the general matrix multiplication (gemm) on two different RISC-V architecture cores implementing the RISC-V vector extension (RVV): C906 and ... 详细信息
来源: 评论
FrontDesk: an enterprise class Web-based software system for programming assignment submission, feedback dissemination, and grading automation
FrontDesk: an enterprise class Web-based software system for...
收藏 引用
International Conference on Advanced Learning Technologies (ICALT)
作者: M. Maxim A. Venugopal School of Computer Science Carnegie Mellon University Pittsburgh PA USA
The problem of managing an effective relationship between course staff and students in large programming courses admits no trivial solution. Students often complain of lack of feedback, slow assignment grading times, ... 详细信息
来源: 评论
Refining production strategy optimization model based on mixed bi-level programming method
Refining production strategy optimization model based on mix...
收藏 引用
IEEE International Conference on e-Business Engineering (ICEBE)
作者: Wang Wei Mei Wei Zhang Qiang Li Ze-fei Institute of Automation Chinese Academy of Sciences Beijing China Daqing Company of Petro-China Company Limited Dading China
The production process of a refinery is a complicated process, which consists of immense units. For some units, the products are multiple, so does the feasible operation mode of products of certain units. Which kind o... 详细信息
来源: 评论
SAC: Off-the-shelf support for data-parallelism on multicores
SAC: Off-the-shelf support for data-parallelism on multicore...
收藏 引用
DAMP 2007: Workshop on Declarative Aspects of Multicore programming
作者: Grelck, Clemens Scholz, Sven-Bodo University of Lübeck Institute of Software Technology and Programming Languages Ratzeburger Allee 160 23538 Lübeck Germany University of Hertfordshire Department of Computer Science College Lane Hatfield AL10 9AB United Kingdom University of Hertfordshire United Kingdom
The advent of multicore processors has raised new demand for harnessing concurrency in the software mass market. We summarise our previous work on the data parallel, functional array processing language SaC. Its compi... 详细信息
来源: 评论
A visual programming environment for programming by example abstraction
A visual programming environment for programming by example ...
收藏 引用
IEEE Symposium on Visual Languages
作者: Y. Mima Tokyo Research Laboratory IBM Research Tokyo Japan
The paper describes a way of extending the flexibility of example-based programming. The purpose of introducing such a programming style is to provide the user with a way of telling the system why and how he operates ... 详细信息
来源: 评论
Performance benefits of optimistic programming: a measure of HOPE  95
Performance benefits of optimistic programming: a measure of...
收藏 引用
International Symposium on High Performance Distributed Computing
作者: C. Cowan H.L. Lutfiyya M.A. Bauer Department of Computer Science and Engineering Oregon Graduate Institute Portland OR USA Computer Science Department University of Western Ontario London ONT Canada
Optimism is a powerful technique for avoiding latency by increasing concurrency. By optimistically assuming the results of some computation, other computations can be executed in parallel, even when they depend on the... 详细信息
来源: 评论
Succinct system of minimal generators: A thorough study, limitations and new definitions
Succinct system of minimal generators: A thorough study, lim...
收藏 引用
4th International Conference on Concept Lattices and Their Applications, CLA 2006
作者: Hamrouni, Tarek Ben Yahia, Sadok Mephu Nguifo, Engelbert Department of Computer Science Faculty of Sciences of Tunis Tunis Tunisia CRIL-CNRS IUT de Lens Lens France
Minimal generators (MGs) are the minimal ones ( w.r.t. the number of items) among equivalent itemsets sharing a common set of objects, while their associated closed itemset (CI ) is the largest one. The pairs - compos... 详细信息
来源: 评论
Designing neural networks ensembles based on the evolutionary programming
Designing neural networks ensembles based on the evolutionar...
收藏 引用
International Conference on Machine Learning and Cybernetics (ICMLC)
作者: Fang Liu Ren-Hou Li Shi-Chun Mei Systems Engineering Institute Xi''an Jiaotong University China Second Artillery Engineering College of PLA Xi'an Shaanxi China
An evolutionary programming is proposed in this paper to automatically design neural networks (NNs) ensembles. Based on negative correlation learning, different individual NNs in the ensemble can learn to subdivide th... 详细信息
来源: 评论