咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,518 篇 电子文献
  • 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,518 篇 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,457 篇 英文
  • 56 篇 其他
  • 3 篇 中文
  • 2 篇 日文
  • 1 篇 法文
检索条件"主题词=Automatic Programming"
1518 条 记 录,以下是541-550 订阅
排序:
Type-driven automatic quotation of concrete object code in meta programs
Type-driven automatic quotation of concrete object code in m...
收藏 引用
2nd International Workshop on Rapid Integration of Software Engineering Techniques (RISE 2005)
作者: Vinju, J. J. Ctr Wiskunde & Informat NL-1090 GB Amsterdam Netherlands
Meta programming can be facilitated by the ability to represent program fragments in concrete syntax instead of abstract syntax. The resulting meta programs are more self-documenting. One caveat in concrete meta progr... 详细信息
来源: 评论
The enumeration of Costas arrays of size 26
The enumeration of Costas arrays of size 26
收藏 引用
40th Annual Conference on Information Sciences and Systems (CISS)
作者: Rickard, Scott Connell, Edward Duignan, Frank Ladendorf, Bruce Wade, Aidan Univ Coll Dublin Sch Elect Elect & Mech Engn Dublin 2 Ireland
We present results of a grid computer search which enumerated the number of 26-by-26 Costas arrays. Of the 26! possible permutation matrices, only 56 of them satisfy the Costas condition that the N choose 2 line segme... 详细信息
来源: 评论
A regularity property of Golomb-Costas arrays
A regularity property of Golomb-Costas arrays
收藏 引用
40th Annual Conference on Information Sciences and Systems (CISS)
作者: Gow, Rod Univ Coll Dublin Dept Math Dublin 4 Ireland
A Golomb-Costas array is an arrangement of dots and blanks, defined for each positive integer power of a prime and satisfying certain unusual conditions. A dot occurring in such an array is an even/even position if it... 详细信息
来源: 评论
A NEW SCHEME FOR CONSTRUCTING HIGH CODE EFFICIENCY LS ZCW MULTIPLE ACCESS CODES
A NEW SCHEME FOR CONSTRUCTING HIGH CODE EFFICIENCY LS ZCW MU...
收藏 引用
1st International Conference on Communications and Networking in China
作者: Yu, Zheng Yang, Xing Li, Daoben Beijing Univ Posts & Telecommun Sch Informat Engn Beijing 100876 Peoples R China
New zero correlation window(ZCW) LS(loosely synchronous) codes derived from basic LS codes are constructed. A general scheme for generating these codes is also discussed. It is showed mathematically that these new cod... 详细信息
来源: 评论
Techniques for lightweight generator refactoring
Techniques for lightweight generator refactoring
收藏 引用
International Summer School on Generative and Transformational Techniques in Software Engineering
作者: Krahn, Holger Rumpe, Bernhard Tech Univ Carolo Wilhelmina Braunschweig Inst Software Syst Engn D-3300 Braunschweig Germany
This paper presents an exercise to facilitate refactoring techniques not only on generated code, but also on generator templates by reusing existing refactoring techniques from the target language. Refactoring is part... 详细信息
来源: 评论
Formulating Composition Strategy for Intelligent Web Services
Formulating Composition Strategy for Intelligent Web Service...
收藏 引用
International Conference on Computing and Informatics
作者: Shen Jianjing Zhao Huijie Wang Yuqin Zhu Weidong Zhengzhou Inst Informat Sci & Technol Dept Elect Informat Engn Zhengzhou 450001 Peoples R China
For improving the function of Web services, this paper puts forward a method of formulating Web services composition strategy based on Web services components, framework and workflows. It describes the mapping of the ... 详细信息
来源: 评论
automatic annotation using citation links and co-citation measure:: Application to the water information system
收藏 引用
1st Asian Semantic Web Conference
作者: Abrouk, Lylia Gouaich, Abdelkader LIRMM F-34392 Montpellier 5 France EMWIS Euro Mediterranean Informat Syst F-06560 Valbonne France
This paper describes an approach to automatically annotate documents for the Euro-Mediterranean Water Information System. This approach uses the citation links and co-citation measure in order to refine annotations ex... 详细信息
来源: 评论
Program generation for the all-pairs shortest path problem
Program generation for the all-pairs shortest path problem
收藏 引用
PACT 2006 - 15th International Conference on Parallel Architectures and Compilation Techniques
作者: Han, Sung-Chul Franchetti, Franz Püschel, Markus Electrical and Computer Engineering Carnegie Mellon University Pittsburgh PA 15213
A recent trend in computing are domain-specific program generators, designed to alleviate the effort of porting and reoptimizing libraries for fast-changing and increasingly complex computing platforms. Examples inclu... 详细信息
来源: 评论
Fast and flexible instruction selection with on-demand tree-parsing automata  06
Fast and flexible instruction selection with on-demand tree-...
收藏 引用
ACM SIGPLAN Conference on programming Language Design and Implementation, PLDI 2006 - PLAS 2006: 2006 programming Languages and Analysis for Security Workshop
作者: Ertl, M. Anton Casey, Kevin Gregg, David TU Wien Austria Trinity College Dublin Ireland Institut für Computersprachen Technische Universität Wien Argentinierstraße 8 A-1040 Wien Austria
Tree parsing as supported by code generator generators like BEG, burg, iburg, lburg and ml-burg is a popular instruction selection method. There are two existing approaches for implementing tree parsing: dynamic progr... 详细信息
来源: 评论
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... 详细信息
来源: 评论