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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

6,253 篇 会议
1,401 篇 期刊文献
24 篇 学位论文
11 册 图书
6 篇 科技报告

馆藏范围

7,695 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

5,638 篇 工学
- 5,062 篇 计算机科学与技术...
- 4,689 篇 软件工程
- 504 篇 电气工程
- 334 篇 控制科学与工程
- 244 篇 信息与通信工程
- 115 篇 机械工程
- 93 篇 土木工程
- 88 篇 建筑学
- 87 篇 电子科学与技术（可...
- 48 篇 材料科学与工程（可...
- 47 篇 生物工程
- 43 篇 仪器科学与技术
- 42 篇 力学（可授工学、理...
- 37 篇 化学工程与技术
- 33 篇 生物医学工程（可授...
- 32 篇 航空宇航科学与技...
- 32 篇 环境科学与工程（可...
1,131 篇 理学
- 859 篇 数学
- 136 篇 物理学
- 96 篇 系统科学
- 81 篇 统计学（可授理学、...
- 62 篇 生物学
- 47 篇 化学
841 篇 管理学
- 496 篇 管理科学与工程(可...
- 400 篇 图书情报与档案管...
- 218 篇 工商管理
258 篇 教育学
- 242 篇 教育学
64 篇 法学
- 54 篇 社会学
50 篇 医学
- 38 篇 临床医学
40 篇 经济学
- 38 篇 应用经济学
14 篇 农学
13 篇 文学
10 篇 军事学
10 篇 艺术学

主题

7,695 篇 object oriented ...
909 篇 object oriented ...
429 篇 computer languag...
427 篇 programming prof...
424 篇 application soft...
388 篇 computer science
375 篇 java
284 篇 software enginee...
203 篇 software systems
148 篇 computer archite...
142 篇 concurrent compu...
131 篇 libraries
125 篇 encapsulation
121 篇 education
121 篇 software design
121 篇 distributed comp...
117 篇 data structures
116 篇 prototypes
114 篇 object oriented ...
114 篇 logic programmin...

机构

16 篇 victoria univers...
15 篇 software composi...
15 篇 brno university ...
14 篇 department of co...
11 篇 dipartimento di ...
9 篇 univ of texas at...
8 篇 carnegie mellon ...
8 篇 eth
7 篇 cwi
7 篇 sun microsystems
7 篇 ibm
7 篇 eth zurich
7 篇 carnegie mellon ...
7 篇 department of ap...
7 篇 natl univ of sin...
7 篇 tsinghua univ
6 篇 univ of tokyo
6 篇 ohio state univ ...
6 篇 ieee
6 篇 promodel corpora...

作者

38 篇 noble james
19 篇 meyer bertrand
16 篇 nierstrasz oscar
15 篇 ducasse stéphane
15 篇 aldrich jonathan
14 篇 yonezawa akinori
14 篇 drossopoulou sop...
14 篇 de boer frank s.
13 篇 ancona davide
13 篇 mezini mira
12 篇 chen huo yan
11 篇 elrad tzilla
11 篇 black andrew p.
11 篇 xinogalos stelio...
11 篇 masuhara hidehik...
11 篇 vitek jan
10 篇 potanin alex
10 篇 de meuter wolfga...
10 篇 naumann david a.
9 篇 biddle robert

语言

7,460 篇 英文
159 篇 其他
31 篇 中文
14 篇 日文
8 篇 俄文
5 篇 西班牙文
5 篇 法文
4 篇 德文
3 篇 葡萄牙文
3 篇 土耳其文
1 篇 乌克兰文

检索条件"主题词=Object Oriented programming"

共 7695 条记录，以下是771-780 订阅

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

详细简洁

排序：

A Type-Directed Approach to Program Repair 27th

A Type-Directed Approach to Program Repair

引用

27th International Conference on Computer-Aided Verification (CAV)

作者： Reinking, Alex Piskac, Ruzica Yale Univ New Haven CT 06520 USA

ISBN: (纸本)9783319216904;9783319216898

Developing enterprise software often requires composing several libraries together with a large body of in-house code. Large APIs introduce a steep learning curve for new developers as a result of their complex object-oriented underpinnings. While the written code in general reflects a programmer's intent, due to evolutions in an API, code can often become ill-typed, yet still syntactically-correct. Such code fragments will no longer compile, and will need to be updated. We describe an algorithm that automatically repairs such errors, and discuss its application to common problems in software engineering.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Exception Handling with OpenMP in object-oriented Languages 11th

Exception Handling with OpenMP in Object-Oriented Languages

引用

11th International Workshop on OpenMP (IWOMP)

作者： Fan, Xing Mehrabi, Mostafa Sinnen, Oliver Giacaman, Nasser Univ Auckland Dept Elect & Comp Engn Auckland 1 New Zealand

ISBN: (纸本)9783319245959;9783319245942

OpenMP has become increasingly prevalent due to the simplicity it offers to elegantly and incrementally introduce parallelism. However, it still lacks some high-level language features that are essential in object-oriented programming. One such mechanism is that of exception handling. In languages such as Java, the concept of exception handling has been an integral aspect to the language since the first release. For OpenMP to be truly embraced within this object-oriented community, essential object-oriented concepts such as exception handling need to be given some attention. The official OpenMP standard has little specification on error recovery, as the challenges of supporting exception-based error recovery in OpenMP extends to both the semantic specifications and related runtime support. This paper proposes a systematic mechanism for exception handling with the co-use of OpenMP directives, which is based on a Java implementation of OpenMP. The concept of exception handling with OpenMP directives has been formalized and categorized. Hand in hand with this exception handling proposal, a flexible approach to thread cancellation is also proposed (as an extension on OpenMP directives) that supports this exception handling within parallel execution. The runtime support and its implementation are discussed. The evaluation shows that while there is no prominent overhead introduced, the new approach provides a more elegant coding style which increases the parallel development efficiency and software robustness.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Axiomatization of Typed First-Order Logic 20

引用

20th International Symposium on Formal Methods (FM)

作者： Schmitt, Peter H. Ulbrich, Mattias KIT Dept Informat D-76131 Karlsruhe Germany

ISBN: (纸本)9783319192499;9783319192482

This paper contributes to the theory of typed first-order logic. We present a sound and complete axiomatization for a basic typed logic lifting restrictions imposed by previous results. As a second contribution, this paper provides complete axiomatizations for the type predicates instance T, exactInstance T, and functions cast T indispensable for reasoning about object-oriented programming languages.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

An Approach of Temporal Difference Learning Using Agent-oriented programming 20

An Approach of Temporal Difference Learning Using Agent-Orie...

引用

20th International Conference on System Controls and Computer Science 2015

作者： Badica, Amelia Badica, Costin Ivanovic, Mirjana Mitrovic, Dejan Univ Craiova Craiova Romania Fac Sci Novi Sad Serbia

ISBN: (纸本)9781479917808

Reinforcement Learning - RL is an important agent problem that was not approached using the tools provided by Agent oriented programming - AOP. AgentSpeak(L) and its Jason implementation based on Java platform are representing state-of-the-art approaches of AOP based on the Belief-Desire-Intention - BDI model. Temporal Difference Learning - TDL is a passive RL method that can be used by an agent to learn its utility function while it is acting according to a given policy in an uncertain and dynamic environment. In this paper we present an approach for modeling and implementation of TDL using the Jason AOP language. So, our paper is presenting a contribution towards narrowing the gap between RL and AOP, by endowing BDI agents with TDL skills.

关键词： agent-oriented programming reinforcement learning object oriented programming learning (artificial intelligence) aspect-oriented programming transistor diode logic Agents Learning Utility functions Java platform

来源：评论

学校读者我要写书评

暂无评论

Navigating Source Code with Words 15

Navigating Source Code with Words

引用

15th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)

