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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,466 篇 会议
135 篇 期刊文献
11 册 图书
1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

1,207 篇 工学
- 1,062 篇 软件工程
- 1,055 篇 计算机科学与技术...
- 177 篇 控制科学与工程
- 38 篇 电气工程
- 37 篇 信息与通信工程
- 16 篇 建筑学
- 13 篇 土木工程
- 13 篇 生物工程
- 12 篇 机械工程
- 12 篇 光学工程
- 8 篇 电子科学与技术（可...
- 7 篇 材料科学与工程（可...
- 6 篇 化学工程与技术
- 5 篇 冶金工程
- 5 篇 航空宇航科学与技...
- 4 篇 交通运输工程
- 4 篇 环境科学与工程（可...
- 3 篇 安全科学与工程
164 篇 理学
- 121 篇 数学
- 20 篇 系统科学
- 16 篇 生物学
- 7 篇 化学
- 7 篇 统计学（可授理学、...
- 6 篇 物理学
150 篇 管理学
- 89 篇 图书情报与档案管...
- 73 篇 管理科学与工程(可...
- 28 篇 工商管理
18 篇 教育学
- 17 篇 教育学
11 篇 法学
- 10 篇 社会学
4 篇 经济学
- 4 篇 应用经济学
2 篇 医学
1 篇 农学
1 篇 军事学

主题

619 篇 object oriented ...
95 篇 object oriented ...
91 篇 computer languag...
82 篇 java
77 篇 application soft...
39 篇 software enginee...
37 篇 languages
35 篇 computer science
28 篇 performance
27 篇 software systems
27 篇 programming prof...
27 篇 programming
26 篇 computer archite...
22 篇 object-oriented ...
21 篇 design
20 篇 object oriented ...
20 篇 database systems
19 篇 computer program...
16 篇 object-oriented ...
16 篇 logic programmin...

机构

7 篇 carnegie mellon ...
7 篇 swiss fed inst t...
6 篇 univ texas austi...
5 篇 ibm
5 篇 ibm t.j. watson ...
5 篇 university of il...
5 篇 purdue universit...
4 篇 university of te...
4 篇 ecole polytech f...
4 篇 univ of washingt...
4 篇 software composi...
4 篇 univ waterloo wa...
4 篇 victoria univers...
4 篇 ibm corp thomas ...
4 篇 at and t united ...
3 篇 ibm united state...
3 篇 school of comput...
3 篇 cwi
3 篇 university of il...
3 篇 oregon graduate ...

作者

10 篇 aldrich jonathan
9 篇 de champeaux den...
9 篇 biddle robert
9 篇 noble james
9 篇 johnson ralph
8 篇 yonezawa akinori
8 篇 cook william r.
8 篇 coad peter
7 篇 abi-antoun marwa...
6 篇 baniassad elisa
6 篇 helm richard
6 篇 jacobson ivar
6 篇 ungar david
6 篇 cook william
6 篇 beck kent
5 篇 mckinley kathryn...
5 篇 wirfs-brock rebe...
5 篇 sweeney peter f.
5 篇 palsberg jens
5 篇 grothoff christi...

语言

1,541 篇 英文
71 篇 其他
1 篇 中文

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

共 1613 条记录，以下是21-30 订阅

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

详细简洁

排序：

Kaizen: A scalable concolic fuzzing tool for Scala 11

Kaizen: A scalable concolic fuzzing tool for Scala

引用

11th ACM SIGPLAN International Symposium on Scala, SCALA 2020, co-located with the ACM SIGPLAN conference on systems, programming, languages, and applications: Software for Humanity, SPLASH 2020

作者： Ashouri, Mohammadreza University of Potsdam Germany

ISBN: (纸本)9781450381772

Scala is an open-source programming language created by Martin Odersky in 2001 and released under the BSD or Berkeley Software Distribution license. The language consolidates object-oriented and functional programming in one high-level and robust language. Scala also maintains static types that help to reduce tricky errors during the execution time. In this paper, we introduce "Kaizen"as a practical security analysis tool that works based on concolic fuzzing for evaluating real-world Scala applications. To evaluated our approach, we analyzed 1,000 popular Scala projects existing on GitHub. As a result, Kaizen could report and exploit 101 security issues;some of those have not been reported before. Furthermore, our performance analysis outcome on the ScalaBench test suite demonstrates a 49% runtime overhead that proves Kaizen's usefulness for security testing in the Scala ecosystem. © 2020 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A Subtyping Scheme for Nominal and Structural Types Based on Class Graph Equivalence 2021

A Subtyping Scheme for Nominal and Structural Types Based on...

引用

2021 4th International conference on Blockchain Technology and applications

作者： Wei Ke Ka-Hou Chan School of Applied Sciences Macao Polytechnic Institute Macao

ISBN: (纸本)9781450387460

Subtyping and multiple inheritance are the essential features of oo and component-based programming languages, in particular with the presence of interfaces and contracts. More general, the composability of these constructs admitting the subtype relation powers the reusability, modular, flexibility and reliability of oo-based systems. While nominal classes allow annotation of user intention to the types, operations on interfaces and contracts naturally result structural constructs. Structural types are also necessary if we need the types to have value-semantics, so that they can be transferred around in distributed systems. Building a type system that allows the coexistence of nominal and structural classes, while maintaining the usual subtype relation is critical and challenging. We present a subtyping scheme that encodes a class to a directed and edge-labeled graph, which has the convenience to handle recursive types. The names of a class and its superclasses are encoded as tags to label the edges of the graph, turning the nominal construct into a structural one. This encoding allows us to unify the handling of class relations into graph relations. We define the class representation, canonical form, value-identity and subtype relation in the notion of graphs, and justify our subtyping scheme in the cases of multiple inheritance, class intersection and union. Our scheme is general, easy to implement and compatible with most of the existing oo type systems, providing a solid base for further oo language and tool development.

关键词： nominal subtyping recursive type class graph type equivalence intersection type distributed programming structural subtyping union type object-oriented language subtyping multiple inheritance

来源：评论

学校读者我要写书评

暂无评论

Integration of the MATLAB System and the object-oriented programming System C# Based on the Microsoft COM Interface for Solving Computational and Graphic Tasks 9th

Integration of the MATLAB System and the Object-Oriented Pro...

引用

9th Computer Science On-line conference, CSOC 2020

作者： Adadurov, Sergey Fomenko, Yulia Khomonenko, Anatoly Krasnovidov, Alexander JSC "VNIIZHT" 3rd Mytischinskaya Street 10 Moscow Russia Emperor Alexander I St. Petersburg State Transport University Moskovski prospekt 9 St. Petersburg Russia VKA named after A.F. Mozhaysky Zhdanovskaya Street 13 St. Petersburg Russia

ISBN: (纸本)9783030519643

The possibilities of data exchange between functions in the language of the MATLAB system with applications in high-level languages are considered. Programs in high-level languages appropriately to use in conjunction with mathematical packages to collect data, control various technological processes, and perform other similar actions. The instrumental means of organizing such an exchange are characterized. It had been shown the feasibility of integrating applications in high-level languages and the m-function of the MATLAB system, if necessary, to organize input/output of large amounts of data. The expediency of using structured data to solve this problem is justified. Methodology for integrating C# and MATLAB and its necessity are descused. Options for the implementation of data exchange using *** Framework components are presented. © 2020, Springer Nature Switzerland AG.

关键词： MATLAB

来源：评论

学校读者我要写书评

暂无评论

Distributed object-oriented programming with Multiple Consistency Levels in ConSysT 2019

Distributed Object-Oriented Programming with Multiple Consis...

引用

International conference on systems, programming, languages, and applications: Software for Humanity (SPLASH)

作者： Eskandani, Nafise Koehler, Mirko Margara, Alessandro Salvaneschi, Guido Tech Univ Darmstadt Darmstadt Germany Politecn Milan Milan Italy

ISBN: (纸本)9781450369923

Data replication is essential in scenarios like geo-distributed datacenters and edge computing. Yet, it poses a challenge for data consistency. Developers either adopt high consistency at the detriment of performance or they embrace low consistency and face a much higher programming complexity. We argue that language abstractions should support associating the level of consistency to data types. We present ConSysT, a programming language and middleware that provides abstractions to specify consistency types, enabling mixing different consistency levels in the same application. Such mechanism is fully integrated with object-oriented programming and type system guarantees that different levels can be mixed only in a correct way.

关键词： distributed systems replication consistency type systems Java

来源：评论

学校读者我要写书评

暂无评论

Semantic Knowledge-Based-Engineering: The Codex Framework 12

Semantic Knowledge-Based-Engineering: The Codex Framework

引用

12th International Joint conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K) / 12th International conference on Knowledge Engineering and Ontology Development (KEOD)

