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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

577 篇 会议
25 册 图书
25 篇 期刊文献

馆藏范围

627 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

522 篇 工学
- 475 篇 计算机科学与技术...
- 416 篇 软件工程
- 33 篇 电气工程
- 23 篇 控制科学与工程
- 18 篇 信息与通信工程
- 7 篇 生物工程
- 5 篇 环境科学与工程（可...
- 4 篇 建筑学
- 4 篇 土木工程
- 4 篇 化学工程与技术
- 3 篇 机械工程
- 3 篇 电子科学与技术（可...
- 3 篇 农业工程
- 2 篇 材料科学与工程（可...
- 2 篇 生物医学工程（可授...
87 篇 理学
- 62 篇 数学
- 11 篇 生物学
- 7 篇 物理学
- 7 篇 系统科学
- 5 篇 化学
36 篇 管理学
- 25 篇 图书情报与档案管...
- 12 篇 管理科学与工程(可...
- 5 篇 工商管理
9 篇 教育学
- 9 篇 教育学
8 篇 法学
- 7 篇 社会学
- 1 篇 法学
3 篇 农学
- 3 篇 作物学
2 篇 医学
- 2 篇 基础医学(可授医学...
- 2 篇 临床医学
- 2 篇 药学(可授医学、理...

主题

237 篇 object oriented ...
24 篇 software enginee...
24 篇 object-oriented ...
23 篇 programming tech...
18 篇 programming lang...
13 篇 semantics
13 篇 logics and meani...
12 篇 computer communi...
11 篇 aspect oriented ...
11 篇 artificial intel...
9 篇 software enginee...
9 篇 c++ (programming...
9 篇 database managem...
7 篇 specifications
7 篇 it in business
5 篇 computer softwar...
5 篇 calculations
5 篇 application prog...
5 篇 computer softwar...
5 篇 problem oriented...

机构

7 篇 victoria univers...
5 篇 carnegie mellon ...
4 篇 microsoft corp r...
4 篇 swiss fed inst t...
3 篇 victoria univ we...
3 篇 software composi...
3 篇 microsoft united...
3 篇 univ genoa disi ...
3 篇 university of to...
3 篇 object technolog...
3 篇 eth zurich
3 篇 university of ch...
3 篇 i.b.m. thomas j....
3 篇 univ geneva obje...
3 篇 independent soft...
3 篇 umeå university
3 篇 purdue univ dept...
3 篇 purdue universit...
2 篇 harvey mudd coll...
2 篇 universidad de m...

作者

16 篇 noble james
9 篇 vitek jan
6 篇 davis kei
6 篇 madsen ole lehrm...
6 篇 jul eric
5 篇 bosch j
5 篇 drossopoulou sop...
5 篇 de meuter wolfga...
5 篇 bruce kim b.
5 篇 ernst michael d.
5 篇 chambers c
5 篇 aldrich jonathan
5 篇 mens kim
5 篇 sahraoui houari ...
4 篇 hirschfeld rober...
4 篇 szyperski c
4 篇 ducasse stéphane
4 篇 homer michael
4 篇 ancona davide
4 篇 yonezawa akinori

语言

614 篇 英文
11 篇 其他
2 篇 中文

检索条件"任意字段=European Conference on Object-Oriented Programming, ECOOP 2000"

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

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

详细简洁

排序：

Multiparty session programming with global protocol combinators 34

Multiparty session programming with global protocol combinat...

引用

34th european conference on object-oriented programming, ecoop 2020

作者： Imai, Keigo Neykova, Rumyana Yoshida, Nobuko Yuen, Shoji Gifu University Japan Brunel University London United Kingdom Imperial College London United Kingdom Nagoya University Japan

ISBN: (纸本)9783959771542

Multiparty Session Types (MPST) is a typing discipline for communication protocols. It ensures the absence of communication errors and deadlocks for well-typed communicating processes. The state-of-the-art implementations of the MPST theory rely on (1) runtime linearity checks to ensure correct usage of communication channels and (2) external domain-specific languages for specifying and verifying multiparty protocols. To overcome these limitations, we propose a library for programming with global combinators – a set of functions for writing and verifying multiparty protocols in OCaml. Local behaviours for all processes in a protocol are inferred at once from a global combinator. We formalise global combinators and prove a sound realisability of global combinators – a well-typed global combinator derives a set of local types, by which typed endpoint programs can ensure type and communication safety. Our approach enables fully-static verification and implementation of the whole protocol, from the protocol specification to the process implementations, to happen in the same language. We compare our implementation to untyped and continuation-passing style implementations, and demonstrate its expressiveness by implementing a plethora of protocols. We show our library can interoperate with existing libraries and services, implementing DNS (Domain Name Service) protocol and the OAuth (Open Authentication) protocol. © Keigo Imai, Rumyana Neykova, Nobuko Yoshida, and Shoji Yuen.

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

32nd european conference on object-oriented programming

引用

Leibniz International Proceedings in Informatics, LIPIcs 2018年 109卷

作者： Millstein, Todd Computer Science Department University of California Los Angeles United States

来源：评论

学校读者我要写书评

暂无评论

Transient typechecks are (almost) free 33

Transient typechecks are (almost) free

引用

33rd european conference on object-oriented programming, ecoop 2019

作者： Roberts, Richard Marr, Stefan Homer, Michael Noble, James School of Engineering and Computer Science Victoria University of Wellington New Zealand School of Computing University of Kent

ISBN: (纸本)9783959771115

Transient gradual typing imposes run-time type tests that typically cause a linear slowdown. This performance impact discourages the use of type annotations because adding types to a program makes the program slower. A virtual machine can employ standard just-in-time optimizations to reduce the overhead of transient checks to near zero. These optimizations can give gradually-typed languages performance comparable to state-of-the-art dynamic languages, so programmers can add types to their code without affecting their programs’ performance. © Richard Roberts, Stefan Marr, Michael Homer, and James Noble.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Dynasoar: A parallel memory allocator for object-oriented programming on GPUs with efficient memory access 33

Dynasoar: A parallel memory allocator for object-oriented pr...

引用

33rd european conference on object-oriented programming, ecoop 2019

作者： Springer, Matthias Masuhara, Hidehiko Tokyo Institute of Technology Japan

ISBN: (纸本)9783959771115

object-oriented programming has long been regarded as too inefficient for SIMD high-performance computing, despite the fact that many important HPC applications have an inherent object structure. On SIMD accelerators, including GPUs, this is mainly due to performance problems with memory allocation and memory access: There are a few libraries that support parallel memory allocation directly on accelerator devices, but all of them suffer from uncoalesed memory accesses. We discovered a broad class of object-oriented programs with many important real-world applications that can be implemented efficiently on massively parallel SIMD accelerators. We call this class Single-Method Multiple-objects (SMMO), because parallelism is expressed by running a method on all objects of a type. To make fast GPU programming available to domain experts who are less experienced in GPU programming, we developed DynaSOAr, a CUDA framework for SMMO applications. DynaSOAr consists of (1) a fully-parallel, lock-free, dynamic memory allocator, (2) a data layout DSL and (3) an efficient, parallel do-all operation. DynaSOAr achieves performance superior to state-of-the-art GPU memory allocators by controlling both memory allocation and memory access. DynaSOAr improves the usage of allocated memory with a Structure of Arrays (SOA) data layout and achieves low memory fragmentation through efficient management of free and allocated memory blocks with lock-free, hierarchical bitmaps. Contrary to other allocators, our design is heavily based on atomic operations, trading raw (de)allocation performance for better overall application performance. In our benchmarks, DynaSOAr achieves a speedup of application code of up to 3x over state-of-the-art allocators. Moreover, DynaSOAr manages heap memory more efficiently than other allocators, allowing programmers to run up to 2x larger problem sizes with the same amount of memory. © Matthias Springer and Hidehiko Masuhara.

关键词： Memory architecture

来源：评论

学校读者我要写书评

暂无评论

32nd european conference on objectoriented programming (ecoop 2018)

32nd european conference on objectoriented programming (ECOO...

引用

32nd european conference on object-oriented programming, ecoop 2018

ISBN: (纸本)9783959770798

The proceedings contain 25 papers. The topics discussed include: fault-tolerant distributed reactive programming;theory and practice of coroutines with snapshots;a characteristic study of parameterized unit tests in .NET open source projects;learning to accelerate symbolic execution via code transformation;accelerating dynamically-typed languages on heterogeneous platforms using guards optimization;automating object transformations for dynamic software updating via online execution synthesis;LEGATO: an at-most-once analysis with applications to dynamic configuration updates;and efficient reflection string analysis via graph coloring.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Definite reference mutability 32

Definite reference mutability

引用

32nd european conference on object-oriented programming, ecoop 2018

作者： Milanova, Ana Dept. of Computer Science Rensselaer Polytechnic Institute 110 8th Street TroyNY United States

ISBN: (纸本)9783959770798

Reference immutability type systems such as Javari and ReIm ensure that a given reference cannot be used to mutate the referenced object. These systems are conservative in the sense that a mutable reference may be mutable due to approximation. In this paper, we present ReM (for definite Re[ference] M[utability]). It separates mutable references into (1) definitely mutable, and (2) maybe mutable, i.e., references whose mutability is due to inherent approximation. In addition, we propose a CFL-reachability system for reference immutability, and prove that it is equivalent to ReIm/ReM, thus building a novel framework for reasoning about correctness of reference immutability type systems. We have implemented ReM and applied it on a large benchmark suite. Our results show that approximately 86.5% of all mutable references are definitely mutable. © Ana Milanova.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Dependent types for class-based mutable objects 32

Dependent types for class-based mutable objects

引用

32nd european conference on object-oriented programming, ecoop 2018

作者： Campos, Joana Vasconcelos, Vasco T. LASIGE Faculdade de Ciências Universidade de Lisboa Portugal

ISBN: (纸本)9783959770798

We present an imperative object-oriented language featuring a dependent type system designed to support class-based programming and inheritance. Programmers implement classes in the usual imperative style, and may take advantage of a richer dependent type system to express class invariants and restrictions on how objects are allowed to change and be used as arguments to methods. By way of example, we implement insertion and deletion for binary search trees in an imperative style, and come up with types that ensure the binary search tree invariant. This is the first dependently-typed language with mutable objects that we know of to bring classes and index refinements into play, enabling types (classes) to be refined by indices drawn from some constraint domain. We give a declarative type system that supports objects whose types may change, despite being sound. We also give an algorithmic type system that provides a precise account of quantifier instantiation in a bidirectional style, and from which it is straightforward to read off an implementation. Moreover, all the examples in the paper have been run, compiled and executed in a fully functional prototype that includes a plugin for the Eclipse IDE. © Joana Campos and Vasco T. Vasconcelos.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

FHJ: A formal model for hierarchical dispatching and overriding 32

FHJ: A formal model for hierarchical dispatching and overrid...

引用

32nd european conference on object-oriented programming, ecoop 2018

作者： Wang, Yanlin Zhang, Haoyuan Oliveira, Bruno C. D. S. Servetto, Marco University of Hong Kong Hong Kong Victoria University of Wellington New Zealand

ISBN: (纸本)9783959770798

Multiple inheritance is a valuable feature for object-oriented programming. However, it is also tricky to get right, as illustrated by the extensive literature on the topic. A key issue is the ambiguity arising from inheriting multiple parents, which can have conflicting methods. Numerous existing work provides solutions for conflicts which arise from diamond inheritance: i.e. conflicts that arise from implementations sharing a common ancestor. However, most mechanisms are inadequate to deal with unintentional method conflicts: conflicts which arise from two unrelated methods that happen to share the same name and signature. This paper presents a new model called Featherweight Hierarchical Java (FHJ) that deals with unintentional method conflicts. In our new model, which is partly inspired by C++, conflicting methods arising from unrelated methods can coexist in the same class, and hierarchical dispatching supports unambiguous lookups in the presence of such conflicting methods. To avoid ambiguity, hierarchical information is employed in method dispatching, which uses a combination of static and dynamic type information to choose the implementation of a method at run-time. Furthermore, unlike all existing inheritance models, our model supports hierarchical method overriding: that is, methods can be independently overridden along the multiple inheritance hierarchy. We give illustrative examples of our language and features and formalize FHJ as a minimal Featherweight-Java style calculus. © Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, and Marco Servetto.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Automating object transformations for dynamic software updating via online execution synthesis 32

Automating object transformations for dynamic software updat...

引用

32nd european conference on object-oriented programming, ecoop 2018

作者： Gu, Tianxiao Ma, Xiaoxing Xu, Chang Jiang, Yanyan Cao, Chun Lu, Jian State Key Laboratory of Novel Software Technology Nanjing University Nanjing China

ISBN: (纸本)9783959770798

Dynamic software updating (DSU) is a technique to upgrade a running software system on the fly without stopping the system. During updating, the runtime state of the modified components of the system needs to be properly transformed into a new state, so that the modified components can still correctly interact with the rest of the system. However, the transformation is non-trivial to realize due to the gap between the low-level implementations of two versions of a program. This paper presents AOTES, a novel approach to automating object transformations for dynamic updating of Java programs. AOTES bridges the gap by abstracting the old state of an object to a history of method invocations, and re-invoking the new version of all methods in the history to get the desired new state. AOTES requires no instrumentation to record any data and thus has no overhead during normal execution. We propose and implement a novel technique that can synthesize an equivalent history of method invocations based on the current object state only. We evaluated AOTES on software updates taken from Apache Commons Collections, Tomcat, FTP Server and SSHD Server. Experimental results show that AOTES successfully handled 51 of 61 object transformations of 21 updated classes, while two state-of-the-art approaches only handled 11 and 6 of 61, respectively. © Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, and Jian Lu.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

On the Problem of Development of Methods and Algorithms Based on the object-oriented Logic programming for Intelligent Video Monitoring of Laboratory Rats 4

On the Problem of Development of Methods and Algorithms Base...

引用

4th International conference on Information Technology and Nanotechnology - Session: Image Processing and Earth Remote Sensing, IPERS-ITNT 2018

作者： Morozov, A.A. Sushkova, O.S. Kotel'Nikov Institute of Radio Engineering and Electronics of RAS Mokhovaya str. 11-7 Moscow125009 Russia

The problem of the video monitoring the laboratory rats by the means of the object-oriented logic programming is considered. The main task of the video monitoring is the analysis of the behavior of the animals in cognitive testing. An essential feature of the video records is in that the experiments are conducted in the same cage where the animal lives, that is, the background of the cage is sawdust. The color of the animals is about the same as the color of the sawdust;thus the detection of the animals is not a simple task. An additional difficulty is in that the videos were recorded simultaneously with electroencephalograms (EEG) in the animals;thus the head of the rat is connected with EEG cable that moves and causes false detections of recognition algorithms. In the paper, development of low-level algorithms for video analysis as well as logical methods for the analysis of the animal behavior is discussed. The methods and algorithms are implemented in the Actor Prolog object-oriented logic language. © 2018 CEUR-WS. All rights reserved.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：