咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是691-700 订阅
排序:
A software test program generator for verifying system-on-chips
A software test program generator for verifying system-on-ch...
收藏 引用
IEEE International High-Level Design Validation and Test Workshop
作者: A. Cheng Cheng-Chew Lim A. Parashkevov Freescale Semiconductor Australia Private Limited Adelaide SA Australia School of Electrical and Electronic Engineering University of Adelaide Adelaide SA Australia
Design verification is crucial for successful systems-on-chips (SoCs). However, validating and proving the correctness of SoCs is often a bottleneck in the design project. This paper presents a technique to test the S... 详细信息
来源: 评论
eBlocks - an enabling technology for basic sensor based systems
eBlocks - an enabling technology for basic sensor based syst...
收藏 引用
International Symposium on Information Processing in Sensor Networks (IPSN)
作者: S. Cotterell R. Mannion F. Vahid H. Hsieh Department of Computer Science and Engineering University of California Riverside Riverside CA USA Center of Embedded Computer Systems University of California Irvine USA
We describe the development of a set of embedded system building blocks, known as eBlocks. An eBlock network can be viewed as a basic form of sensor network that can be developed by non-programming engineers, scientis... 详细信息
来源: 评论
Extending SPQR to Architectural Analysis by Semi-Automated Training
Extending SPQR to Architectural Analysis by Semi-Automated T...
收藏 引用
Working IEEE/IFIP Conference on Software Architecture
作者: J.McC. Smith D. Stotts University of North Carolina Chapel Hill Chapel Hill NC USA
We present an overview of SPQR, the System for Pattern Query and Recognition, a toolkit that detects instances of known design patterns directly from object-oriented source code in an automated and flexible manner. Ba... 详细信息
来源: 评论
Countermeasures Against Distributed Denial of Service Attacks
Countermeasures Against Distributed Denial of Service Attack...
收藏 引用
IEEE International Workshop on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications
作者: K. Stefanidis D. N. Serpanos Department of Electrical and Computer Engineering University of Patras Patras Greece
We present a survey of the current proposed countermeasures against distributed denial of service (DDoS) attacks that give a promising approach to the field. We also state the weaknesses of the above methods which res... 详细信息
来源: 评论
Graphics-to-haptics: a tool for developing haptic virtual environments
Graphics-to-haptics: a tool for developing haptic virtual en...
收藏 引用
World Haptics Conference
作者: E. Acosta B. Temkin Department of Computer Science Department of Surgery Texas Tech University USA
Current haptic application development tools typically require considerable programming efforts in order to make an existing surface-based graphical virtual environment (G-VE) touchable. In this paper we describe a gr... 详细信息
来源: 评论
Specifying Web Service Recovery Support with Conversations
Specifying Web Service Recovery Support with Conversations
收藏 引用
Annual Hawaii International Conference on System Sciences (HICSS)
作者: F. Tartanoglu V. Issarny INRIA Rocquencourt Le Chesnay France
Web services offer a number of valuable features towards supporting the development of open distributed systems, built out of the composition of autonomous services. Nonetheless, the resulting systems must offer a num... 详细信息
来源: 评论
Verification of a timed multitask system with UPPAAL
Verification of a timed multitask system with UPPAAL
收藏 引用
International Conference on Emerging Technologies and Factory Automation (ETFA)
作者: H.B. Mokadem B. Berard V. Gourcuff J.-M. Roussel O. De Smet LSV - CNRS UMR 8643 & ENS de Cachan Cachan Cedex France LAMSADL - CNRS UMR 7024 & Université Paris-Dauphine Paris Cedex 16 France LURPA - EA 1385 - ENS de Cachan Cachan Cedex France
Since it is an important issue for users and system designers, verification of PLC programs has already been studied in various contexts, mostly for untimed programs. More recently, timed features were introduced and ... 详细信息
来源: 评论
Quality guarantee for WSDL-based services
Quality guarantee for WSDL-based services
收藏 引用
International Conference on Computer Supported Cooperative Work in Design
作者: B.Y.L. Chan V. Ng S. Chan Department of Computing Hong Kong Polytechnic University Kowloon Hong Kong China
In recent years, Web services are getting popular. In order to have more reliable services on the Internet, QoS (quality of service) plays an important role. We extend the WSDL with an optional attribute in order to c... 详细信息
来源: 评论
A 1.2 GHz adaptive floating gate comparator with 13-bit resolution
A 1.2 GHz adaptive floating gate comparator with 13-bit reso...
收藏 引用
IEEE International Symposium on Circuits and Systems (ISCAS)
作者: Yanyi Liu Wong M.H. Cohen P.A. Abshire Institute for Systems Research University of Maryland College Park MD USA
We present a high-speed voltage comparator that uses floating gate adaptation to achieve high comparison resolution. The comparator uses nonvolatile charge storage for either offset nulling or automatic programming of... 详细信息
来源: 评论
Providing Support for Safe Software Architecture Transformations
Providing Support for Safe Software Architecture Transformat...
收藏 引用
Working IEEE/IFIP Conference on Software Architecture
作者: O. Barais J. Lawall A.-F. Le Meur L. Duchien INRIA/LIFL Université des Sciences et Technologies de Lille Villeneuve d'Ascq France DIKU University of Copenhagen Copenhagen Denmark
Software architecture is a key concept in the design of a complex system. An architecture models the structure and behavior of the system, including the software elements and the relationships between them. While arch... 详细信息
来源: 评论