咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是541-550 订阅
排序:
A Multifunctional System Based on Robot Surfacing by Using Off-Line programming
A Multifunctional System Based on Robot Surfacing by Using O...
收藏 引用
International Conference on Intelligent Computation Technology and Automation, ICICTA
作者: Sheng Zhu Jian Liu Fengliang Yin Canduo Shen Chao Li Zhiqiang Ren National Key Laboratory for Remanufacturing of the Academy of Armored Forces Engineering Beijing China
A flexible multifunctional system based on robot surfacing is established, which consists of four subsystems: central controlling subsystem, 3D laser measuring subsystem, digital gas-shield arc welding subsystem and r... 详细信息
来源: 评论
Compiler-Assisted Overlapping of Communication and Computation in MPI Applications
Compiler-Assisted Overlapping of Communication and Computati...
收藏 引用
IEEE International Conference on Cluster Computing (CLUSTER)
作者: Guo, Jichi Yi, Qing Meng, Jiayuan Zhang, Junchao Balaji, Pavan Univ Colorado Colorado Springs CO 80309 USA Google Inc Mountain View CA USA Argonne Natl Lab Lemont IL USA
The performance of distributed-memory applications, many of which are written in MPI, critically depends on how well the applications can ameliorate the long latency of data movement by overlapping them with ongoing c... 详细信息
来源: 评论
Specifying conceptual interface patterns in an object-oriented method with automatic code generation  2
Specifying conceptual interface patterns in an object-orient...
收藏 引用
2nd International Workshop on User Interfaces to Data Intensive Systems (UIDIS 2001)
作者: Molina, PJ Pastor, O Martí, S Fons, JJ Insfran, E CARE Technol Denia 03700 Spain
Too often, when software is being developed, the software engineers do not sufficiently consider how easy the system will be to use and learn. Following the steps of other related works developed in our research group... 详细信息
来源: 评论
Dependency-Based automatic Parallelization of Java Applications
Dependency-Based Automatic Parallelization of Java Applicati...
收藏 引用
20th Euro-Par International Workshops
作者: Rafael, Joao Correia, Ivo Fonseca, Alcides Cabral, Bruno Univ Coimbra P-3000 Coimbra Portugal
There are billions of lines of sequential code inside nowadays software which do not benefit from the parallelism available in modern multicore architectures. Transforming legacy sequential code into a parallel versio... 详细信息
来源: 评论
automatic 'Descente infinie' induction reasoning
收藏 引用
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
作者: Stratulat, S Univ Paul Verlaine Metz LITA F-57000 Metz France
We present a framework and a methodology to build and analyse automatic provers using the Descente Infinie' induction principle. A stronger connection between different proof techniques like those based on implici... 详细信息
来源: 评论
Mining object usage models  07
Mining object usage models
收藏 引用
29th International Conference on Software Engineering (ICSE 2007)
作者: Wasylkowski, Andrzej Univ Saarland D-6600 Saarbrucken Germany
Programs usually follow many implicit programming rules or patterns, violations of which frequently lead to failures. This thesis proposes a novel approach to statically mine object usage models representing such patt... 详细信息
来源: 评论
Test suite design for code generation tools  03
Test suite design for code generation tools
收藏 引用
18th IEEE International Conference on Automated Software Engineering
作者: Stürmer, I Conrad, M DaimlerChrysler AG Res & Technol Berlin Germany
In model-based development, executable specifications (models) are used for the design of the software to be developed. New techniques allow the automatic generation of compact code directly from the model via so-call... 详细信息
来源: 评论
Efficient code generation from synchronous programs
Efficient code generation from synchronous programs
收藏 引用
4th ACM/IEEE International Conference on Formal Methods and Models for Co-Design
作者: Schneider, Klaus Brandt, Jens Vecchie, Eric Univ Kaiserslautern Dept Comp Sci React Syst Grp D-6750 Kaiserslautern Germany
We present a new compilation technique for generating efficient code from synchronous programs. The main idea of our approach consists of computing for each program location an instantaneous statement (called a job) t... 详细信息
来源: 评论
automatic generation of bas-reliefs from 3D shapes
Automatic generation of bas-reliefs from 3D shapes
收藏 引用
9th International Conference on Shape Modeling and Applications
作者: Song, Wenhao Belyaev, Alexander Seidel, Hans-Peter MPI Informat Comp Graph Grp Stuhlsatzenhausweg 85 D-66123 Saarbrucken Germany
In this paper we introduce and study a new problem of converting a given 3D shape (or a 2.5D range data) into a bas-relief. The problem can be considered as a geometry counterpart of the HDR image compression problem ... 详细信息
来源: 评论
Merge-based computation of minimal generators
Merge-based computation of minimal generators
收藏 引用
13th International Conference on Conceptual Structures
作者: Frambourg, C Valtchev, P Godin, R Univ Quebec Montreal Dept Informat Montreal PQ Canada
Minimal generators (mingens) of concept intents are valuable elements of the Formal Concept Analysis (FCA) landscape, which are widely used in the database field, for data mining but also for database design purposes.... 详细信息
来源: 评论