咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是961-970 订阅
排序:
The product attributes database (PAD): first of a new class of productivity tools for product development
The product attributes database (PAD): first of a new class ...
收藏 引用
IEEE Conference on Aerospace
作者: J.C. Sercel T.F. Clymer W.M. Heikichs Jet Propulsion Laboratory California Institute of Technology Pasadena CA USA California Institute of Technology Pasadena CA US
The Product Attributes Database (PAD) is a new type of information system that serves as a single, network-accessible repository of all the parametric information that describes a project at any phase of implementatio... 详细信息
来源: 评论
Generation of computing models in the mathematica system
Generation of computing models in the mathematica system
收藏 引用
The International Symposium Application of the Conversion Research Results for International Cooperation, SIBCONVERS
作者: V.M. Zyuz'kov TUSUR Tomsk Russia
来源: 评论
Process and execution planning for manufacturing systems
Process and execution planning for manufacturing systems
收藏 引用
IEEE International Symposium on Assembly and Manufacturing (ISAM)
作者: J. Rocha A. Moura C. Ramos Z. Vale Departamento de Engenharia Informática Instituto Superior de Engenharia do Porto Porto Portugal Departamento de Engenharia Electrotécnica Instituto Superior de Engenharia do Porto Porto Portugal
This paper deals with a system called TPMS (task planning for manufacturing systems). The main aim of this system is to automatically generate programs or sets of commands for robots, AGV's, numerical control mach... 详细信息
来源: 评论
Software architectures for OSEK/VDX applications using MATRIX/sub X//sup TM/ and AutoCode/sup TM/
Software architectures for OSEK/VDX applications using MATRI...
收藏 引用
IEEE International Symposium on Computer Aided Control System Design (CACSD)
作者: T.A. Martin Integrated Systems Inc. Sunnyvale CA USA
This paper describes the convergence of automatic code generation from graphical diagrams and real-time operating system (RTOS) technology. In the field of automatic code generation the concept of configurable code ge... 详细信息
来源: 评论
Restructuring parallel programs by transformation of point-to-point interactions into collective communication
Restructuring parallel programs by transformation of point-t...
收藏 引用
IEEE Workshop on Program Comprehension
作者: B. Di Martino A. Mazzeo N. Mazzocca U. Villano Dipartimento di Ingegneria dell'Informazione University of Naples Italy Facoltà di Ingegneria Informatica Università del Sannio Italy
We present an approach for supporting the reengineering of legacy message passing parallel programs based on point-to-point communication primitives. The objective is to obtain structured portable, and possibly more e... 详细信息
来源: 评论
An architecture for automated software maintenance
An architecture for automated software maintenance
收藏 引用
IEEE Workshop on Program Comprehension
作者: A. Sellink C. Verhoef Programming Research Group University of Amsterdam Amsterdam Netherlands
We developed an assembly line to implement certain specific changes in a stockbroking system written in COBOL with embedded SQL. The changes were proposed by the maintenance team of the system. Using our architecture,... 详细信息
来源: 评论
SequenceL provides a different way to view programming
收藏 引用
COMPUTER LANGUAGES 1998年 第1期24卷 1-32页
作者: Cooke, DE Univ Texas Dept Comp Sci El Paso TX 79968 USA
SequenceL is a new computer language that provides declarative constructs for nonscalar processing. In SequenceL, a problem solver provides little in the way of iterative/recursive details in a problem solution. Inste... 详细信息
来源: 评论
automatic generation of nonlinear optimal control laws for broom balancing using evolutionary programming
Automatic generation of nonlinear optimal control laws for b...
收藏 引用
IEEE International Conference on Evolutionary Computation
作者: K. Chellapilla Department of Electrical & Computer Engineering University of California San Diego La Jolla CA USA
The paper explores the use of mutatian operators with evolutionary programming (EP) to automatically generate time optimal "bang-bang" type control laws for the three dimensional broom balancing (inverted pe... 详细信息
来源: 评论
The history of Fortran I, II, and III
收藏 引用
IEEE ANNALS OF THE HISTORY OF COMPUTING 1998年 第4期20卷 68-78页
作者: Backus, J 91 St. Germain Ave. San Francisco CA USA
This article discusses attitudes about "automatic programming," the economics of programming, and existing programming systems, all in the early 1950s. It describes the formation of the Fortran group, its kn... 详细信息
来源: 评论
Principles for information visualization spreadsheets
收藏 引用
IEEE COMPUTER GRAPHICS AND APPLICATIONS 1998年 第4期18卷 30-38页
作者: Chi, EHH Riedl, J Barry, P Konstan, J Univ Minnesota Dept Comp Sci Minneapolis MN 55455 USA Univ Minnesota Dept Comp Sci & Engn Minneapolis MN 55455 USA
Just as a numerical spreadsheet enables exploration of numbers, a visualization spreadsheet enables exploration and operations on visual forms of information, which are contained in cells in a grid. In this article we... 详细信息
来源: 评论