咨询与建议

限定检索结果

文献类型

  • 982 篇 期刊文献
  • 650 篇 会议
  • 315 册 图书
  • 38 篇 学位论文
  • 5 件 标准
  • 1 篇 科技报告
  • 1 篇 资讯

馆藏范围

  • 1,992 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 1,386 篇 工学
    • 968 篇 计算机科学与技术...
    • 590 篇 软件工程
    • 394 篇 电气工程
    • 125 篇 控制科学与工程
    • 82 篇 机械工程
    • 69 篇 信息与通信工程
    • 45 篇 电子科学与技术(可...
    • 35 篇 力学(可授工学、理...
    • 33 篇 材料科学与工程(可...
    • 32 篇 土木工程
    • 21 篇 仪器科学与技术
    • 14 篇 石油与天然气工程
    • 14 篇 交通运输工程
    • 12 篇 化学工程与技术
    • 12 篇 环境科学与工程(可...
    • 10 篇 动力工程及工程热...
    • 10 篇 测绘科学与技术
  • 228 篇 理学
    • 104 篇 数学
    • 63 篇 物理学
    • 22 篇 生物学
    • 19 篇 地球物理学
    • 16 篇 化学
    • 15 篇 系统科学
    • 15 篇 统计学(可授理学、...
  • 124 篇 管理学
    • 108 篇 管理科学与工程(可...
    • 15 篇 图书情报与档案管...
    • 14 篇 工商管理
  • 110 篇 教育学
    • 105 篇 教育学
  • 21 篇 农学
    • 10 篇 作物学
  • 19 篇 医学
  • 16 篇 经济学
    • 15 篇 应用经济学
  • 10 篇 文学
  • 7 篇 法学
  • 3 篇 哲学
  • 3 篇 历史学
  • 3 篇 艺术学
  • 1 篇 军事学

主题

  • 1,992 篇 object-oriented ...
  • 252 篇 nasa technical r...
  • 252 篇 (ntrs)
  • 128 篇 software enginee...
  • 124 篇 java
  • 67 篇 object oriented ...
  • 55 篇 computer program...
  • 52 篇 simulation
  • 49 篇 reports
  • 48 篇 computer program...
  • 47 篇 programming lang...
  • 43 篇 design
  • 41 篇 formal specifica...
  • 40 篇 applications pro...
  • 40 篇 architecture (co...
  • 40 篇 software
  • 39 篇 design patterns
  • 38 篇 expert systems
  • 38 篇 artificial intel...
  • 37 篇 software reusabi...

机构

  • 13 篇 naval postgradua...
  • 9 篇 brno university ...
  • 5 篇 univ macedonia d...
  • 4 篇 iit dept comp sc...
  • 4 篇 georgia inst tec...
  • 4 篇 technion israel ...
  • 4 篇 univ oslo dept i...
  • 4 篇 univ calif berke...
  • 4 篇 univ auckland de...
  • 4 篇 newcastle univ d...
  • 3 篇 natl res univ hi...
  • 3 篇 international bu...
  • 3 篇 univ oslo dept m...
  • 3 篇 victoria univ we...
  • 3 篇 oak ridge natl l...
  • 3 篇 nanjing univ sta...
  • 3 篇 univ lancaster d...
  • 3 篇 nova sch sci & t...
  • 3 篇 swiss fed inst t...
  • 3 篇 carleton univ ot...

作者

  • 6 篇 kindler eugene
  • 6 篇 meyer bertrand
  • 6 篇 abdalla hs
  • 6 篇 ducasse s
  • 6 篇 giacaman nasser
  • 5 篇 sokas algirdas
  • 5 篇 xinogalos stelio...
  • 5 篇 yang jeong
  • 5 篇 budiardja reuben...
  • 5 篇 cardall christia...
  • 5 篇 romanovsky a
  • 5 篇 lee young
  • 5 篇 chatzigeorgiou a...
  • 4 篇 tan wee hoe
  • 4 篇 kramer matthias
  • 4 篇 brinda torsten
  • 4 篇 sinnen oliver
  • 4 篇 chang jm
  • 4 篇 noble j
  • 4 篇 fong anthony s.

语言

  • 1,826 篇 英文
  • 130 篇 其他
  • 32 篇 中文
  • 3 篇 德文
  • 1 篇 法文
检索条件"主题词=Object-Oriented Programming"
1992 条 记 录,以下是1951-1960 订阅
排序:
Dynamic Memory Allocation/Deallocation Behavior in Java Programs
Dynamic Memory Allocation/Deallocation Behavior in Java Prog...
收藏 引用
2002年IEEE十区计算机、通信、控制和电机工程会议
作者: Anthony S.Fong Richard C.L.Li Department of Electronic Engineering City University of Hong Kong 83 Tat Chee Avenue Kowloon Hong Kong.China Department of Electronic Engineering City University of Hong Kong 83 Tat Chee Avenue Kowloon Hong Kong.China
As object-oriented paradigm becomes the mainstreamparadigm on software development, due to its attractivefeatures that can effectively divide a complex softwareproblem into several independent modules, one of theobjec... 详细信息
来源: 评论
An Automatic Test Coverage Analysis for SystemC Description Using Aspect-oriented programming
An Automatic Test Coverage Analysis for SystemC Description ...
收藏 引用
The 8th International Conference on Computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)
作者: Yan Chen Weidong Qiu Bo Zhou Chenglian Peng School of Information Science and Engineering Fudan University
This paper addresses the problem of functionalverification starting from a high level description ofthe system under test, specified in SystemC. Theverification method considered is based upon thesimulation of executa... 详细信息
来源: 评论
Efficient and precise datarace detection for multithreaded object-oriented programs  02
Efficient and precise datarace detection for multithreaded o...
收藏 引用
Proceedings of the ACM SIGPLAN 2002 conference on programming language design and implementation
作者: Jong-Deok Choi Keunwoo Lee Alexey Loginov Robert O'Callahan Vivek Sarkar Manu Sridharan IBM T. J. Watson Research Center Univ. of Washington Univ. of Wisconsin - Madison MIT
We present a novel approach to dynamic datarace detection for multithreaded object-oriented programs. Past techniques for on-the-fly datarace detection either sacrificed precision for performance, leading to many fals... 详细信息
来源: 评论
Towards a unified AI formalism
Towards a unified AI formalism
收藏 引用
Annual Hawaii International Conference on System Sciences (HICSS)
作者: Kumar Haller Ali Department of Mathematics Bryn Mawr College Bryn Mawr PA USA Department of Computer Science State University of New York University at Buffalo Buffalo NY USA Department of Computer Science Southwestern Missouri State University Springfield MO USA
This paper presents a unified approach to building intelligent architectures. Our approach relies on making some semantic, ontological, os well os architectural commitments. Semantically, we commit ourselves to princi... 详细信息
来源: 评论
A first insight into object-aware hardware transactional memory  08
A first insight into object-aware hardware transactional mem...
收藏 引用
Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures
作者: Behram Khan Matthew Horsnell Ian Rogers Mikel Lujan Andrew Dinn Ian Watson The University of Manchester Manchester United Kingdom
The contribution of this paper is the first Hardware Transactional Memory (HTM) where the object structure is recognized and harnessed. Our approach is similar to hardware support of paged virtual memory using a virtu... 详细信息
来源: 评论
General Aspects of the As Prescribed Analysis of Invariants in the Class
General Aspects of the As Prescribed Analysis of Invariants ...
收藏 引用
Telecommunications Forum Telfor
作者: Aleksandar Kupusinac Dusan Malbaski Faculty of Technical Sciences Trg Dositeja Obradovica
An invariant in the class is a predicate, which is true in every state that is proclaimed as valid, independently of what is considered to be a state. In addition, invariants themselves may be based on the behavior of... 详细信息
来源: 评论
The development of the Image Understanding Environment
The development of the Image Understanding Environment
收藏 引用
IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops (CVPRW)
作者: Kohl Mundy Amerinex Artificial Intelligence Inc. Amherst MA USA GE Corporate Research and Development IUE Technical Committee Schenectady NY USA
The Image Understanding Environment (IUE) project is a five year program, sponsored by ARPA, to develop a common object-oriented software environment for the development of algorithms and application systems. This pap... 详细信息
来源: 评论
Program by design: from animations to data structures (abstract only)  12
Program by design: from animations to data structures (abstr...
收藏 引用
Proceedings of the 43rd ACM technical symposium on Computer Science Education
作者: Kathi Fisler Stephen Bloch WPI Worcester MA USA Adelphi University Garden City NY USA
We present the Program by Design introductory CS curriculum through the lenses of graphics, animations, algebra, and data structures. Animations programming is popular for CS1, but many such curricula lack clean paths... 详细信息
来源: 评论
A concurrent OOP model for computer-aided engineering using blackboard architecture
收藏 引用
Parallel Algorithms and Applications 1993年 第4期1卷 315-337页
作者: Adeli, H. Yu, G. Department of Civil Engineering and Center for Cognitive Science The Ohio State University Columbus OH 43210-1275 470 Hitchcock Hall 2070 Neil Avenue United States
A concurrent object-oriented programming (COOP) model is presented for computer-aided engineering using a blackboard architecture. The basic components of the model are a hierarchy of tasks, global and local controlle... 详细信息
来源: 评论
Information technology capital budgeting using a knapsack problem
收藏 引用
International Transactions in Operational Research 2006年 第4期13卷 333-351页
作者: Pendharkar, Parag C. Rodger, James A. School of Business Administration Penn State Harrisburg Middletown PA 17057 777 West Harrisburg Pike United States MIS and Decision Sciences Eberly College of Business & Information Technology Indiana University of Pennsylvania Indiana PA 15705 United States
In this paper, we describe an information technology capital budgeting (ITCB) problem, show that the ITCB problem can be modeled as a 0-1 knapsack optimization problem, and propose two different simulated annealing (S... 详细信息
来源: 评论