咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是481-490 订阅
排序:
The Affinity Platform: Service-Oriented Architecture Based on Abstraction of Connection  20
The Affinity Platform: Service-Oriented Architecture Based o...
收藏 引用
ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp) / ACM International Symposium on Wearable Computers (ISWC)
作者: Ardelean, Alexandru Benta, Kuderna-Iulian IT Univ Copenhagen Copenhagen Denmark Babes Bolyai Univ Cluj Napoca Romania
The Affinity Platform is an innovative Software as a Service orchestration system designed for building Service-Oriented software solutions. It challenges the modularity of regular software frameworks and microservice... 详细信息
来源: 评论
Automation applied to television master control and film room
收藏 引用
IRE Transactions on Broadcast Transmission Systems 1957年 第1期PGBTS-9卷 11-20页
作者: Berryhill, J. L. Lee KRON-TV San Francisco California United States
来源: 评论
UWE4JSF: A Model-Driven Generation Approach for Web Applications
收藏 引用
9th International Conference on Web Engineering
作者: Kroiss, Christian Koch, Nora Knapp, Alexander Univ Munich D-80539 Munich Germany
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applications designed with UWE. It builds upo... 详细信息
来源: 评论
Specializing Compiler Optimizations Through Programmable Composition For Dense Matrix Computations  47
Specializing Compiler Optimizations Through Programmable Com...
收藏 引用
47th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO)
作者: Yi, Qing Wang, Qian Cui, Huimin Univ Colorado Dept Comp Sci Colorado Springs CO 80907 USA Univ Colorado Colorado Springs CO 80907 USA Univ Chinese Acad Sci Hefei Peoples R China Chinese Acad Sci Inst Software Beijing Peoples R China Chinese Acad Sci SKL Comp Sci Beijing Peoples R China Chinese Acad Sci Inst Comp Tech SKL Comp Architecture Beijing Peoples R China
General purpose compilers aim to extract the best average performance for all possible user applications. Due to the lack of specializations for different types of computations, compiler attained performance often lag... 详细信息
来源: 评论
Suggestions of Lyee: A Framework on Software Methodological Thinking
Suggestions of Lyee: A Framework on Software Methodological ...
收藏 引用
4th International Conference on Software Methodologies, Tools and Techniques (SoMeT 2005)
作者: Negoro, Fumio ISD Inst Minato Ku Tokyo 1080074 Japan
This study considers our thinking is comprised of the set of something. Something in this study is cited as existences resident in our mind. This study considers the existences can be defined by certain rules. What ar... 详细信息
来源: 评论
Deinsum: Practically I/O Optimal Multi-Linear Algebra
Deinsum: Practically I/O Optimal Multi-Linear Algebra
收藏 引用
International Conference for High Performance Computing, Networking, Storage and Analysis (HPC)
作者: Ziogas, Alexandros Nikolaos Kwasniewski, Grzegorz Ben-Nun, Tal Schneider, Timo Hoefler, Torsten Swiss Fed Inst Technol Dept Comp Sci Zurich Switzerland NextSilicon Tel Aviv Israel
Multilinear algebra kernel performance on modern massively-parallel systems is determined mainly by data movement. However, deriving data movement-optimal distributed schedules for programs with many high-dimensional ... 详细信息
来源: 评论
Future of numerical control in industry
收藏 引用
IEEE Transactions on Industrial Electronics [May 1963] 1963年 第1期IE-10卷 15-21页
作者: Hori Armour Research Foundation Chicago Ill. United States
Numerical control originated with the employment of digital computer programs for the computation of machining points, and feedback control systems for automatically responding to the numerical commands. The subsequen... 详细信息
来源: 评论
Data Structure Synthesis  24
Data Structure Synthesis
收藏 引用
24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)
作者: Loncaric, Calvin Univ Washington Seattle WA 98195 USA
All mainstream languages ship with libraries implementing lists, maps, sets, trees, and other common data structures. These libraries are sufficient for some use cases, but other applications need specialized data str... 详细信息
来源: 评论
Graph Structured Program Evolution  07
Graph Structured Program Evolution
收藏 引用
Annual Conference of Genetic and Evolutionary Computation Conference
作者: Shirakawa, Shinichi Ogino, Shintaro Nagao, Tomoharu Yokohama Natl Univ Grad Sch Environm & Informat Sci Hodogaya Ku 79-7 Tokiwadai Yokohama Kanagawa 2408501 Japan Yokohama Natl Univ Venture Business Lab Hodogaya Ku Yokohama Kanagawa 2408501 Japan
In recent Years a lot of automatic programming techniques have developed. A typical example of automatic programming is Genetic programming (GP), and various extensions and representations for GP have been proposed so... 详细信息
来源: 评论
Towards automatically configurable multimedia applications
Towards automatically configurable multimedia applications
收藏 引用
-ACM Multimedia 2001 Workshops-International Workshop on Multimedia Middleware (M3W)
作者: Naguib, H. Coulouris, G. Laboratory for Communications Eng. Cambridge University Trumpington Street Cambridge CB2 1PZ United Kingdom
We describe and illustrate an approach to the automatic configuration of component-based multimedia applications. The approach is based on the deployment of a run-time application model that mirrors the active applica... 详细信息
来源: 评论