咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是651-660 订阅
排序:
automatic seal imprint verification system for bankcheck processing
Automatic seal imprint verification system for bankcheck pro...
收藏 引用
3rd International Conference on Information Technology and Applications, ICITA 2005
作者: Ueda, Katsuhiko Matsuo, Ken'nchi Department of Information Engineering Nara National College of Technology Yata-cho 22 Yamatokoriyama Nara 639-1080 Japan
In this paper, we propose a multi-expert seal imprint verification system. The system has been specifically designed for applications in the Japanese bankcheck processing. A difficult problem encountered in automatic ... 详细信息
来源: 评论
The shrink-swell generator
The shrink-swell generator
收藏 引用
IEE Irish Signals and Systems Conference
作者: Horan, David M. Guinee, Richard A. Department of Electronic Eng. Cork Institute of Technology Cork Ireland
In this paper, a novel construction of a pseudo random binary sequence generator based on the shrinking generator concept is presented. This new generator is the shrink-swell generator and is an irregular combination ... 详细信息
来源: 评论
Governor: Autonomic throttling for aggressive idle resource scavenging
Governor: Autonomic throttling for aggressive idle resource ...
收藏 引用
2nd International Conference on Autonomic Computing, ICAC 2005
作者: Strickland, Jonathan W. Freeh, Vincent W. Ma, Xiaosong Vazhkudai, Sudharshan S. Department of Computer Science North Carolina State University Raleigh NC 27695-7534 Computer Science and Mathematics Division Oak Ridge National Laboratory
Scavenging (or resource borrowing) is a common approach used to harness unused resources to perform useful calculations. Since these are volunteer contributions from resource owners, it is vital to reduce the impact o... 详细信息
来源: 评论
Autonomic computing and reliability improvement
Autonomic computing and reliability improvement
收藏 引用
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005
作者: Dai, Yuan-Shun Department of Computer and Information Science Indiana University Purdue University Indianapolis IN United States
The rapidly increasing complexity of systems is driving the movement towards autonomic systems that are capable of managing themselves without the need for human intervention. Without autonomic technologies, many conv... 详细信息
来源: 评论
Preventing format-string attacks via automatic and efficient dynamic checking  05
Preventing format-string attacks via automatic and efficient...
收藏 引用
CCS 2005 - 12th ACM Conference on Computer and Communications Security
作者: Ringenburg, Michael F. Grossman, Dan Department of Computer Science and Engineering University of Washington Box 352350 Seattle WA 98195
We propose preventing format-string attacks with a combination of static dataflow analysis and dynamic white-lists of safe address ranges. The dynamic nature of our white-lists provides the flexibility necessary to en... 详细信息
来源: 评论
Investigations into market index trading models using evolutionary automatic programming  13
收藏 引用
13th Irish Conference on Artificial Intelligence and Cognitive Science
作者: Dempsey, I O'Neill, M Brabazon, A Univ Limerick Dept Comp Sci & Informat Syst Limerick Ireland Univ Coll Dublin Dept Accountancy Dublin 2 Ireland
This study examines the potential of an evolutionary automatic programming methodology to uncover a series of useful technical trading rules for the US S&P stock index. Index values for the period 01/01/1991 to 01... 详细信息
来源: 评论
Improving the scalability of inductive functional programming
收藏 引用
WSEAS Transactions on Computers 2005年 第8期4卷 837-848页
作者: Berg, Henrik Olsson, Roland Østfold College 1750 Halden Norway
When automatically synthesizing big programs, it is important to consider the combinatorial properties of the program transformations that are employed. In this paper, we show how to effectively generate transformatio... 详细信息
来源: 评论
Random generators for dependent types
Random generators for dependent types
收藏 引用
First International Colloquium on Theoretical Aspects of Computing - ICTAC 2004
作者: Dybjer, Peter Haiyan, Qiao Takeyama, Makoto Department of Computing Science Chalmers University of Technology 412 96 Göteborg Sweden Research Centre for Verification and Semantics National Institute of Advanced Industrial Science and Technology Nakoji 3-11-46 Amagasaki Hyogo 661-097 Japan
We show how to write surjective random generators for several different classes of inductively defined types in dependent type theory. We discuss both non-indexed (simple) types and indexed families of types. In parti... 详细信息
来源: 评论
Enabling requirements-based programming for highly-dependable complex parallel and distributed systems
Enabling requirements-based programming for highly-dependabl...
收藏 引用
International Conference on Parallel and Distributed Systems (ICPADS)
作者: M.G. Hinchey J.L. Rash C.A. Rouff Information Systems Division NASA Goddard Space Flight Center Greenbelt MD USA Advanced Concepts Business Unit SAIC McLean VA USA
The manual application of formal methods in system specification has produced successes, but in the end, despite any claims and assertions by practitioners, there is no provable relationship between a manually derived... 详细信息
来源: 评论
Predicting subset sum pseudorandom generators
Predicting subset sum pseudorandom generators
收藏 引用
11th International Workshop on Selected Areas in Cryptography, SAC 2004
作者: Von Gathen, Joachim Zur Shparlinski, Igor E. Fakultät für Elektrotechnik Informatik und Mathematik Universität Paderborn 33095 Paderborn Germany Department of Computing Macquarie University NSW 2109 Australia
We consider the subset sum pseudorandom generator, introduced by Rueppel and Massey in 1985 and given by a linearly recurrent bit sequence u0, u1, ... of order n over 2, and weights w = (w 0,..., wn-1) ∈. Rn for some... 详细信息
来源: 评论