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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 期刊文献
1 册 图书
1 篇 学位论文

馆藏范围

1,603 篇 电子文献
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...
37 篇 languages
35 篇 computer science
33 篇 software enginee...
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,531 篇 英文
71 篇 其他
1 篇 中文

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

共 1603 条记录，以下是31-40 订阅

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

详细简洁

排序：

Actor-oriented Database systems 34

Actor-Oriented Database Systems

引用

34th IEEE International conference on Data Engineering Workshops (ICDEW)

作者： Bernstein, Philip A. Microsoft Corp One Microsoft Way Redmond WA 98052 USA

We present the vision of an actor-oriented database. Its goal is to integrate database abstractions into an actor-oriented programming language for interactive, stateful, scalable, distributed applications that use cl... 详细信息

ISBN: (纸本)9781538655207

关键词： Servers Cloud computing object oriented modeling programming Indexing Computer languages

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the conference on object-oriented programming systems, languages, and applications, oopsla

Proceedings of the Conference on Object-Oriented Programming...

引用

2015 ACM SIGPLAN International conference on object-oriented programming, systems, languages, and applications, oopsla 2015

ISBN: (纸本)9781450336895

The proceedings contain 53 papers. The topics discussed include: detecting redundant CSS rules in HTML5 applications: a tree rewriting approach;SATCheck: SAT-directed stateless model checking for SC and TSO;stateless model checking of event-driven applications;synthesis of layout engines from relational constraints;a sound and optimal incremental build system with dynamic dependencies;conditionally correct superoptimization;selective control-flow abstraction via jumping;automating grammar comparison;reasoning about the POSIX file system: Local Update and Global Pathnames;ShamDroid: gracefully degrading functionality in the presence of limited resource access;finding deep compiler bugs via guided stochastic program mutation;vectorization of apply to reduce interpretation overhead of R;and fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Things migrate: Platform-independent migration of stateful javascript IoT applications 32

Things migrate: Platform-independent migration of stateful j...

引用

32nd European conference on object-oriented programming, ECOOP 2018

作者： Gascon-Samson, Julien Jung, Kumseok Goyal, Shivanshu Rezaiean-Asel, Armin Pattabiraman, Karthik Electrical and Computer Engineering Department University of British Columbia 2332 Main Mall VancouverBCV6T 1Z4 Canada

ISBN: (纸本)9783959770798

The Internet of Things (IoT) has gained wide popularity both in academic and industrial contexts. As IoT devices become increasingly powerful, they can run more and more complex applications written in higher-level languages, such as JavaScript. However, by their nature, IoT devices are subject to resource constraints, which require applications to be dynamically migrated between devices (and the cloud). Further, IoT applications are also becoming more stateful, and hence we need to save their state during migration transparently to the programmer. In this paper, we present ThingsMigrate, a middleware providing VM-independent migration of stateful JavaScript applications across IoT devices. ThingsMigrate captures and reconstructs the internal JavaScript program state by instrumenting application code before run time, without modifying the underlying Virtual Machine (VM), thus providing platform and VM-independence. We evaluated ThingsMigrate against standard benchmarks, and over two IoT platforms and a cloud-like environment. We show that it can successfully migrate even highly CPU-intensive applications, with acceptable overheads (about 30%), and supports multiple migrations. © Julien Gascon-Samson, Kumseok Jung, Shivanshu Goyal, Armin Rezaiean-Asel, and Karthik Pattabiraman.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Refactoring object-oriented applications towards a better decoupling and instantiation unanticipation 29

Refactoring object-oriented applications towards a better de...

引用

29th International conference on Software Engineering and Knowledge Engineering, SEKE 2017

作者： Zellagui, Soumia Tibermacine, Chouki Bouziane, Hinde Lilia Seriai, Abdelhak-Djamel Dony, Christophe CNRS LIRMM University of Montpellier France

ISBN: (纸本)1891706411

Modularity in object-oriented (OO) applications has been a major concern since the early years of OO programming languages. Migrating existing OO applications to Component-Based (CB) ones can contribute to improve modularity, and therefore maintainability and reuse. In this paper, we propose a method for source code transformation (refactoring) in order to perform this migration. This method enhances decoupling by considering that some dependencies between classes should be set through abstract types (interfaces) like in CB applications. In addition, some anticipated instantiations of these classes "buried" in the source code are extracted and replaced by declarative statements (like connectors in CB applications) which are processed by a dependency injection mechanism. For doing so, a set of "Bad Smells", i.e., modularity-violating symptoms, has been defined. These are first detected in the source code. Then, some refactoring operations are applied for their elimination. An implementation of the method was successfully experimented on a set of open source Java projects. The results of this experimentation are reported in this paper.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Towards the Memory Forensics of OOP Execution Behavior 8

Towards the Memory Forensics of OOP Execution Behavior

引用

8th International conference on Information, Intelligence, systems and applications (IISA)

