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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,513 篇 会议
110 篇 期刊文献
12 册 图书

馆藏范围

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

日期分布

学科分类号

910 篇 工学
- 852 篇 计算机科学与技术...
- 773 篇 软件工程
- 76 篇 控制科学与工程
- 49 篇 信息与通信工程
- 48 篇 电气工程
- 17 篇 机械工程
- 16 篇 建筑学
- 15 篇 航空宇航科学与技...
- 12 篇 生物工程
- 11 篇 电子科学与技术（可...
- 9 篇 材料科学与工程（可...
- 7 篇 土木工程
- 7 篇 交通运输工程
- 5 篇 光学工程
- 5 篇 安全科学与工程
- 4 篇 仪器科学与技术
- 4 篇 化学工程与技术
- 4 篇 网络空间安全
174 篇 管理学
- 93 篇 图书情报与档案管...
- 89 篇 管理科学与工程(可...
- 38 篇 工商管理
158 篇 理学
- 106 篇 数学
- 21 篇 物理学
- 18 篇 系统科学
- 12 篇 生物学
- 8 篇 统计学（可授理学、...
- 5 篇 化学
- 3 篇 地质学
23 篇 教育学
- 23 篇 教育学
10 篇 法学
- 8 篇 社会学
4 篇 医学
2 篇 经济学
1 篇 文学
1 篇 农学

主题

391 篇 object oriented ...
294 篇 object oriented ...
126 篇 computer science
121 篇 computer languag...
116 篇 application soft...
86 篇 java
80 篇 software enginee...
75 篇 object oriented ...
68 篇 software systems
65 篇 computer archite...
59 篇 programming
54 篇 database systems
45 篇 programming prof...
45 篇 distributed comp...
44 篇 laboratories
42 篇 relational datab...
38 篇 database languag...
37 篇 prototypes
37 篇 data models
36 篇 control systems

机构

6 篇 department of co...
6 篇 massachusetts in...
6 篇 department of co...
5 篇 institute of inf...
5 篇 miles consulting
5 篇 ibm
5 篇 delft university...
5 篇 monash universit...
5 篇 irisa rennes
5 篇 letterkenny inst...
5 篇 tokyo institute ...
5 篇 tsinghua univ
4 篇 department of co...
4 篇 statoilhydro
4 篇 xi'an jiaotong u...
4 篇 business informa...
4 篇 state key labora...
4 篇 ibm haifa resear...
4 篇 sti university o...
4 篇 department of ed...

作者

7 篇 hazzan orit
6 篇 dubinsky yael
6 篇 visser eelco
6 篇 landre einar
6 篇 mezini mira
5 篇 berre arne jørge...
5 篇 de meuter wolfga...
5 篇 zeid amir
5 篇 korson tim
5 篇 d. watkins
5 篇 rinard martin
5 篇 d'hondt theo
5 篇 seidl martina
4 篇 ji wenyun
4 篇 erez petrank
4 篇 brosch petra
4 篇 chen ping
4 篇 skår lars arne
4 篇 moller anders
4 篇 gu guanqun

语言

1,628 篇 英文
7 篇 其他

检索条件"任意字段=Proceedings of the 1997 Conference on Technology of Object-Oriented Languages and Systems"

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

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

详细简洁

排序：

RPC 2018 - proceedings of the 3rd Russian-Pacific conference on Computer technology and Applications

RPC 2018 - Proceedings of the 3rd Russian-Pacific Conference...

引用

3rd Russian-Pacific conference on Computer technology and Applications, RPC 2018

ISBN: (纸本)9781538675311

The proceedings contain 118 papers. The topics discussed include: use of agent-based modeling for wildfire situations simulation;modeling of a solar arrays deployment process at ground tests of mechanical devices on active gravity compensation systems;design concept of the intelligent information and telecommunication system of university security;object identification on raster images by user query;model synthesis and model-oriented programming: a new technology for high performance agent-based modeling;services and cloud infrastructure to support interdisciplinary scientific research;ontology-based model of object field concerning individual's capabilities for self-development;application of the case-based reasoning approach for identification of acoustic-emission control signals of complex technical objects;automatic error detection and hint generation in the teaching of formal languages syntax using correctwriting question type for moodle LMS;and decision support system for designing an effective configuration of a computing network for distributed complex problem solving.

关键词：

来源：评论

学校读者我要写书评

暂无评论

mruby-Rapid IoT Software Development Language 12

mruby-Rapid IoT Software Development Language

引用

12th IEEE conference on Industrial Electronics and Applications (ICIEA)

作者： Tanaka, Kazuaki Higashi, Hirohito Kyushu Inst Technol Iizuka Fukuoka 8208205 Japan Shimane IT Open Innovat Ctr Matsue Shimane 6900826 Japan

ISBN: (纸本)9781509061617

Embedded systems are systems in which hardware and software are closely linked. In the embedded system, the software controls the hardware. We focused on Ruby which is an object-oriented programming language and scripting language to improve development efficiency of embedded systems. We developed mruby which applied Ruby for embedded systems, and this overview is described in this paper. mruby provides the real-time and hardware access functions required by embedded systems.

关键词： Embedded systems Hardware Registers Real-time systems C languages Software prototyping

来源：评论

学校读者我要写书评

暂无评论

Analyzing source code for automated design pattern recommendation 3

Analyzing source code for automated design pattern recommend...

引用

3rd ACM SIGSOFT International Workshop on Software Analytics, SWAN 2017, Co-located with 11th Joint Meeting of the European Software Engineering conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2017

作者： Hummel, Oliver Burger, Stefan Mannheim University of Applied Sciences Mannheim Germany Siemens Corporate Technology Munich Germany

ISBN: (纸本)9781450351577

Mastery of the subtleties of object-oriented programming languages is undoubtedly challenging to achieve. Design patterns have been proposed some decades ago in order to support software engineers in overcoming recurring challenges in the design of object-oriented software systems. However, given that dozens if not hundreds of patterns have emerged so far, it can be assumed that their mastery has become a serious challenge in its own right. In this paper, we describe a proof of concept implementation of a recommendation system that aims to detect opportunities for the Strategy design pattern that developers have missed so far. For this purpose, we have formalized natural language pattern guidelines from the literature and quantified them for static code analysis with data mined from a significant collection of open source systems. Moreover, we present the results from analyzing 25 different open source systems with this prototype as it discovered more than 200 candidates for implementing the Strategy pattern and the encouraging results of a preliminary evaluation with experienced developers. Finally, we sketch how we are currently extending this work to other patterns. © 2017 Copyright held by the owner/author(s).

关键词： Recommender systems

来源：评论

学校读者我要写书评

暂无评论

LACASA: Lightweight affinity and object capabilities in scala 2016

LACASA: Lightweight affinity and object capabilities in scal...

引用

2016 ACM SIGPLAN International conference on object-oriented Programming, systems, languages, and Applications, OOPSLA 2016

作者： Haller, Philipp Loiko, Alex KTH Royal Institute of Technology Sweden Google Sweden

ISBN: (纸本)9781450344449

Aliasing is a known source of challenges in the context of imperative object-oriented languages, which have led to important advances in type systems for aliasing control. However, their large-scale adoption has turned out to be a surprisingly difficult challenge. While new language designs show promise, they do not address the need of aliasing control in existing languages. This paper presents a new approach to isolation and uniqueness in an existing, widely-used language, Scala. The approach is unique in the way it addresses some of the most important obstacles to the adoption of type system extensions for aliasing control. First, adaptation of existing code requires only a minimal set of annotations. Only a single bit of information is required per class. Surprisingly, the paper shows that this information can be provided by the object-capability discipline, widely-used in program security. We formalize our approach as a type system and prove key soundness theorems. The type system is implemented for the full Scala language, providing, for the first time, a sound integration with Scala's local type inference. Finally, we empirically evaluate the conformity of existing Scala open-source code on a corpus of over 75,000 LOC. © 2016 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Purposes, concepts, misfits, and a redesign of Git 2016

Purposes, concepts, misfits, and a redesign of Git

引用

2016 ACM SIGPLAN International conference on object-oriented Programming, systems, languages, and Applications, OOPSLA 2016

作者： De Rosso, Santiago Perez Jackson, Daniel Computer Science and Artificial Intelligence Lab Massachusetts Institute of Technology CambridgeMA United States

ISBN: (纸本)9781450344449

Git is a widely used version control system that is powerful but complicated. Its complexity may not be an inevitable consequence of its power but rather evidence of flaws in its design. To explore this hypothesis, we analyzed the design of Git using a theory that identifies concepts, purposes, and misfits. Some well-known difficulties with Git are described, and explained as misfits in which underlying concepts fail to meet their intended purpose. Based on this analysis, we designed a reworking of Git (called Gitless) that attempts to remedy these flaws. To correlate misfits with issues reported by users, we conducted a study of Stack Overflow questions. And to determine whether users experienced fewer complications using Gitless in place of Git, we conducted a small user study. Results suggest our approach can be profitable in identifying, analyzing, and fixing design problems. © 2016 ACM.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Accelerating program analyses by cross-program training 2016

Accelerating program analyses by cross-program training

引用

2016 ACM SIGPLAN International conference on object-oriented Programming, systems, languages, and Applications, OOPSLA 2016

作者： Kulkarni, Sulekha Mangal, Ravi Zhang, Xin Naik, Mayur Georgia Institute of Technology United States

ISBN: (纸本)9781450344449

Practical programs share large modules of code. However, many program analyses are ineffective at reusing analysis results for shared code across programs. We present POLYMER, an analysis optimizer to address this problem. POLYMER runs the analysis offline on a corpus of training programs and learns analysis facts over shared code. It prunes the learnt facts to eliminate intermediate computations and then reuses these pruned facts to accelerate the analysis of other programs that share code with the training corpus. We have implemented POLYMER to accelerate analyses specified in Datalog, and apply it to optimize two analyses for Java programs: a call-graph analysis that is flow- and context-insensitive, and a points-to analysis that is flow- and context-sensitive. We evaluate the resulting analyses on ten programs from the DaCapo suite that share the JDK library. POLYMER achieves average speedups of 2.6× for the callgraph analysis and 5.2× for the points-to analysis. © 2016 ACM.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

IceDust: Incremental and eventual computation of derived values in persistent object graphs 30

IceDust: Incremental and eventual computation of derived val...

引用

30th European conference on object-oriented Programming, ECOOP 2016

作者： Harkes, Daco C. Groenewegen, Danny M. Visser, Eelco Delft University of Technology Netherlands

ISBN: (纸本)9783959770149

Derived values are values calculated from base values. They can be expressed in object-oriented languages by means of getters calculating the derived value, and in relational or logic databases by means of (materialized) views. However, switching to a different calculation strategy (for example caching) in object-oriented programming requires invasive code changes, and the databases limit expressiveness by disallowing recursive aggregation. In this paper, we present IceDust, a data modeling language for expressing derived attribute values without committing to a calculation strategy. IceDust provides three strategies for calculating derived values in persistent object graphs: Calculate-on-Read, Calculate-on-Write, and Calculate-Eventually. We have developed a path-based abstract interpretation that provides static dependency analysis to generate code for these strategies. Benchmarks show that different strategies perform better in different scenarios. In addition we have conducted a case study that suggests that derived value calculations of systems used in practice can be expressed in IceDust. © Daco C. Harkes, Danny M. Groenewegen, and Eelco Visser;licensed under Creative Commons License CC-BY.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Asserting reliable convergence for configuration management scripts 2016

Asserting reliable convergence for configuration management ...

引用

2016 ACM SIGPLAN International conference on object-oriented Programming, systems, languages, and Applications, OOPSLA 2016

作者： Hanappi, Oliver Hummer, Waldemar Dustdar, Schahram Distributed Systems Group Vienna University of Technology Austria

ISBN: (纸本)9781450344449

The rise of elastically scaling applications that frequently deploy new machines has led to the adoption of DevOps practices across the cloud engineering stack. So-called configuration management tools utilize scripts that are based on declarative resource descriptions and make the system converge to the desired state. It is crucial for convergent configurations to be able to gracefully handle transient faults, e.g., network outages when downloading and installing software packages. In this paper we introduce a conceptual framework for asserting reliable convergence in configuration management. Based on a formal definition of configuration scripts and their resources, we utilize state transition graphs to test whether a script makes the system converge to the desired state under different conditions. In our generalized model, configuration actions are partially ordered, often resulting in prohibitively many possible execution orders. To reduce this problem space, we define and analyze a property called preservation, and we show that if preservation holds for all pairs of resources, then convergence holds for the entire configuration. Our implementation builds on Puppet, but the approach is equally applicable to other frameworks like Chef, Ansible, etc. We perform a comprehensive evaluation based on real world Puppet scripts and show the effectiveness of the approach. Our tool is able to detect all idempotence and convergence related issues in a set of existing Puppet scripts with known issues as well as some hitherto undiscovered bugs in a large random sample of scripts. © 2016 ACM.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

To be precise: Regression aware debugging 2016

To be precise: Regression aware debugging

引用

2016 ACM SIGPLAN International conference on object-oriented Programming, systems, languages, and Applications, OOPSLA 2016

作者： Bavishi, Rohan Pandey, Awanish Roy, Subhajit Department of Computer Science and Engineering Indian Institute of Technology Kanpur Kanpur India

ISBN: (纸本)9781450344449

Bounded model checking based debugging solutions search for mutations of program expressions that produce the expected output for a currently failing test. However, the current localization tools are not regression aware: they do not use information from the passing tests in their localization formula. On the other hand, the current repair tools attempt to guarantee regression freedom: when provided with a set of passing tests, they guarantee that none of these tests can break due to the suggested repair patch, thereby constructing a large repair formula. In this paper, we propose regression awareness as a means to improve the quality of localization and to scale repair. To enable regression awareness, we summarize the proof of correctness of each passing test by computing Craig Interpolants over a symbolic encoding of the passing execution, and use these summaries as additional soft constraints while synthesizing altered executions corresponding to failing tests. Intuitively, these additional constraints act as roadblocks, thereby discouraging executions that may "damage" the proof of a passing *** use a partial MAXSAT solver to relax the proofs in a systematic way, and use a ranking function that penalizes mutations that damage the existing proofs. We have implemented our algorithms into a tool, TINTIN, that enables regression aware localization and repair. For localizations, our strategy is effective in extracting a superior ranking of suspicious locations: on a set of 52 different versions across 12 different programs spanning three benchmark suites, TINTIN achieves a saving of developer effort by almost 45% (in terms of the locations that must be examined by a developer to reach the ground-truth repair) in the worst case and 27% in the average case over existing techniques. For automated repairs, on our set of benchmarks, TINTIN achieves a 2.3× speedup over existing techniques without sacrificing much on the ranking of the repair patches: the ground-truth r

关键词： Interpolation

来源：评论

学校读者我要写书评

暂无评论

Finding resume and restart errors in android applications 2016

Finding resume and restart errors in android applications

引用

2016 ACM SIGPLAN International conference on object-oriented Programming, systems, languages, and Applications, OOPSLA 2016

作者： Shan, Zhiyong Azim, Tanzirul Neamtiu, Iulian School of Computer Science and Mathematics University of Central Missouri WarrensburgMO64093 United States Department of Computer Science and Engineering University of California RiversideCA92521 United States Department of Computer Science New Jersey Institute of Technology NewarkNJ07102 United States

ISBN: (纸本)9781450344449

Smartphone apps create and handle a large variety of "instance" data that has to persist across runs, such as the current navigation route, workout results, antivirus settings, or game state. Due to the nature of the smartphone platform, an app can be paused, sent into background, or killed at any time. If the instance data is not saved and restored between runs, in addition to data loss, partially-saved or corrupted data can crash the app upon resume or restart. While smartphone platforms offer API support for data-saving and data-retrieving operations, the use of this API is ad-hoc: left to the programmer, rather than enforced by the compiler. We have observed that several categories of bugs-including data loss, failure to resume/restart or resuming/restarting in the wrong state-are due to incorrect handling of instance data and are easily triggered by just pressing the 'Home' or 'Back' buttons. To help address this problem, we have constructed a tool chain for Android (the KRE finder static analysis and the KREreproducer input generator) that helps find and reproduce such incorrect handling. We have evaluated our approach by running the static analysis on 324 apps, of which 49 were further analyzed manually. Results indicate that our approach is (i) effective, as it has discovered 49 bugs, including in popular Android apps, and (ii) efficient, completing on average in 61 seconds per app. More generally, our approach helps determine whether an app saves too much or too little state. © 2016 ACM.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：