咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是301-310 订阅
排序:
SAT Solvers for Queries over Tree Automata with Constraints
SAT Solvers for Queries over Tree Automata with Constraints
收藏 引用
IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW
作者: Pierre-Cyrille Héam Vincent Hugot Olga Kouchnarenko INRIA/Cassis and University of Franche-Comté Besancon France
Tree automata turned out to be a very convenient framework for modeling and proving properties on infinite systems like communication protocols, Java programs and also in the context of XML programming. Unfortunately,... 详细信息
来源: 评论
Automated test program generation for automotive devices
Automated test program generation for automotive devices
收藏 引用
IEEE International Test Conference
作者: Anke Drappa Peter Huber Jon Vollmar Robert Bosch GmbH Reutlingen Germany Teradyne GmbH Munich Germany Teradyne Inc. Brookfield WI USA
A code generator is developed to produce automotive ATE programs from a tester-independent test specification. Requirements and features of the specification interface which were necessary for successful automated pro... 详细信息
来源: 评论
A cultural evolutionary programming approach to automatic analytical modeling of electrochemical phenomena through impedance spectroscopy
收藏 引用
MEASUREMENT SCIENCE AND TECHNOLOGY 2009年 第6期20卷 065601 (10-065601 (10页
作者: Arpaia, Pasquale Univ Sannio Dipartimento Ingn Grp Magnets Superconductors & Cryostats 30 03 045 European Lab Nucl ResDept TechnolCERN CH-1211 Geneva 23 Switzerland
An approach to automatic analytical modeling of electrochemical impedance spectroscopy data by evolutionary programming based on cultural algorithms is proposed. A solution-search strategy based on a cultural mechanis... 详细信息
来源: 评论
The generator of cyclic signals for problems of testing of information systems
The generator of cyclic signals for problems of testing of i...
收藏 引用
International Conference on Modern Problems of Radio Engineering, Telecommunications and Computer Science
作者: Nestor Demyanchuk Sergij Lupenko Ternopil State Technical University Ternopil Ukraine
In this paper the basic approaches to creation of the program generator of cyclic signals are considered.
来源: 评论
Optimization machining of reconstructed part from orthographic image
Optimization machining of reconstructed part from orthograph...
收藏 引用
International Conference on Mechanic Automation and Control Engineering (MACE)
作者: Jianping Liu Gangwei Li Department of Mechanical & Electrical Engineering Foshan Polytechnic College Foshan China Department of Business Administration Foshan Polytechnic College Foshan China
To reconstruct object from its orthographic image, a new method of 3D reconstruction based on image vectorization is presented. A 3D CAD model is automatically acquired from 2D views by means of 2D primitive recogniti... 详细信息
来源: 评论
Verification of SystemC transaction level models using an aspect-oriented and generic approach
Verification of SystemC transaction level models using an as...
收藏 引用
International Conference on Design and Technology of Integrated Systems in Nanoscale Era (DTIS)
作者: Meriam Kallel Younes Lahbib Rached Tourki Adel Baganne Faculty of Sciences of Monastir Electronics and Micro-Electronics Laboratory Tunisia Lab-STICC CNRS University of South Brittany Lorient France
Transaction level modeling (TLM) has become an accepted and well supported paradigm that is intended to create hardware designs at high abstraction levels. In this paper, we present a methodology that targets the veri... 详细信息
来源: 评论
Higher-order functions in aesthetic EC encodings
Higher-order functions in aesthetic EC encodings
收藏 引用
Congress on Evolutionary Computation
作者: James McDermott Jonathan Byrne John Mark Swafford Michael O'Neill Anthony Brabazon Department of Computer Science and Informatics The Natural Computing Research & Applications Group University College Dublin Dublin Ireland
The use of higher-order functions, as a method of abstraction and re-use in EC encodings, has been the subject of relatively little research. In this paper we introduce and give motivation for the ideas of higher-orde... 详细信息
来源: 评论
automatic programming Methodology for Program Reuse
Automatic Programming Methodology for Program Reuse
收藏 引用
International Conference on Computational Intelligence and Security
作者: Zhuo Kang Yan Li Li-shan Kang Computer College Wuhan University Wuhan China Computation Center Wuhan University Wuhan China State Key Laboratory of Software Engineering Wuhan University Wuhan China
This paper investigates the representation of program for program reuse. A new gene structure is proposed: head + body + tail, which allows the program with necessary complexity and putting some learning mechanism int... 详细信息
来源: 评论
automatic optimisation of MapReduce designs by geometric programming
Automatic optimisation of MapReduce designs by geometric pro...
收藏 引用
IEEE International Conference on Field-Programmable Technology (FPT)
作者: Qiang Liu Tim Todman Wayne Luk George A. Constantinides Department of Computing Imperial College London London UK Department of Electrical Engineering Imperial College London London UK
Many important applications can be expressed using the MapReduce pattern, where a computation is decomposed into a map phase on which each element of source data is independently operated, followed by a reduce phase i... 详细信息
来源: 评论
Progress in Industrial Automation programming and Design: From a Primitive to a Simple Solution
收藏 引用
IEEE INDUSTRIAL ELECTRONICS MAGAZINE 2009年 第4期3卷 24-25页
作者: Fay, Alexander Zurawski, Richard Institute of Industrial Science University of Tokyo Tokyo Japan Interfaculty Initiative in Information Studies Graduate School of Interdisciplinary Information Studies University of Tokyo Tokyo Japan
The six articles in this special section are devoted to IEC standards and their applications in industrial electronics as well as emerging trends in the industry.
来源: 评论