检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

997 篇 期刊文献
648 篇 会议
308 册 图书
38 篇 学位论文
5 件 标准
1 篇 科技报告
1 篇 资讯

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

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,838 篇 英文
127 篇 其他
29 篇 中文
3 篇 德文
1 篇 法文

检索条件"主题词=Object-oriented programming"

共 1998 条记录，以下是1961-1970 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

An abstract model of the object-oriented DBMS

An abstract model of the object-oriented DBMS

引用

Annual Hawaii International Conference on System Sciences (HICSS)

作者： Lange IBM Research Tokyo Research Laboratory Yamato Kanagawa Japan

In his research the author is looking into the cooperation of methodology, language, and database in the design of object-oriented systems which are to be realized in an object-oriented programming language using an object-oriented database system (OODBMS). The focus is on some of the differences between traditional object-oriented design and object-oriented database design. For this purpose a small formal model of a contemporary OODBMS is built. This model describes abstractions of the most important data structures of OODBMS and their associated functionality. Based on both a pragmatic and a theoretic understanding of the architecture of contemporary OODBMSs, the author aims at presenting some of the issues to be considered in object-oriented database design such as: object management, object retrieval, and concurrency.< >

关键词： object-oriented databases object-oriented programming object-oriented languages Data models

来源：评论

学校读者我要写书评

暂无评论

Strategies towards dynamic alterability

Strategies towards dynamic alterability

引用

Annual Hawaii International Conference on System Sciences (HICSS)

作者： Schmidt German National Research Center for Computer Science GMD FIRST the Technical University of Berlin Berlin Germany

In order to handle massively parallel systems and make them usable, an adaptive, application-oriented operating system is required. This asks for dynamically alterable system structures. A good foundation for building such structures is the family concept of parallel operating systems. Incremental loading supports the family character by extending on demand the system's active object structure and this way (possibly) switching from one family member to another. A new active object will be incrementally loaded if its invocation fails because it does not yet exist. This is noticed during object binding while using the naming services. To keep the application's code free from incremental loading aspects the naming service is made extensible. This way a family is built, namely a family of naming services. These extensions are externally definable naming strategies and exceptions.< >

关键词： Parallel processing Software, operating systems Resource management object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

HydroJ: object-oriented pattern matching for evolvable distributed systems 03

HydroJ: object-oriented pattern matching for evolvable distr...

引用

Proceedings of the 18th annual ACM SIGPLAN conference on object-oriented programing, systems, languages, and applications

作者： Keunwoo Lee Anthony LaMarca Craig Chambers University of Washington Intel Research Seattle

ISBN: (纸本)9781581137125

In an evolving software system, components must be able to change independently while remaining compatible with their peers. One obstacle to independent evolution is the brittle parameter problem: the ability of two components to communicate can depend on a number of inessential details of the types, structure, and/or contents of the values communicated. If these details change, then the components can no longer communicate, even if the essential parts of the message remain *** present HydroJ, an extension of Java that addresses this problem. In HydroJ, components communicate using self-describing, semi-structured messages, and programmers use pattern matching to define the handling of messages. This design stems from two central ideas: first, that self-describing messages reduce dependence on inessential message format details; and second, that object-oriented pattern matching naturally focuses on the essential information in a message and is insensitive to inessential *** have developed these ideas in the context of Rain, a distributed, heterogeneous messaging system for ubiquitous computing. To evaluate the design, we have constructed a prototype HydroJ compiler, implemented some Rain services in HydroJ, studied the evolution of an existing Rain service over time, and formalized HydroJ's key features in a core language.

关键词： pattern matching XML HydroJ ubiquitous computing object-oriented programming software evolution dynamic dispatch semi-structured data distributed systems

来源：评论

学校读者我要写书评

暂无评论

Introductory programming and the didactic triangle 10

Introductory programming and the didactic triangle

引用

Proceedings of the Twelfth Australasian Conference on Computing Education - Volume 103

作者： Anders Berglund Raymond Lister Uppsala University Uppsala Sweden University of Technology Sydney NSW Australia

ISBN: (纸本)9781920682842

In this paper, we use Kansanen's didactic triangle to structure and analyse research on the teaching and learning of programming. Students, teachers and course content are the three entities that form the corners of the didactic triangle. The edges of the triangle represent the relationships between these three entities. We argue that many computing educators and computing education researchers operate from within narrow views of the didactic triangle. For example, computing educators often teach programming based on how they relate to the computer, and not how the students relate to the computer. We conclude that, while research that focuses on the corners of the didactic triangle is sometimes appropriate, there needs to be more research that focuses on the edges of the triangle, and more research that studies the entire didactic triangle.

关键词： didactic triangle phenomenography object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Decompositional verification of component-based systems-a hybrid approach 04

Decompositional verification of component-based systems-a hy...

引用

IEL Citation

作者： Gaoyan Xie Washington State University Pullman WA

ISBN: (纸本)0769521312