作者： Zamboni, J. Zamfir, A. Moerland, E. German Aerosp Ctr Inst Syst Architectures Aeronaut Hamburg Germany

ISBN: (纸本)9789897584749

The development of complex systems within multi-domain environments requires an effective way of capturing, sharing and integrating knowledge of the involved experts. Modern Knowledge-Based Engineering (KBE) systems fulfill this function, making formalized knowledge executable by using highly specialized environments and languages. However, the dedication of these environments to their domain of application poses limitations on the cross-domain integration of KBE applications. The use of Semantic Web Technologies (SWT) delivers a domain-neutral way of knowledge formalization and data integration which promises to drastically reduce the effort required to integrate knowledge of multiple domains in a single representation. Especially within the complex field of aeronautical vehicle design the authors are working in, characterized by several individual disciplines having to be considered simultaneously, the combined usage of KBE and SWT technologies seems an attractive approach for the continued digitalization of the design process. In this paper, the COllaborative DEsign and eXploration (Codex) framework is presented which aims at merging these two technologies into a single framework that can be used to create domain-specific knowledge-bases and integrate these into a single model of the overall product. Formalizing and executing this model will lead to a more transparent and integrated view on complex product design.

关键词： Knowledge-Based Engineering object-oriented programming Semantic Web Technologies Collaboration Complex-system Development Collaborative Engineering