作者： Al-Sharif, Ziad A. Al-Saleh, Mohammad I. Alawneh, Luay Jordan Univ Sci & Technol Software Engn Dept POB 3030 Irbid 22110 Jordan Jordan Univ Sci & Technol Comp Sci Dept POB 3030 Irbid 22110 Jordan

ISBN: (纸本)9781538637319

Perpetrators might employ computer programs (software) to perform their offenses or to cover their wrongdoings. Program's source code, in particular variables and their values diverge in their scope and duration in RAM. object oriented languages encapsulate variables and operations in classes and allow for objects to be instantiated, which simplify software design but add to the complexity of its execution behavior and its data and control flow. This paper explores execution behaviors and information left by program execution in support for legal actions against perpetrators in the court of law. Our investigation model assumes no information is provided by the operating system;only raw RAM dumps. Our methodology employs information from the presumed program source code and its object oriented design. It explores various execution states and scenarios to uncover the evidence of potential software usage. These scenarios are designed to show that scope, access modifiers, and storage information of various source code variables can be used to identify program's activities. Results show that investigators have good chances locating various variables' values that are uniquely corresponded to the presumed software and its execution states. In some cases, values are successfully identified in memory dumps even after the process is stopped.

关键词： Digital Forensics Memory Forensics object oriented programming Program Execution Behavior Java Programs C# Programs

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the conference on object-oriented programming systems, languages, and applications, oopsla

Proceedings of the Conference on Object-Oriented Programming...

引用

2014 ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications, oopsla 2014

ISBN: (纸本)9781450325851

The proceedings contain 52 papers. The topics discussed include: checking correctness of typescript interfaces for JavaScript libraries;determinacy in static analysis for jQuery;Eventbreak: analyzing the responsiveness of user interfaces through performance-guided test generation;Tardis: affordable time-travel debugging in managed runtimes;Phosphor: illuminating dynamic data flow in commodity JVMs;Rubah: DSU for Java on a stock JVM;fast conservative garbage collection;region-based memory management for GPU programming languages: enabling rich data structures on a Spartan host;StreamJIT: a commensal compiler for high-performance stream programming;SurveyMan: programming and automatically debugging surveys;refactoring Java generics by inferring wildcards, in practice;continuously measuring critical section pressure with the free-lunch profiler;understanding energy behaviors of thread management constructs;and distributed REScala: an update algorithm for distributed reactive programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Interface-based Semi-automated Testing of Software Components

Interface-based Semi-automated Testing of Software Component...

引用

Federated conference on Computer Science and Information systems (FedCSIS)

作者： Potuzak, Tomas Lipka, Richard Brada, Premek Univ West Bohemia Fac Appl Sci Dept Comp Sci Univ 8 Plzen 30614 Czech Republic Univ West Bohemia Fac Appl Sci European Ctr Excellence New Technol Informat Soc Univ 8 Plzen 30614 Czech Republic

ISBN: (纸本)9788394625375

The component-based software development enables to construct applications from reusable components providing particular functionalities and simplifies application evolution. To ensure the correct functioning of a given component-based application and its preservation across evolution steps, it is necessary to test not only the functional properties of the individual components but also the correctness of their mutual interactions and cooperation. This is complicated by the fact that third-party components often come without source code and/or documentation of functional and interaction properties. In this paper, we describe an approach for performing rigorous semi-automated testing of software components with unavailable source code. Utilizing an automated analysis of the component interfaces, scenarios invoking methods with generated parameter values are created. When they are performed on a stable application version and their runtime effects (component interactions) are recorded, the resulting scenarios with recorded effects can be used for accurate regression testing of newly installed versions of selected components. Our experiences with a prototype implementation show that the approach has acceptable demands on manual work and computational resources.

关键词： Testing Software Java Natural languages Runtime Electronic mail natural languages Runtime electronic mail computer software Java Java programming language computer programs object oriented programming Source code Reusable components regression testing

来源：评论

学校读者我要写书评

暂无评论

OrcO: A concurrency-first approach to objects 2016

OrcO: A concurrency-first approach to objects

引用

2016 ACM SIGPLAN International conference on object-oriented programming, systems, languages, and applications, oopsla 2016

作者： Peters, Arthur Michener Kitchin, David Thywissen, John A. Cook, William R. University of Texas at Austin AustinTX United States Google Inc. United States

ISBN: (纸本)9781450344449

The majority of modern programming languages provide concurrency and object-orientation in some form. However, object-oriented concurrency remains cumbersome in many situations. We introduce the language OrcO, Orc with concurrent objects, which enables a flexible style of concurrent object-oriented programming. OrcO extends the Orc programming language by adding abstractions for programmingin- the-large;namely objects, classes, and inheritance. OrcO objects are designed to be orthogonal to concurrency, allowing the concurrent structure and object structure of a program to evolve independently. This paper describes OrcO's goals and design and provides examples of how OrcO can be used to deftly handle events, object management, and object composition. © 2016 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：