咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是641-650 订阅
排序:
automatic generation of suggestions for program investigation
Automatic generation of suggestions for program investigatio...
收藏 引用
ESEC/FSE'05 - Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)
作者: Robillard, Martin P. School of Computer Science McGill University Montreal Que. Canada
Before performing a modification task, a developer usually has to investigate the source code of a system to understand how to carry out the task. Discovering the code relevant to a change task is costly because it is... 详细信息
来源: 评论
Overview of existing safeguarding techniques for automatically generated code  2
Overview of existing safeguarding techniques for automatical...
收藏 引用
2nd International Workshop on Software Engineering for Automotive Systems, SEAS 2005
作者: Sturmer, Ingo Weinberg, Daniela Conrad, Mirko ACM Germany Research and Technology DaimlerChrysler AG REI/SM Germany Fraunhofer FIRST Computer Architecture and Software Technology Germany
Code generators are increasingly used in an industrial context to translate graphical models into executable code. Since the code is often deployed in safety-related environments, the quality of the code generators is... 详细信息
来源: 评论
Ziggurat-based hardware gaussian random number generator
Ziggurat-based hardware gaussian random number generator
收藏 引用
2005 International Conference on Field Programmable Logic and Applications, FPL
作者: Zhang, Guanglie Leong, Philip H. W. Lee, Dong-U. Villasenor, John D. Cheung, Ray C. C. Luk, Wayne Department of Computer Sci. and Eng. Chinese University of Hong Kong Shatin NT Hong Kong Electrical Engineering Department University of California Los Angeles CA United States Department of Computing Imperial College London London United Kingdom
An architecture and implementation of a high performance Gaussian random number generator (GRNG) is described. The GRNG uses the Ziggurat algorithm which divides the area under the probability density function into th... 详细信息
来源: 评论
Queueing behavior of a type-II hybrid-ARQ in a TDMA system over a markovian channel
Queueing behavior of a type-II hybrid-ARQ in a TDMA system o...
收藏 引用
2005 International Conference on Wireless Networks, Communications and Mobile Computing
作者: Seo, Jun-Bae Lee, Seung-Que Park, Nam-Hoon Lee, Hyong-Woo Cho, Ong-Ho Depart. of Wireless System Research Electronics and Telecommunication Research Institute 161 Gajeong-dong Yuseong-gu Daejeon 305-350 Korea Republic of Korea University Choongnam Korea Republic of
In this paper, the queueing performance of a type-II hybrid ARQ (automatic Repeat reQuest) scheme in a TDMA system over a Markovian channel is analyzed by assuming infinite queue size. The system of interest can be de... 详细信息
来源: 评论
Learning automation policies for pervasive computing environments
Learning automation policies for pervasive computing environ...
收藏 引用
2nd International Conference on Autonomic Computing, ICAC 2005
作者: Ziebart, Brian D. Roth, Dan Campbell, Roy H. Dey, Anind K. School of Computer Science Carnegie Mellon University Department of Computer Science University of Illinois Urbana-Champaign
If current trends in cellular phone technology, personal digital assistants, and wireless networking are indicative of the future, we can expect our environments to contain an abundance of networked computational devi... 详细信息
来源: 评论
automatic landing control using particle swarm optimization
Automatic landing control using particle swarm optimization
收藏 引用
2005 IEEE International Conference on Mechatronics, ICM '05
作者: Juang, Jih-Gau Lin, Bo-Shian Chin, Kuo-Chih Department of Communication and Guidance Engineering National Taiwan Ocean University Keelung 20224 Taiwan
This paper proposes an intelligent aircraft automatic landing controller that uses fuzzy-neural controller with particle swarm optimization to improve the performance of conventional automatic landing system. Control ... 详细信息
来源: 评论
automatic change detection based on least square image matching
Automatic change detection based on least square image match...
收藏 引用
MIPPR 2005: Geospatial Information, Data Mining, and Applications
作者: Wang, Mi Zhang, Baorong Ning, Xiaogang State Key Laboratory of Information Engineering in Surveying Mapping and Remote Sensing Wuhan University Wuhan 430079 China School of Remote Sensing and Information Engineering Wuhan University Wuhan 430079 China
The key of automatic change detection between multi-temporal images is these images' matching accuracy should reach sub-pixel level. Nevertheless, due to the influence of various factors of geometrical distortion,... 详细信息
来源: 评论
Experience with collaborating managers: Node group manager and provisioning manager
Experience with collaborating managers: Node group manager a...
收藏 引用
2nd International Conference on Autonomic Computing, ICAC 2005
作者: Chess, David M. Pacifici, Giovanni Spreitzer, Mike Steinder, Malgorzata Tantawi, Asser Whalley, Ian IBM T.J. Watson Research Center 19 Skyline Drive Hawthorne NY 10532
This paper presents an autonomic system in which two managers with different responsibilities collaborate to achieve an overall objective. The first, a node group manager, uses modeling and optimization algorithms to ... 详细信息
来源: 评论
MDD activities at Siemens AG example of the utilization of Model Driven technologies and automatic code generation techniques within various Siemens Business Units
MDD activities at Siemens AG example of the utilization of M...
收藏 引用
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme - Workshop on Model-Based Development of Embedded Systems, MBEES 2005
作者: Serrano, Ricardo Jimenez CT SE 2 Siemens AG Otto-Hahn-Ring 6 D-81730 Munich Germany
Currently many organizations are adopting MDD to describe their software systems. Model based techniques can bring many benefits as an embedded software development process but they also expose the development team to... 详细信息
来源: 评论
automatic verilog code generation through grammatical evolution  05
Automatic verilog code generation through grammatical evolut...
收藏 引用
GECCO 2005 - Genetic and Evolutionary Computation Conference
作者: Karpuzcu, Ulya R. Department of Computer Engineering Istanbul Technical University Maslak Istanbul34469 Turkey
This work aims to investigate the automatic generation of Verilog code, representing digital circuits through Grammatical Evolution (GE). Preliminary tests using a simple full adder generation problem have been perfor... 详细信息
来源: 评论