Component-based software development has been increasingly adopted as a standard engineering practice to build large systems with prefabricated components. Although this development method enjoys the great benefits of reusing valuable software assets, reducing development costs, improving productivity, etc., it also poses serious challenges to the quality assurance problem of component-based systems, since prefabricated components can not be simply trusted and they could be a new source of system failures. Solving this problem is of vital importance to safety-critical and mission-critical systems. This paper introduces a decompositional verification approach for component-based systems through both formal analysis (model-checking) and traditional software testing.

关键词： program testing formal verification object-oriented programming system recovery safety-critical software decompositional verification component-based systems component-based software development software assets quality assurance problem prefabricated components system failures safety-critical systems mission-critical systems formal analysis model checking software testing

来源：评论

学校读者我要写书评

暂无评论

Micro patterns in Java code 05

Micro patterns in Java code

引用

Proceedings of the 20th annual ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications

作者： Joseph (Yossi) Gil Itay Maman Technion--Israel Institute of Technology

ISBN: (纸本)9781595930316

Micro patterns are similar to design patterns, except that micro patterns are stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in that they are mechanically recognizable, since each such pattern can be expressed as a formal condition on the structure of a *** paper presents a catalog of 27 micro-patterns defined on Java classes and interfaces. The catalog captures a wide spectrum of common programming practices, including a particular and (intentionally restricted) use of inheritance, immutability, data management and wrapping, restricted creation, and emulation of procedural-, modular-, and even functional- programming paradigms with object oriented constructs. Together, the patterns present a set of prototypes after which a large portion of all Java classes and interfaces are modeled. We provide empirical indication that this portion is as high as 75%.A statistical analysis of occurrences of micro patterns in a large software corpus, spanning some 70,000 Java classes drawn from a rich set of application domains, shows, with high confidence level that the use of these patterns is not random. These results indicate consciousness and discernible design decisions, which are sustained in the software evolution. With high confidence level, we can also show that the use of these patterns is tied to the specification, or the purpose, that the software *** traceability, abundance and the statistical significance of micro pattern occurrence raise the hope of using the classification of software into these patterns for a more founded appreciation of its design and code quality.

关键词： object-oriented programming implementation patterns program analysis design patterns

来源：评论

学校读者我要写书评

暂无评论

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 theobject-oriented languages - Java, becomes popular inrecent years because it is widely used in the rapidlygrowing Internet computing. However, similar to otherobject-oriented languages, Java has a big drawback of poorperformance. One of the main causes of the performance deficiencyis the extensive use of dynamic memory allocations anddeallocations during object or array creations anddestructions. Even a simple Othello applet game easilyrequires half a million of memory allocations for only onegame play. After analysis on the memory allocation behavior ofJava programs, it is concluded that about 99% of theallocations are of sizes less than 1024 bytes. The analysisalso shows that most of the allocated chunks in small sizewill survive only a very short period of time and after theyare garbage collected, they can be reused in the very nearfuture. This implies the memory allocation / deallocationpattern in Java is bounded to a certain kind of locality. The information presented in this paper is a referencefor designing an efficient hardware memory allocation /deallocation unit.

关键词： Java memory allocation memory deallocation object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781581134636

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 false positive datarace reports, or maintained precision but incurred significant overheads in the range of 3x to 30x. In contrast, our approach results in very few false positives and runtime overhead in the 13% to 42% range, making it both efficient and precise. This performance improvement is the result of a unique combination of complementary static and dynamic optimization techniques.

关键词： debugging multithreaded programming synchronization race conditions object-oriented programming dataraces parallel programs static-dynamic co-analysis

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)0780379411

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 executable SystemC description. Testcoverage analysis is the main technique for checkingand showing that the testing has been thorough. In thispaper we propose a novel approach to automate thecoverage analysis using Aspect-oriented *** here are described as checkers for detectingcoverage. The most important feature using theaspect-oriented technology here is that allowschecking functions across classes to be added orreplaced without modifying the original code. UML2.0is used to model the dynamic behavior view ofSystemC description as a coverage metric modelInherently it is possible to automate the whole testcoverage analysis using our methodology.

关键词： formal specification program verification computer aided software engineering object-oriented programming Unified Modeling Language C language automatic test coverage analysis aspect-oriented programming functional verification high level description system testing SystemC specification executable SystemC description simulation system checking UML2.0 dynamic behavior modeling coverage metric model

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781595939739

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 virtually addressed cache and a TLB, and is based on a cache hierarchy that allows the addressing of objects by unique object identifiers. The object-aware HTM allows cache overflows of uncommitted data. It also enables a novel commit and conflict detection mechanism. In this preliminary evaluation, the Lee-TM application exhibits overflows that in most previous HTMs would have had to be handled by software, impacting on performance. The simulation provides an insight into the scalability characteristics of the proposed HTM, which uses object and field granularity, lazy versioning and lazy conflict detection. For example, with 32 cores the broadcast of write sets is at under 5% of the bus bandwidth, showing the potential of object-aware HTM systems.

关键词： object-oriented programming concurrent programming transactional memory

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共200页 << < 191 192 193 194 195 196 197 198 199 200 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：