作者： Lawrie, Dawn Binkley, Dave Loyola Univ Maryland Baltimore MD USA

ISBN: (纸本)9781467375290

The hierarchical method of organizing information has proven beneficial in learning in part because it maps well onto the human brain's memory. Exploiting this organizational strategy may help engineers cope with large software systems. In fact such an strategy is already present in source code and is manifested in the class hierarchies of objected-oriented programs. However, an engineer faced with fixing a bug or any similar need to locate the implementation of a particular feature in the code is less interested in the syntactic organization of the code and more interested in its conceptual organization. Therefore, a conceptual hierarchy would bring clear benefit. Fortunately, such a view can be extracted automatically the source code. The hierarchy generating tool HierIT performs this task using an information-theoretic approach to identify "content-bearing" words and associate them hierarchically. The resulting hierarchy enables an engineer to better understand the concepts contained in a software system. To study their value, an experiment was conducted to quantitatively and qualitatively investigate the value that hierarchies bring. The quantitative evaluation first considers the Expected Mutual Information Measure (EMIM) between the set of topic words and natural language extracted from the source code. It then considers the Best Case Tree Walk (BCTW), which captures how "expensive" it is to find interesting documents. Finally, the hierarchies are considered qualitatively by investigating their perceived usefulness in a case study involving three engineers.

