咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是991-1000 订阅
排序:
Multiprocessor design verification with generated realistic MP programs
Multiprocessor design verification with generated realistic ...
收藏 引用
International Phoenix Conference on Computers and Communications (IPCCC)
作者: M. Sullivan P. Wilson C. Montemayor R. Evers J.-T. Yen Somerset Design Center Austin TX USA
High-end microprocessors now tend to be superscalar, to execute operations out of order, and to support shared memory among multiple processors. Verifying the functionality of such a microprocessor using simulation re... 详细信息
来源: 评论
Issues on deterministic transformation of logic-based program specification
Issues on deterministic transformation of logic-based progra...
收藏 引用
International Conference on Tools for Artificial Intelligence (ICTAI)
作者: J.M. Lin Department of Information and Computer Education National Taiwan Normal University Taipei Taiwan
Issues of logic-based program transformation are discussed, and a method for transforming a source program expressed as a set of extended Horn clauses into a target program in an Algol-like procedural language is pres... 详细信息
来源: 评论
Towards a Theory of Special-Purpose Program Obfuscation
Towards a Theory of Special-Purpose Program Obfuscation
收藏 引用
IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
作者: Muhammad Rizwan Asghar Steven Galbraith Andrea Lanzi Giovanni Russello Lukas Zobernig School of Computer Science The University of Auckland New Zealand The University of Auckland New Zealand Computer Science Department Universita degli studi di Milano Italy Department of Mathematics The University of Auckland New Zealand
Most recent theoretical literature on program obfuscation is based on notions like virtual black box (VBB) obfuscation and indistinguishability obfuscation (iO). These notions are very strong and are hard to satisfy. ... 详细信息
来源: 评论
A Knowledge-based Approach To Software System Understanding
A Knowledge-based Approach To Software System Understanding
收藏 引用
Knowledge-Based Software Engineering Conference
作者: W. Kozaczynski S. Letovsky J. Ning Center for Strategic Technology Research Andersen Consulting Chicago IL USA
来源: 评论
A language for generating HL7 reformatting programs
A language for generating HL7 reformatting programs
收藏 引用
Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)
作者: C.E. Williams Columbia Presbyterian Medical Center New York NY USA
Describes the design of a language for automatically generating programs to reformat HL7 messages. The clinical information system (CIS) at Columbia-Presbyterian Medical Center (CPMC) uses HL7 as a standard for data i... 详细信息
来源: 评论
Optimization of Workspace of a 2 DOF parallel robot
Optimization of Workspace of a 2 DOF parallel robot
收藏 引用
IEEE International Conference on Mechatronics and Automation
作者: Stan Sergiu Vistrian Maties Radu Balan Department of Mechanics and Programming Technical University of Cluj-Napoca Cluj-Napoca Romania Department of Mechatronics Technical University of Cluj-Napoca Cluj-Napoca Romania
In this paper a mono-objective optimum design procedure for parallel robot is outlined by using optimality criterion of workspace and numerical aspects. A mono-objective optimization problem is formulated by referring... 详细信息
来源: 评论
Design reliability-estimation through statistical analysis of bug discovery data
Design reliability-estimation through statistical analysis o...
收藏 引用
Design Automation Conference
作者: Y. Malka A. Ziv MATAM IBM Research Laboratory Haifa Israel
Statistical analysis of bug discovery data is used in the software industry to check the quality of the testing process and estimate the reliability of the tested program. In this paper, we show that the same techniqu... 详细信息
来源: 评论
automatic architecture evaluation for hardware/software codesign
Automatic architecture evaluation for hardware/software code...
收藏 引用
IEEE International Conference on Electronics, Circuits and Systems (ICECS)
作者: G. Hadjiyiannis P. Russo S. Devadas Laboratory for Computer Science Massachusetts Institute of Technology Cambridge MA USA Massachusetts Institute of Technology Cambridge MA US
Hardware/software codesign requires an accurate way of evaluating candidate architectures. Architecture exploration (which can be used to automate hardware/software codesign) requires an automatic way of evaluating ca... 详细信息
来源: 评论
Simulation modelling support via network based concepts
Simulation modelling support via network based concepts
收藏 引用
Simulation Winter Conference
作者: S.C. Mathewson Management School Imperial College London London UK
The author traces the development history of one program generator, and then reviews the constraints inherent in a very simple network definition of the system logic. Alternative solutions for strengthening the system... 详细信息
来源: 评论
Experiences Using Automated 4ests and 4est Driven Development in Computer 9cience I
Experiences Using Automated 4ests and 4est Driven Developmen...
收藏 引用
Agile Development Conference
作者: Carol A. Wellington Thomas H. Briggs C. Dudley Girard Shippensburg University USA
We are interested in how to expose our students to test driven development (TDD) and have experimented with a variety of ways of leveraging testing technology to help our students learn to program in our first program... 详细信息
来源: 评论