来源：评论

学校读者我要写书评

暂无评论

Code Vision: Learning Mobile Application

Code Vision: Learning Mobile Application

引用

International conference on Innovative Computing (ICIC)

作者： Muhammad Zunnurain Hussain Muhammad Zulkifl Hasan Nadeem Sarwar Junaid Nasir Naila Aslam Faculty of Computer Science and Information Technology Universiti Putra Malaysia Serdang Selangor Malaysia Bahria University Lahore Campus Lahore Pakistan University of Management Technology Lahore Pakistan

ISBN: (纸本)9781665400923

Technology is becoming a major part of each individual’s life. The modern society is saturated with technology and cannot be separated from technology. Now a days, every person is using many number of devices and systems. Code Vision is a mobile application which is created for e-learning purposes. So we are emerging entertainment and education together for students to learn programming language. The aim of this article is to illustrate the leaning mobile application which is based on animated dry run of programming language C++ and object-oriented programming. It is based on the basic and advance concepts of OOP and C++. Mostly people face problems like they could not be able to understand the working of programming when they initially start learning, they won’t be able to create the logic of their own program. This application reduces the confusion factor and make all the concepts clear in people’s mind. In this article, the development process of this application has been described, and also the functionalities and significance of requirements of this application is defined. This article will be helpful in further researches and development in the field of mobile application development.

关键词： Visualization Codes C++ languages programming Animation Rapid prototyping Mobile applications

来源：评论

学校读者我要写书评

暂无评论

Renaissance: A Modern Benchmark Suite for Parallel applications on the JVM 2019

Renaissance: A Modern Benchmark Suite for Parallel Applicati...

引用

International conference on systems, programming, languages, and applications: Software for Humanity (SPLASH)