关键词： object-oriented programming program debugging source code (software) text analysis BCTW EMIM HierIT best case tree walk expected mutual information measure hierarchy generating tool human brain memory information-theoretic approach learning objected-oriented program source code Context Entropy Joints Mathematical model Natural languages Organizations Software Source code natural languages Debugging text processing object oriented programming Social Hierarchy Software systems Joints Joints Mathematical Model entropy computer software Engineers Organizations

来源：评论

学校读者我要写书评

暂无评论

Dimensions of programming Knowledge 1

引用

8th International Conference on Informatics in Schools - Situation, Evolution and Perspectives (ISSEP)

作者： Muehling, Andreas Hubwieser, Peter Berges, Marc Tech Univ Munich TUM Sch Educ Munich Germany

ISBN: (数字)9783319253961

ISBN: (纸本)9783319253961;9783319253954

Nowadays, learning and teaching outcomes are defined predominantly by target competencies. In order to assess learning outcomes, properly defined and empirically validated competency models are required. For object-oriented programming, such models have not been brought forward up to now. Aiming to develop a competency structure and level model for this field, we have examined the structural knowledge of programming novices to derive its potential dimensions. The results suggest 6 dimensions. Additionally, we propose difficulty levels for two of these dimensions based on the SOLO taxonomy. The empirical validation of these dimensions and their levels is subject to further investigations.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Expression-Based Aliasing for OO-languages 1

引用

3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)

作者： Caltais, Georgiana ETH Dept Comp Sci Zurich Switzerland

ISBN: (数字)9783319175812

ISBN: (纸本)9783319175812;9783319175805

Alias analysis has been an interesting research topic in verification and optimization of programs. The undecidability of determining whether two expressions in a program may reference to the same object is the main source of the challenges raised in alias analysis. In this paper we propose an extension of a previously introduced alias calculus based on program expressions, to the setting of unbounded program executions such as infinite loops and recursive calls. Moreover, we devise a corresponding executable specification in the K-framework. An important property of our extension is that, in a non-concurrent setting, the corresponding alias expressions can be over-approximated in terms of a notion of regular expressions. This further enables us to show that the associated K-machinery implements an algorithm that always stops and provides a sound over-approximation of the "may aliasing" information, where soundness stands for the lack of false negatives. As a case study, we analyze the integration and further applications of the alias calculus in SCOOP. The latter is an object-oriented programming model for concurrency, recently formalized in Maude;K definitions can be compiled into Maude for execution.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Model-Driven Self-Adaptation of Robotics Software using Probabilistic Approach

Model-Driven Self-Adaptation of Robotics Software using Prob...

引用

European Conference on Mobile Robots

作者： Ramaswamy, Arunkumar Monsuez, Bruno Tapus, Adriana ENSTA ParisTech Dept Comp Sci & Syst Engn 828 Blvd Marechaux Palaiseau France VeDeCom Inst 77 Rue Chantiers F-78000 Versailles France

