咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 1,518 篇 automatic progra...
  • 153 篇 programming prof...
  • 143 篇 application soft...
  • 143 篇 automatic contro...
  • 136 篇 computer science
  • 109 篇 robot programmin...
  • 106 篇 robotics and aut...
  • 104 篇 genetic programm...
  • 90 篇 automatic testin...
  • 88 篇 control systems
  • 85 篇 hardware
  • 83 篇 computer languag...
  • 80 篇 software enginee...
  • 80 篇 humans
  • 75 篇 costs
  • 73 篇 automation
  • 72 篇 testing
  • 69 篇 software systems
  • 65 篇 functional progr...
  • 64 篇 artificial intel...

机构

  • 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,457 篇 英文
  • 56 篇 其他
  • 3 篇 中文
  • 2 篇 日文
  • 1 篇 法文
检索条件"主题词=Automatic Programming"
1518 条 记 录,以下是1281-1290 订阅
排序:
A program generator for real-time remote procedure call communication
A program generator for real-time remote procedure call comm...
收藏 引用
International Symposium on Parallel and Distributed Processing (IPDPS)
作者: R.T.N. Villela C.E. Moron Department of Computer Science Universidade Federal de São Carlos Sao Paulo Brazil
来源: 评论
Coin - Coherence Observation by Interference Noise
Coin - Coherence Observation by Interference Noise
收藏 引用
European Conference on Quantum Electronics (EQEC)
作者: Y. Prior I.Sh. Averbukh O. Kinrot Department of Chemical Physics Weizmann Institute of Science Rehovot 76100 Israel Tel: 972-8-343 350 Fax: 972-8-344 123
We present a novel approach - Coherence Observation by Interference Noise (COIN) - for the measurement of coherence The method is based on analysis of the quantum interference fluctuations (noise) in the incoherent em... 详细信息
来源: 评论
A high level descriptive language for the automatic generation of Fortran and Pascal code
A high level descriptive language for the automatic generati...
收藏 引用
Southeastern Symposium on System Theory
作者: A.Z. Makki C.K. Alexander Department of Electrical Engineering Temple University PA USA
The authors show that if a given software end product is developed in accordance with the principles of strongly typed data constructs and structured programming, then the translation of such a software system into ot... 详细信息
来源: 评论
Qualification of automatic code generation using formal techniques
Qualification of automatic code generation using formal tech...
收藏 引用
IEE Colloquium on Practical Application of Formal Methods
作者: A. Coombes J. Armstrong British Aerospace Dependable Computing Systems Centre University of York Heslington UK
The slow industrial take-up of formal methods is partly due to their high cost when considered on a per-system basis. Formal methods are best employed either on relatively small and strictly bounded sub-problems withi... 详细信息
来源: 评论
High order notation and automated program generation for realtime signal processing
High order notation and automated program generation for rea...
收藏 引用
International Conference on Acoustics, Speech, and Signal Processing (ICASSP)
作者: G. DeMuth Federal Systems Division International Business Machines Corporation Manassas VA USA
A high-order signal processing graph notation (PGN) has been developed to convert information contained on the signal processing block diagram to a tabular form that is used by a computer-based Automated Program Gener... 详细信息
来源: 评论
Automated result verification with AWK
Automated result verification with AWK
收藏 引用
IEEE International Conference on Engineering of Complex Computer Systems
作者: B.A. Bakar T. Janowski International Institute for Software Technology United Nations University Macao China
The goal of result-verification is to prove that one execution run of a program satisfies its specification. Compared with implementation-verification, result-verification has a larger scope for applications in practi... 详细信息
来源: 评论
Replanning objectives with transition system equivalencies
Replanning objectives with transition system equivalencies
收藏 引用
IEEE International Conference on Systems, Man and Cybernetics
作者: H. Trad C. Braesch LLP/CESALP Université de Savoie Annecy-le-vieux France
A multi-expert conducting system for robotics applications is presented. We identify two types of experts whose conducting approach is guided by specific objectives issued from the global application objectives. We pr... 详细信息
来源: 评论
Lukasiewicz logic arrays
Lukasiewicz logic arrays
收藏 引用
International Symposium on Multiple-Valued Logic
作者: J.W. Mills M.G. Beavers C.A. Daffinger Indiana University Bloomington IN USA
Lukasiewicz logic arrays (LLAs) are massively parallel analog computers organized as binary trees of identical processing elements performing either implication, negated implication, or both. The authors have designed... 详细信息
来源: 评论
Using communicative acts in interaction design specifications for automated synthesis of user interfaces
Using communicative acts in interaction design specification...
收藏 引用
IEEE International Conference on Automated Software Engineering (ASE)
作者: H. Kaindl E. Arnautovic H. Jelinek T. Rock R. Popp J. Falb ICT Vienna Univ. of Technol.
Instead of developing user interfaces (UIs) directly, we argue for specifying an interaction design from which UIs can be automatically synthesized. We present an approach to using communicative acts in high-level spe... 详细信息
来源: 评论
A prototype knowledge-based assistant for acquisition strategy development
A prototype knowledge-based assistant for acquisition strate...
收藏 引用
IEEE National Conference on Aerospace and Electronics (NAECON)
作者: R.J. Hammell S.E. Cross Air Force Institute of Technology OH USA Air Force Wright Aeronautical Laboratories OH USA
An application of knowledge-based system techniques to the problem of developing acquisition strategies for government procurements is reported. The need for automated assistance in this area is examined, and reasons ... 详细信息
来源: 评论