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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,365 篇 会议
406 篇 期刊文献
73 册 图书
22 篇 学位论文

馆藏范围

4,866 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,968 篇 工学
- 2,606 篇 计算机科学与技术...
- 2,375 篇 软件工程
- 290 篇 控制科学与工程
- 247 篇 电气工程
- 149 篇 信息与通信工程
- 47 篇 电子科学与技术（可...
- 46 篇 机械工程
- 41 篇 建筑学
- 38 篇 土木工程
- 26 篇 生物工程
- 23 篇 材料科学与工程（可...
- 20 篇 航空宇航科学与技...
- 18 篇 仪器科学与技术
- 15 篇 光学工程
- 12 篇 环境科学与工程（可...
- 11 篇 化学工程与技术
- 10 篇 交通运输工程
415 篇 理学
- 294 篇 数学
- 49 篇 系统科学
- 43 篇 物理学
- 37 篇 生物学
- 22 篇 统计学（可授理学、...
- 15 篇 化学
362 篇 管理学
- 193 篇 图书情报与档案管...
- 192 篇 管理科学与工程(可...
- 74 篇 工商管理
44 篇 教育学
- 43 篇 教育学
25 篇 法学
- 24 篇 社会学
17 篇 医学
- 13 篇 临床医学
11 篇 经济学
- 11 篇 应用经济学
9 篇 文学
5 篇 农学
4 篇 军事学
1 篇 艺术学

主题

1,686 篇 object oriented ...
859 篇 object oriented ...
444 篇 application soft...
436 篇 computer languag...
305 篇 java
268 篇 programming
236 篇 software systems
233 篇 computer science
221 篇 software enginee...
207 篇 programming prof...
176 篇 computer archite...
161 篇 unified modeling...
140 篇 object oriented ...
134 篇 object-oriented ...
118 篇 database systems
96 篇 computational mo...
93 篇 prototypes
90 篇 real time system...
89 篇 operating system...
89 篇 concurrent compu...

机构

9 篇 software composi...
8 篇 ibm
8 篇 carnegie mellon ...
8 篇 univ bern softwa...
8 篇 swiss fed inst t...
8 篇 univ texas austi...
7 篇 purdue universit...
6 篇 cwi
6 篇 ibm thomas j. wa...
6 篇 school of comput...
6 篇 ibm corp thomas ...
6 篇 university of il...
5 篇 school of comput...
5 篇 university of te...
5 篇 georgia inst tec...
5 篇 univ waterloo wa...
5 篇 ibm t.j. watson ...
5 篇 department of co...
5 篇 victoria univers...
5 篇 siemens ag

作者

13 篇 noble james
12 篇 aldrich jonathan
11 篇 de meuter wolfga...
10 篇 biddle robert
10 篇 cook william r.
9 篇 ricci alessandro
9 篇 de champeaux den...
9 篇 yonezawa akinori
9 篇 nierstrasz oscar
9 篇 johnson ralph
9 篇 chambers c
8 篇 coad peter
8 篇 madsen ole lehrm...
8 篇 abi-antoun marwa...
8 篇 salvaneschi guid...
8 篇 vitek jan
8 篇 s.s. yau
7 篇 hirschfeld rober...
7 篇 visser eelco
7 篇 ancona davide

语言

4,746 篇 英文
107 篇 其他
12 篇 中文
1 篇 日文

检索条件"任意字段=Conference on Object-Oriented Programming Systems, Languages, and Applications"

共 4866 条记录，以下是151-160 订阅

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

详细简洁

排序：

Applying Metamodel-based Tooling to object-oriented Code 7th

Applying Metamodel-based Tooling to Object-oriented Code

引用

7th International conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Klare, Heiko Saglam, Timur Burger, Erik Reussner, Ralf Karlsruhe Inst Technol Inst Program Struct & Data Org Karlsruhe Germany

ISBN: (纸本)9789897583582

Model-driven development processes mainly from the capabilities of modelling frameworks, since these offer an explicit representation of model elements and features, as well as reusable tooling, such as transformation languages or editor frameworks. Nevertheless, most software systems are not developed in a model-driven way although they do contain implicit models encoded in their object-oriented design. Adaptation to model-driven tooling imposes high manual effort and easily breaks compatibility with dependent code and existing tooling. We present an automated and minimally intrusive approach that makes implicit models in software systems explicit. We adapt existing object-oriented code so that it provides an explicit model representation, while preserving its original API. As a result, capabilities of modelling frameworks, such as persistence and change notifications, can be integrated into object-oriented code, and enable the application of reusable tools. We provide a classification of requirements that existing code has to fulfill, usable as an indicator for the applicability of modelling tools to them. An evaluation based on one artificial and two open-source case study systems shows the correct preservation of the API, as well as the ability to apply tooling to the modified code.

关键词： Model-driven Engineering modelling - programming Gap Reverse Engineering Model Extraction

来源：评论

学校读者我要写书评

暂无评论

Application of programming learning support system to object-oriented language 27

Application of programming learning support system to object...

引用

27th International conference on Computers in Education, ICCE 2019

作者： Kogure, Satoru Ogasawara, Kento Yamashita, Koichi Noguchi, Yasuhiro Konishi, Tatsuhiro Y., Itoh Faculty of Informatics Shizuoka University Japan Faculty of Business Administration Tokoha University Japan Shizuoka University Japan

ISBN: (纸本)9789869721431

In the field of programming education, learners often cannot fully understand the behavior of algorithms and programs, because it is difficult for them to capture a realistic image of their behavior. Many researchers have proposed methods to visualize "the behavior of algorithm programs" as a solution to address this problem. Many programming learning support systems that incorporate these methods. We have developed a programming learning support system, TEDViT, that allows teachers to control the method of visualization. However, TEDViT is a programming language compatible with the C programming language, hence, the system cannot handle visualization in object-oriented languages. We developed and evaluated a prototype system that can visualize the proposed model. © 2019 International conference on Computers in Education, *** right reserved.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

object-oriented software metrics in software code vulnerability analysis

Object-oriented software metrics in software code vulnerabil...

引用

IEEE International Symposium on Innovations in Intelligent systems and applications (INISTA)

作者： Kristijan Kuk Petar Milić Stefan Denić University of Criminal Investigation and Police Studies Belgrade Serbia University in Priština - Kosovska Mitrovica Faculty of Technical Sciences Kosovska Mitrovica Serbia Ministry of Interior Republic of Serbia Belgrade Serbia

ISBN: (数字)9781728167992

ISBN: (纸本)9781728168005

Development of quality object-oriented software contains security as an integral aspect of that process. During that process, a ceaseless burden on the developers was posed in order to maximize the development and at the same time to reduce the expense and time invested in security. In this paper, the authors analyzed metrics for object-oriented software in order to evaluate and identify the relation between metric value and security of the software. Identification of these relations was achieved by study of software vulnerabilities with code level metrics. By using OWASP classification of vulnerabilities and experimental results, we proved that there was relation between metric values and possible security issues in software. For experimental code analysis, we have developed special software called SOFTMET.

关键词： object-oriented programming pattern classification security of data software metrics source code (software) Software measurement Data Security object oriented programming Pattern recognition computer software Metronidazole object orientation computer programs Security proprietary software Codes

来源：评论

学校读者我要写书评

暂无评论

Compress objects, Not Cache Lines: An object-Based Compressed Memory Hierarchy 19

Compress Objects, Not Cache Lines: An Object-Based Compresse...

引用

24th International conference on Architectural Support for programming languages and Operating systems (ASPLOS)

作者： Tsai, Po-An Sanchez, Daniel MIT CSAIL Cambridge MA 02139 USA

ISBN: (纸本)9781450362405

Existing cache and main memory compression techniques compress data in small fixed-size blocks, typically cache lines. Moreover, they use simple compression algorithms that focus on exploiting redundancy within a block. These techniques work well for scientific programs that are dominated by arrays. However, they are ineffective on object-based programs because objects do not fall neatly into fixed-size blocks and have a more irregular layout. We present the first compressed memory hierarchy designed for object-based applications. We observe that (i) objects, not cache lines, are the natural unit of compression for these programs, as they traverse and operate on object pointers;and (ii) though redundancy within each object is limited, redundancy across objects of the same type is plentiful. We exploit these insights through Zippads, an object-based compressed memory hierarchy, and COCO, a cross-object-compression algorithm. Building on a recent object-based memory hierarchy, Zippads transparently compresses variable-sized objects and stores them compactly. As a result, Zippads consistently outperforms a state-of-the-art compressed memory hierarchy: on a mix of array- and object-dominated workloads, Zippads achieves 1.63x higher compression ratio and improves performance by 17%.

关键词： cache memory object-based compression

来源：评论

学校读者我要写书评

暂无评论

An object oriented Approach Towards Simulating Physical systems with Fluids and Rigid Bodies Based on the Physolator Simulation Framework 7th

An Object Oriented Approach Towards Simulating Physical Syst...

引用

7th International conference on Simulation and Modeling Methodologies, Technologies and applications, SIMULTECH 2017

作者： Eisenbiegler, Dirk Rose, Waldemar University of Furtwangen Furtwangen Im Schwarzwald Germany

ISBN: (纸本)9783030014698

This article is about computer based simulations applied to physical systems that consists both of fluids and rigid bodies. It explains how to build such simulations in a systematic manner applying object oriented programming techniques. This work is based on the Physolator simulation framework. Physolator supports a modular design style. This article shows, how the Physolator framework can be used to build mixed fluid and rigid body simulations in a systematic manner by first building a set of reusable components and then building different kinds of physical systems by assembling these components. © 2019, Springer Nature Switzerland AG.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

programming Behavioral Test Models for SMT Solving in Scala 12

Programming Behavioral Test Models for SMT Solving in Scala

引用

12th IEEE International conference on Software Testing, Verification and Validation (ICST)

作者： Aichernig, Bernhard K. Maderbacher, Benedikt Tiran, Stefan Graz Univ Technol Inst Software Technol Graz Austria AIT Austrian Inst Technol Ctr Digital Safety & Secur Vienna Austria

ISBN: (纸本)9781728108889

We present a novel approach for modeling cyberphysical systems for analysis and test purposes. Instead of creating a new expressive specification language with sophisticated semantics and complex compilers, we rely on a lightweight version of Back's Action systems, for which we provide a simple bounded model checker using the SMT solver Z3. In order to model industrial-sized embedded systems, we extend our simple specification language by using the powerful capabilities of the modern programming language Scala for creating Domain Specific languages (DSL). This enables us to use the features of an expressive, object-oriented and functional general-purpose language without the need to increase the complexity of the model checker. We demonstrate how to model a railway interlocking system with a configurable track layout and sketch the application to model-based testing.

关键词： object oriented modeling Unified modeling language Semantics DSL Syntactics Testing Computational modeling

来源：评论

学校读者我要写书评

暂无评论

An Industrial Experience Report on Performance-Aware Refactoring on a Database-centric Web Application 34

An Industrial Experience Report on Performance-Aware Refacto...

引用

34th IEEE/ACM International conference on Automated Software Engineering (ASE)

作者： Chen, Boyuan Jian, Zhen Ming (Jack) Matos, Paul Lacaria, Michael York Univ Toronto ON Canada Copywell Inc Toronto ON Canada

ISBN: (纸本)9781728125084

Modern web applications rely heavily on databases to query and update information. To ease the development efforts, object Relational Mapping (ORM) frameworks provide an abstraction for developers to manage databases by writing in the same object-oriented programming languages. Prior studies have shown that there are various types of performance issues caused by inefficient accesses to databases via different ORM frameworks (e.g., Hibernate and ActiveRecord). However, it is not clear whether the reported performance anti-patterns (common performance issues) can be generalizable across various frameworks. In particular, there is no study focusing on detecting performance issues for applications written in PHP, which is the choice of programming languages for the majority (79%) of web applications. In this experience paper, we detail our process on conducting performance-aware refactoring of an industrial web application written in Laravel, the most popular web framework in PHP. We have derived a complete catalog of 17 performance anti-patterns based on prior research and our experimentation. We have found that some of the reported anti-patterns and refactoring techniques are framework or programming language specific, whereas others are general. The performance impact of the anti-pattern instances are highly dependent on the actual usage context (workload and database settings). When communicating the performance differences before and after refactoring, the results of the complex statistical analysis may be sometimes confusing. Instead, developers usually prefer more intuitive measures like percentage improvement. Experiments show that our refactoring techniques can reduce the response time up to 93.0% and 93.4% for the industrial and the open source application under various scenarios.

关键词： Database centric applications Experience report ORM framework Performance anti patterns Refactoring

来源：评论

学校读者我要写书评

暂无评论

Hammock-based Identification of Changes in Advice applications between Aspect-oriented Programs 14

Hammock-based Identification of Changes in Advice Applicatio...

引用

14th International conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

作者： Katic, Marija Independent Researcher London United Kingdom

ISBN: (纸本)9789897583759

In an aspect-oriented program, the cross-cutting functionalities are defined in pieces of advice such that they apply to program-execution points for the core functionalities. Program changes can affect the application of pieces of advice. To that end, a source-code differencing tool, for two versions of an aspect-oriented program, needs to support the identification of changes in pieces of advice at locations of their applications. To alleviate this task, we introduce an extension of the existing differencing technique for object-oriented programs. We implemented a tool AjDiff and used it to evaluate our technique on the two examples of aspect-oriented programs: Tracing and Telecom. We manually verified that our tool can successfully identify changes in pieces of advice at locations of their application.

关键词： Aspect-oriented programming Program Differencing CFG Comparison Hammock Hammock Graphs

来源：评论

学校读者我要写书评

暂无评论

Performance of an OO Compute Kernel on the JVM: Revisiting Java as a language for scientific computing applications 16

Performance of an OO Compute Kernel on the JVM: Revisiting J...

引用

16th ACM SIGPLAN International conference on Managed programming languages and Runtimes, MPLR 2019, co-located with SPLASH 2019

作者： Källén, Malin Wrigstad, Tobias Uppsala University Sweden

ISBN: (纸本)9781450369770

The study of Java as a programming language for scientific computing is warranted by simpler, more extensible and more easily maintainable code. Previous work on refactoring a C++ scientific computing code base to follow best practises of object-oriented software development revealed a coupling of such practises and considerable slowdowns due to indirections introduced by abstractions. In this paper, we explore how Java's JIT compiler handle such abstraction-induced indirection using a typical scientific computing compute kernel extracted from a linear solver written in C++. We find that the computation times for large workloads on one machine can be on-pair for C++ and Java. However, for distributed computations, a better parallelisation strategy needs to be found for non-blocking communication. We also report on the impact on performance for common "gripes": garbagecollection, array bounds checking, and dynamic binding. c 2019 Copyright held by the owner/author(s). Publication rights licensed to ACM. © MPLR 2019 - Proceedings of the 16th ACM SIGPLAN International conference on Managed programming languages and Runtimes, co-located with SPLASH 2019. All rights reserved.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Formalizing object-Ontological Mapping Using F-logic 3rd

Formalizing Object-Ontological Mapping Using F-logic

引用

3rd International Joint conference on Rules and Reasoning (RuleML+RR)

作者： Ledvinka, Martin Kfemen, Petr Czech Tech Univ Fac Elect Engn Dept Comp Sci Prague 6 Dejvice Czech Republic

ISBN: (纸本)9783030310950;9783030310943

Ontologies can represent a significant asset of domain-specific information systems, written predominantly using the object-oriented paradigm. However, to be able to work with ontological data in this paradigm, a mapping must ensure transformation between the ontology and the object world. While many software libraries provide such a mapping, they lack standardization or formal guarantees of its semantics. In this paper, we provide a formalism for mapping ontologies between description logics and F-logic, a formal language for representing structural aspects of object-oriented programming languages. This formalism allows to precisely specify the semantics of the object-ontological mapping and thus ensure a predictable shape and behavior of the object model.

关键词： object-ontological mapping SROIQ F-logic

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共487页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：