ISBN: (纸本)9781467391634

A typical feature of robotic architectures are its reactivity and self-adaptivity. In practice, this is achieved by context-dependent dynamic invocation of software components in robotic architectures. In this paper, we specifically address how this self-adaptation capability can be formally defined and modeled in an architecture-independent way. We propose a probabilistic approach that facilitates system design and dynamic runtime adaptation satisfying the quality requirements. We also show how such techniques are incorporated in our model-driven framework: Self Adaptive Framework for Robotic Systems.

关键词： object-oriented programming probability robot programming context-dependent dynamic invocation dynamic runtime adaptation model-driven framework model-driven robotics software self-adaptation probabilistic approach quality requirements robotic architectures self adaptive framework software components Adaptation models Analytical models Computational modeling Logic gates Robots Runtime Vehicles quality requirements Robot programming Runtime object oriented programming Logic gates Computational modeling ANALYSIS MODELS Robot vehicle self-adaptive Adaptation models Probability

来源：评论

学校读者我要写书评

暂无评论

Reusable Model Interfaces with Instantiation Cardinalities 1

引用

11th European Conference on Modelling Foundations and Applications (ECMFA) held as Part of Software Technologies - Applications and Foundations (STAF)

作者： Bhalotia, Sunit Kienzle, Joerg McGill Univ Sch Comp Sci Montreal PQ Canada

ISBN: (数字)9783319211510

ISBN: (纸本)9783319211510;9783319211503

The power of aspect-oriented modelling is that structural and behavioural properties of a crosscutting concern can be modularized within an aspect model. With proper care, such an aspect model can also be made reusable. If the functionality provided by such a modularized concern is needed repeatedly within a system, the reusable aspect model can be applied multiple times within the same target model. This paper reviews the pending issues related to multiple aspect model instantiations identified in past research, and then proposes to extend the customization interface of aspect models with instantiation cardinalities. This removes potential customization ambiguities for the model user, and gives the model designer fine-grained control about how many instances of each structural and behavioural element contained in an aspect model are to be created in the target model. The approach is illustrated by presenting the aspect-oriented design of a behavioural, a structural and a creational design pattern.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

On Component-Based Software Development for Multiprocessor Real-Time Systems 21

On Component-Based Software Development for Multiprocessor R...

引用

21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)

作者： Khalilzad, Nima Behnam, Moris Nolte, Thomas Malardalen Univ MRTC Vasteras Sweden

ISBN: (纸本)9781467378550

Component-based software development provides a modular approach to develop complex software systems. In the context of real-time systems, it is desirable to abstract the timing properties of software components using an interface for each component. The timing properties of the whole system, composed of multiple components, is studied using the component interfaces. In this paper we focus on periodic interface models. In the case of components developed for single processor platforms, for examining the system schedulability, the interfaces can be regarded as periodic tasks. Thus, making it possible to use the conventional schedulability analyses for the system level schedulability test. In the case of components developed for multiprocessors, since interfaces may have utilization larger than 100 % of a single processor, it is not possible to directly use the component interfaces for the system schedulability test. Therefore, the interfaces have to be decomposed before performing the system level schedulability test. In this paper, we target the special case of partitioned EDF for scheduling the components integrated on a multiprocessor. Therefore, the system level schedulability test is equivalent to finding a feasible allocation of component interfaces on the multiprocessor. We propose two algorithms for allocating the multiprocessor periodic interfaces. In addition, we propose an orthogonal approach for developing component-based real-time systems on multiprocessors in which components with utilization more than 100 % of a single processor are divided into smaller subcomponents before abstracting their interfaces. We show, through extensive evaluations, that our alternative approach significantly reduces the interface overhead.

关键词： Multiprocessor object oriented programming Uniprocessor real-time systems Interface Interfaces computer software Software design Software systems system level

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 74 75 76 77 78 79 80 81 82 83 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：