咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1051-1060 订阅
排序:
automatic resource allocation in industrial multirobot systems
Automatic resource allocation in industrial multirobot syste...
收藏 引用
IEEE International Conference on Robotics and Automation (ICRA)
作者: R. Cassinis Dipartimento di Elettronica Politecnico di Milano Milano Italy
The paper proposes a methodology for robot programming, based on the concept of automatically assigning available physical resources to the tasks to be performed during program execution, rather than specifying them i... 详细信息
来源: 评论
Automated analysis of simulation output data  05
Automated analysis of simulation output data
收藏 引用
Simulation Winter Conference
作者: S. Robinson Warwick Business School University of Warwick Coventry UK
Appropriate analysis of simulation output is important to the success of a simulation study. Many users, however, do not have the skills required to perform such analyses. One way of overcoming this problem is to prov... 详细信息
来源: 评论
Systematic design of static program analyzers
Systematic design of static program analyzers
收藏 引用
IEEE Annual International Computer Software and Applications Conference (COMPSAC)
作者: S. Jarzabek Department of Information Systems and Computer Science National University of Singapore Singapore
Static program analyzers (SPA) are interactive tools that enhance program understanding by answering queries about programs. An SPA parses source programs and builds a so-called program knowledge base (PKB) that enabl... 详细信息
来源: 评论
The elimination of intermediate containers in the evaluation of first-class array expressions
The elimination of intermediate containers in the evaluation...
收藏 引用
International Conference on Computer Languages
作者: C. McCrosky Department of Computational Science University of Saskatchewan Saskatoon Canada
A language with first-class arrays has functions that map from arrays to arrays, where arrays are nested rectangular containers. Such languages are conceptually appropriate for a wide range of applications. Unfortunat... 详细信息
来源: 评论
Learning discrete mappings-Athena's approach
Learning discrete mappings-Athena's approach
收藏 引用
IEEE Workshop on Languages for Automation: Symbiotic and Intelligent Robots
作者: C. Koutsougeras C.A. Papachristou Computer Science Department Tulane University New Orleans LA USA Computer Engineering and Science Department Case Western Reserve University Cleveland OH USA
The general problem of learning discrete mappings is considered. The focus is on the problem of learning a mapping that generalizes an incomplete description specified by a set of examples. The authors' view of th... 详细信息
来源: 评论
A method for supporting software design based on comment on software
A method for supporting software design based on comment on ...
收藏 引用
IEEE International Workshop on Robot and Human Communication (ROMAN)
作者: T. Yoshida K. Hashimoto T. Yamaoka S. Nishida Department of Systems and Human Science Graduate School of Engineering Science Osaka University Toyonaka Osaka Japan Mitsubishi Electric Corporation Limited Hyogo Japan
This paper proposes a method for supporting software design by utilizing the comment which is usually put on software. It is believed that the software designer often leaves the hint or clue with respect to the reason... 详细信息
来源: 评论
Twenty years of ATE
Twenty years of ATE
收藏 引用
IEEE International Test Conference
作者: W. Gosling Roke Manor Plessey Company Public Limited Company Romsey Hampshire UK
The author surveys 20 years in the field of ATE (automatic test equipment) after the famous 'Cherry Hill' International Test Conference of 1970. The microelectronics revolution, the development of the micropro... 详细信息
来源: 评论
Specification and synthesis of control software for flexible manufacturing systems
Specification and synthesis of control software for flexible...
收藏 引用
IEEE International Conference on Systems, Man and Cybernetics
作者: P. Gutierrez-Robles E. Lopez-Mellado A. Ramirez-Trevino CINVESTAV-IPN Unidad Guadalajara-Mñxico Mexico
The paper deals with automated task programming of flexible manufacturing systems (FMS). The method presented allows a) to progressively specify the operations to be performed in an FMS and b) to automatically synthes... 详细信息
来源: 评论
A bus-test program generator for microprocessor systems
A bus-test program generator for microprocessor systems
收藏 引用
IEEE Instrumentation and Measurement Technology Conference
作者: G. Baccolini C. Offeli Dipartimento di Elettronica e Informatica Universita di Padova Padova Italy Dipartimento di Elettronica e Inf. Padova Univ. Italy
An algorithm to verify the correct operation of a microprocessor system bus is presented. It indicates which faults are detected by an instruction or group of instructions, allowing the designer to choose a set of ins... 详细信息
来源: 评论
Behavior Composition Meets Supervisory Control
Behavior Composition Meets Supervisory Control
收藏 引用
IEEE International Conference on Systems, Man and Cybernetics
作者: Masoud Barati Richard St-Denis Département d’ informatique Université de Sherbrooke Sherbrooke (Québec) Canada
With the evolution of software engineering since the advent of structured programming until now, software engineers are faced with tremendous challenges mostly due to the development of large software programs that be... 详细信息
来源: 评论