作者： Prokopec, Aleksandar Rosa, Andrea Leopoldseder, David Duboscq, Gilles Tuma, Petr Studener, Martin Bulej, Lubomir Zheng, Yudi Villazon, Alex Simon, Doug Wuerthinger, Thomas Binder, Walter Oracle Labs Zurich Switzerland Univ Svizzera Italiana Lugano Switzerland Johannes Kepler Univ Linz Linz Austria Charles Univ Prague Prague Czech Republic Univ Privada Boliviana La Paz Bolivia

This paper describes Renaissance, a new benchmark suite that covers modern JVM concurrency and parallelism paradigms.

ISBN: (纸本)9781450369923

This paper describes Renaissance, a new benchmark suite that covers modern JVM concurrency and parallelism paradigms.

关键词： benchmarks JIT compilation parallelism concurrency JVM object-oriented programming benchmarks functional programming benchmarks Big Data benchmarks

来源：评论

学校读者我要写书评

暂无评论

Improving Performance and Quality of Database-Backed Software 2019

Improving Performance and Quality of Database-Backed Softwar...

引用

International conference on systems, programming, languages, and applications: Software for Humanity (SPLASH)

作者： Yang, Junwen Univ Chicago Chicago IL 60637 USA

ISBN: (纸本)9781450369923

Modern web applications have stringent latency requirements while processing an ever-increasing amount of user data. To address these challenges and improve programmer productivity, object Relational Mapping (ORM) frameworks have been developed to allow developers writing database processing code in an object-oriented manner. Despite such frameworks, prior work found that developers still struggle in developing ORM-based web applications. This paper presents a series of study and developed tools for optimizing web applications developed using the Ruby on Rails ORM. Using automated static analysis, we detect ORM related in-efficiency problems and suggests fixes to developers. Our evaluation on 12 real-world applications shows that more than 1000 performance issues can be detected and fixed.

关键词： performance anti-patterns database-backed applications

来源：评论

学校读者我要写书评

暂无评论

Supporting object-oriented design learning outcome using android development project 126

Supporting object-oriented design learning outcome using and...

引用

126th ASEE Annual conference and Exposition: Charged Up for the Next 125 Years, ASEE 2019

作者： Gilder, Asjia Marion-Bethany Choosilp, Wichien Allen, Michael Dean, Quantarius Jerome Fu, Yujian Alabama A&M University United States

In the past decades, object-oriented programming and design concepts have become the most prominent programming paradigm used by programmers and application developers in today's time. object oriented programming is a programming language model that is organized as objects which integrate data and actions to describe system logics. The idea of object-oriented programming gained momentum in the 1970s and Java has been widely used in many applications and domains. The concepts of object orientation have been adopted in many other languages such as C#, Python, Swift, and so forth. With the fast development of mobile applications, Android programming became one of the most popular platforms due to the broad adoption of mobile devices in medical, civil, military and construction areas. Project based learning method have been proved to improve and boost students learning of concepts effectively. This paper present an experimental study that use Android development to help students master the object-oriented design and programming concepts. The implemented mobile app is a smart student registration system that will facilitate registration, class schedule, and academic advising, making it easier for students and administration. The study will demonstrate the importance of object-oriented design and how it guides the programming in mobile development, and on the other side, the mobile development will improve understanding of object orientation concepts. © American Society for Engineering Education, 2019.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International conference on systems, programming, languages, and applications: Software for Humanity

SPLASH Companion 2019 - Proceedings Companion of the 2019 AC...

引用

2019 ACM SIGPLAN International conference on systems, programming, languages, and applications: Software for Humanity, SPLASH Companion 2019

ISBN: (纸本)9781450369923

The proceedings contain 22 papers. The topics discussed include: component-based computation-energy modeling for embedded systems;toward a benchmark repository for software maintenance tool evaluations with humans;NAB: automated large-scale multi-language dynamic program analysis in public code repositories;renaissance: a modern benchmark suite for parallel applications on the JVM;distributed object-oriented programming with multiple consistency levels in ConSysT;towards a WebAssembly standalone runtime on GraalVM;MetaDL: declarative program analysis for the masses;and towards language-parametric semantic editor services based on declarative type system specifications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共162页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：