咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是561-570 订阅
排序:
RCA: Experiences with an IDE annotation tool  06
RCA: Experiences with an IDE annotation tool
收藏 引用
CHINZ 2006: 7th International Conference NZ Chapter of the ACM's Special Interest Group on Human-Computer Interaction(SIGCHI-NZ)
作者: Priest, Richard Plimmer, Beryl Department of Computer Science University of Auckland Private Bag 92019 Auckland New Zealand
Ink annotation is a common method for recording feedback on a paper document. However, reviewing code on paper is difficult due to its non-linear nature. This project extends existing research ideas to develop a digit... 详细信息
来源: 评论
Gaigen 2: A geometric algebra implementation generator  06
Gaigen 2: A geometric algebra implementation generator
收藏 引用
5th International Conference on Generative programming and Component Engineering, GPCE'06. Co-located with the 21st International Conference on Object-Oriented programming, Systems, Languages, and Applications, OOPSLA 2006
作者: Fontijne, Daniel University of Amsterdam
Geometric Algebra (GA) is an algebra that encodes geometry much better than standard techniques, which are mainly based on linear algebra with various extensions. Compared to standard techniques, GA has clearer semant... 详细信息
来源: 评论
automatic generation of functional programs from CASL specifications
Automatic generation of functional programs from CASL specif...
收藏 引用
2006 International Conference on Software Engineering Advances, ICSEA'06
作者: Arnould, Agnès Fuchs, Laurent Aiguier, Marc Brunet, Thibaud SIC Université de Poitiers SP2MI 86962 Futuroscope France LaMI CNRS-UMR 842 Université d'Évry 91000 Évry France
In this paper, we present a code generator transforming a class of CASL specifications into O'Caml programs. This code generator is dedicated to rapid prototyping of CASL specifications especially in the area of g... 详细信息
来源: 评论
Automated programming the next wave of developer power tools
收藏 引用
IEEE Software 2006年 第3期23卷 91-93页
作者: L. McLaughlin School of Electrical Engineering Aalto University Aalto Finland
Today's research on automated programming tools, a class of up-and-coming technologies that aim to make development faster, better, and less expensive boasts a wide range of ideas. Automated programming is making ... 详细信息
来源: 评论
User-extensible compiler front-end generator
User-extensible compiler front-end generator
收藏 引用
IASTED International Conference on Software Engineering, as part of the 24th IASTED International Multi-Conference on APPLIED INFORMATICS
作者: Sheng-Jun, Wang Long-Fei, Jin Cheng-Zhi, Jin Lei, Liu College of Computer Science and Technology Juin University 2699 QianJin Street Changchun 130012 China
Parsing algorithm, target language and structure are three interrelated aspects of compiler front-end generators. In this paper, JLUCC - a user-extensible compiler front-end gene- rator is introduced. JLUCC has a nove... 详细信息
来源: 评论
Bank Asset Liability Management Model Based on Multi-period Stochastic programming
Bank Asset Liability Management Model Based on Multi-period ...
收藏 引用
World Congress on Intelligent Control and Automation (WCICA)
作者: Xiu Jin Yingjie Feng Xiaoyuan Huang School of Business Administration Northeastern University Shenyang China
A multi-period stochastic programming model with simple recourse was developed to study the asset and liability management of banks under uncertainties based on the domestic economic environment. The uncertainties in ... 详细信息
来源: 评论
A programming System for Text-Editing Task Using Japanese Natural Language Text and Direct Manipulation
A Programming System for Text-Editing Task Using Japanese Na...
收藏 引用
IEEE International Conference on Systems, Man and Cybernetics
作者: Nozomu Kaneko Takehisa Onisawa Graduate School of Systems and Information Engineering University of Tsukuba Japan
In this paper, a programming system for text-editing task that uses both natural language text and direct manipulation is proposed. The system is based on the idea of programming by paraphrasing, which enables users w... 详细信息
来源: 评论
Mostly C, challenges in LEGO® RCX code generation
Mostly C, challenges in LEGO&reg RCX code generation
收藏 引用
44th Annual ACM Southeast Conference, ACMSE 2006
作者: Cook, Robert P. Georgia Southern University Department of Computer Sciences Statesboro GA 30460
In this paper, we describe the challenges of generating code for the LEGO&reg RCX microcomputer controller. The compiler improves on the widely used NQC (not-quite C) compiler with the addition of new data types, ... 详细信息
来源: 评论
GP-pro: the generative programming protocol generator for routing in mobile ad hoc networks
GP-pro: the generative programming protocol generator for ro...
收藏 引用
IEEE Workshop on Wireless Mesh Networks (WiMesh)
作者: Pedro E. Villanueva-pena Thomas Kunz SITE University of Ottawa Ottawa ONT Canada SCE Carleton University Ottawa ONT Canada
Routing in mobile ad hoc networks (MANETs) where network topology is highly dynamic is not a trivial task. Routing protocols have been profoundly researched but only three of them have reached the RFC status (AODV[7],... 详细信息
来源: 评论
Towards programming robots by gestures, test-case: programming bore inspection for small lotsizes
Towards programming robots by gestures, test-case: programmi...
收藏 引用
IEEE International Conference on Robotics and Automation (ICRA)
作者: C. Eberst H. Nohmayer G. Umgeher M. Takagi Profactor Produktionsforschungs GmbH Steyr Austria Profactor Produktionsforschungs GmbH Steyr Shibaura Institute of Technology Saitama Japan Shibaura Institute of Technology Saitama-city Japan
Rapid programming of applications with down-times near zero is a key to automation of small lotsize production. This paper proposes an approach to program by gestures. It combines the visual observation and interpreta... 详细信息
来源: 评论