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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,040 篇 会议
178 篇 期刊文献
10 册 图书
1 篇 学位论文

馆藏范围

2,229 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,702 篇 工学
- 1,494 篇 软件工程
- 1,466 篇 计算机科学与技术...
- 195 篇 控制科学与工程
- 60 篇 电气工程
- 54 篇 信息与通信工程
- 22 篇 建筑学
- 19 篇 土木工程
- 19 篇 生物工程
- 15 篇 机械工程
- 14 篇 电子科学与技术（可...
- 13 篇 光学工程
- 10 篇 材料科学与工程（可...
- 9 篇 化学工程与技术
- 7 篇 环境科学与工程（可...
- 6 篇 交通运输工程
- 5 篇 冶金工程
- 5 篇 航空宇航科学与技...
- 4 篇 动力工程及工程热...
230 篇 理学
- 170 篇 数学
- 26 篇 系统科学
- 23 篇 生物学
- 10 篇 化学
- 9 篇 物理学
- 8 篇 统计学（可授理学、...
198 篇 管理学
- 113 篇 图书情报与档案管...
- 100 篇 管理科学与工程(可...
- 40 篇 工商管理
20 篇 教育学
- 19 篇 教育学
15 篇 法学
- 14 篇 社会学
5 篇 经济学
- 5 篇 应用经济学
3 篇 医学
2 篇 农学
2 篇 军事学

主题

784 篇 object oriented ...
105 篇 object oriented ...
95 篇 java
91 篇 computer languag...
80 篇 application soft...
60 篇 languages
50 篇 performance
43 篇 software enginee...
37 篇 object-oriented ...
36 篇 computer science
33 篇 design
32 篇 programming
29 篇 programming prof...
29 篇 computer archite...
27 篇 software systems
24 篇 database systems
24 篇 semantics
24 篇 computer program...
23 篇 static analysis
21 篇 java programming...

机构

11 篇 univ texas austi...
8 篇 swiss fed inst t...
8 篇 purdue univ w la...
7 篇 carnegie mellon ...
7 篇 carnegie mellon ...
7 篇 ibm corp thomas ...
7 篇 univ washington ...
6 篇 university of te...
6 篇 software composi...
6 篇 ibm
6 篇 swiss fed inst t...
6 篇 university of il...
5 篇 university of il...
5 篇 georgia inst tec...
5 篇 tech univ darmst...
5 篇 ibm t.j. watson ...
5 篇 johannes kepler ...
5 篇 univ bern softwa...
5 篇 victoria univers...
5 篇 univ potsdam has...

作者

15 篇 noble james
12 篇 aldrich jonathan
11 篇 cook william r.
9 篇 hirschfeld rober...
9 篇 de champeaux den...
9 篇 biddle robert
9 篇 johnson ralph
9 篇 mezini mira
9 篇 cook william
8 篇 yonezawa akinori
8 篇 coad peter
8 篇 ungar david
7 篇 eeckhout lieven
7 篇 ancona davide
7 篇 abi-antoun marwa...
7 篇 chambers c
6 篇 baniassad elisa
6 篇 wirfs-brock rebe...
6 篇 visser eelco
6 篇 nierstrasz oscar

语言

2,131 篇 英文
98 篇 其他

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

共 2229 条记录，以下是91-100 订阅

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

详细简洁

排序：

Query-Based object-oriented programming A Declarative Web of objects 14

Query-Based Object-Oriented Programming A Declarative Web of...

引用

14th acm sigplan International Symposium on Dynamic languages (DLS)

作者： Seginer, Yoav Vosse, Theo Harari, Gil Kolodny, Uri Cdl Lang Org Amsterdam Netherlands Cdl Lang Org Jerusalem Israel

ISBN: (纸本)9781450360302

We present a declarative, object-oriented language in which queries play a central role. Queries are used not only to access data, but also to refer to the application's object members and as a means of program control. The language is fully declarative, with queries and other pure functions defining the relations between the attributes of different objects. A rule-base-like write operation allows state to be updated. Control is achieved by queries selecting the class variants (mixin classes) which are active in each object. The dynamic activation and deactivation of declarative mixin classes allows decomposition of functionality into small reusable classes. The programming style in the language is functional and reactive, with function applications defining object members. Queries are one type of function, which also serves as the glue which puts these functions together, providing them with their input. Since queries describe declaratively what they return, they leave it to the system to implement the how of getting it. Combining this with an organization around objects makes the language highly suitable for complex interactive applications driven by large amounts of data from multiple sources. Our implementation of the language includes a strong display component. It can be seen as a conceptual extension of HTML and CSS in a way which replaces the need for the JavaScript imperative component in web applications. The work described here is not restricted, however, to front-end development and can be applied elsewhere as well.

关键词： query-based declarative dynamic mixin

来源：评论

学校读者我要写书评

暂无评论

SPLASH Companion 2017 - Proceedings Companion of the 2017 acm sigplan International conference on systems, programming, languages, and applications: Software for Humanity

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

引用

8th acm sigplan International conference on systems, programming, languages, and applications: Software for Humanity, SPLASH Companion 2017

ISBN: (纸本)9781450355148

The proceedings contain 20 papers. The topics discussed include: how to make tasks faster: revealing the complex interactions of tasks in the memory system;combining visual and textual languages for dyslexia;genetic improvement in code interpreters and compilers;simulation-based code duplication for enhancing compiler optimizations;advanced debugging techniques to identify concurrency bugs in actor-based programs;framework support for usability evaluation of domain-specific languages;understanding the interplay between task scheduling, memory and performance;computer-assisted specification of asynchronous interfaces with non-deterministic behavior;verifying the proxy design pattern using object propositions;ZenSheet Studio: a spreadsheet-inspired environment for reactive computing;how are programming questions from women received on stack overflow? a case study of peer parity;devirtualization in LLVM;Principles, patterns, and techniques for designing and implementing practical fluent interfaces in Java;SmartJS: dynamic and self-adaptable runtime middleware for next-generation IoT systems;incremental parametric syntax for multi-language transformation;and QuixBugs: a multi-lingual program repair benchmark set based on the Quixey challenge.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Inner array inlining for structure of arrays layout 5

Inner array inlining for structure of arrays layout

引用

5th acm sigplan International Workshop on Libraries, languages, and Compilers for Array programming, ARRAY 2018, in conjunction with PLDI 2018

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

ISBN: (纸本)9781450358521

Previous work has shown how the well-studied and SIMD-friendly Structure of Arrays (SOA) data layout strategy can speed up applications in high-performance computing compared to a traditional Array of Structures (AOS) data layout. However, a standard SOA layout cannot handle structures with inner arrays;such structures appear frequently in graph-based applications and object-oriented designs with associations of high multiplicity. This work extends the SOA data layout to structures with array-typed fields. We present different techniques for inlining (embedding) inner arrays into an AOS or SOA layout, as well as the design and implementation of an embedded C++/CUDA DSL that lets programmers write such layouts in a notation close to standard C++. We evaluate several layout strategies with a traffic flow simulation, an important real-world application in transport planning. © 2018 acm.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Potluck: Cross-Application Approximate Deduplication for Computation-Intensive Mobile applications 18

Potluck: Cross-Application Approximate Deduplication for Com...

引用

23rd International conference on Architectural Support for programming languages and Operating systems (ASPLOS)

作者： Guo, Peizhen Hu, Wenjun Yale Univ New Haven CT 06520 USA

ISBN: (纸本)9781450349116

Emerging mobile applications, such as cognitive assistance and augmented reality (AR) based gaming, are increasingly computation-intensive and latency-sensitive, while running on resource-constrained devices. The standard approaches to addressing these involve either offloading to a cloud(let) or local system optimizations to speed up the computation, often trading off computation quality for low latency. Instead, we observe that these applications often operate on similar input data from the camera feed and share common processing components, both within the same (type of) applications and across different ones. Therefore, deduplicating processing across applications could deliver the best of both worlds. In this paper, we present Potluck, to achieve approximate deduplication. At the core of the system is a cache service that stores and shares processing results between applications and a set of algorithms to process the input data to maximize deduplication opportunities. This is implemented as a background service on Android. Extensive evaluation shows that Potluck can reduce the processing latency for our AR and vision workloads by a factor of 2.5 to 10.

关键词： approximate deduplication mobile computing caching

来源：评论

学校读者我要写书评

暂无评论

EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C plus 2018

EffectiveSan: Type and Memory Error Detection using Dynamica...

引用

39th acm sigplan conference on programming Language Design and Implementation (PLDI)

作者： Duck, Gregory J. Yap, Roland H. C. Natl Univ Singapore Dept Comp Sci Singapore Singapore

ISBN: (纸本)9781450356985

Low-level programming languages with weak/static type systems, such as C and C++, are vulnerable to errors relating to the misuse of memory at runtime, such as (sub-)object bounds overflows, (re) use-after-free, and type confusion. Such errors account for many security and other undefined behavior bugs for programs written in these languages. In this paper, we introduce the notion of dynamically typed C/C++, which aims to detect such errors by dynamically checking the "effective type" of each object before use at runtime. We also present an implementation of dynamically typed C/C++ in the form of the Effective Type Sanitizer (EffectiveSan). EffectiveSan enforces type and memory safety using a combination of low-fat pointers, type meta data and type/bounds check instrumentation. We evaluate EffectiveSan against the SPEC2006 benchmark suite and the Firefox web browser, and detect several new type and memory errors. We also show that EffectiveSan achieves high compatibility and reasonable overheads for the given error coverage. Finally, we highlight that EffectiveSan is one of only a few tools that can detect sub-object bounds errors, and uses a novel approach (dynamic type checking) to do so.

关键词： Type errors memory errors (sub-)object bounds errors use-after-free errors type confusion dynamic types type checking bounds checking sanitizers low-fat pointers C C plus

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 10th International Workshop on Context-oriented programming: Advanced Modularity for Run-time Composition, COP 2018 - Co-located with the European conference on object-oriented programming

Proceedings of the 10th International Workshop on Context-Or...

引用

10th International Workshop on Context-oriented programming: Advanced Modularity for Run-time Composition, COP 2018 - Co-located with the European conference on object-oriented programming

ISBN: (纸本)9781450357227

The proceedings contain 6 papers. The topics discussed include: declarative language for context activation;a context-oriented programming approach to dependency hell;feature visualizer: an inspection tool for context-oriented programmers;a simple context-oriented programming extension to an FRP language for small-scale embedded systems;activity contexts: improving modularity in blockchain-based smart contracts using context-oriented programming;and cross-cutting commentary: narratives for multi-party mechanisms and concerns.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Unconventional Parallelization of Nondeterministic applications 18

Unconventional Parallelization of Nondeterministic Applicati...

引用

23rd International conference on Architectural Support for programming languages and Operating systems (ASPLOS)

作者： Deiana, Enrico A. St-Amour, Vincent Dinda, Peter A. Hardavellas, Nikos Campanoni, Simone Northwestern Univ Evanston IL 60208 USA

ISBN: (纸本)9781450349116

The demand for thread-level-parallelism (TLP) on commodity processors is endless as it is essential for gaining performance and saving energy. However, TLP in today's programs is limited by dependences that must be satisfied at run time. We have found that for nondeterministic programs, some of these actual dependences can be satisfied with alternative data that can be generated in parallel, thus boosting the program's TLP. Satisfying these dependences with alternative data nonetheless produces final outputs that match those of the original nondeterministic program. To demonstrate the practicality of our technique, we describe the design, implementation, and evaluation of our compilers, autotuner, profiler, and runtime, which are enabled by our proposed C++ programming language extensions. The resulting system boosts the performance of six well-known nondeterministic and multi-threaded benchmarks by 158.2% (geometric mean) on a 28-core Intel-based platform.

关键词： dependences parallelization speculation

来源：评论

学校读者我要写书评

暂无评论

GPCE 2017 - Proceedings of the 16th acm sigplan International conference on Generative programming: Concepts and Experiences, co-located with SPLASH 2017

GPCE 2017 - Proceedings of the 16th ACM SIGPLAN Internationa...

引用

16th acm sigplan International conference on Generative programming: Concepts and Experiences, GPCE 2017

ISBN: (纸本)9781450355247

The proceedings contain 21 papers. The topics discussed include: refining semantics for multi-stage programming;staging for generic programming in space and time;a classification of variation control systems;analyzing the impact of natural language processing over feature location in models;how preprocessor annotations (do not) affect maintainability: a case study on change-proneness;type qualifiers as composable language extensions;accurate reification of complete supertype information for dynamic analysis on the JVM;rewriting for sound and complete union, intersection and negation types;quoted staged rewriting: a practical approach to library-defined optimizations;reducing calling convention overhead in object-oriented programming on embedded ARM Thumb-2 platforms;RaTrace: simple and efficient abstractions for BVH ray traversal algorithms;towards compositional and generative tensor optimizations;avoiding useless mutants;Silverchain: a fluent API generator;parser generation by example for legacy pattern languages;a Haskell compiler for signal transforms;automatic generation of virtual learning spaces driven by CaVaDSL: an experience report;and rewriting a shallow DSL using a GHC compiler extension.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Ikra-Cpp: A C++/CUDA DSL for object-oriented programming with Structure-of-Arrays Layout 4

Ikra-Cpp: A C++/CUDA DSL for Object-Oriented Programming wit...

引用

2018 4th Workshop on programming Models for SIMD/Vector Processing, WPMVP 2018

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

ISBN: (纸本)9781450356466

Structure of Arrays (SOA) is a well-studied data layout technique for SIMD architectures. Previous work has shown that it can speed up applications in high-performance computing by several factors compared to a traditional Array of Structures (AOS) layout. However, most programmers are used to AOS-style programming, which is more readable and easier to maintain. We present Ikra-Cpp, an embedded DSL for object-oriented programming in C++/CUDA. Ikra-Cpp’s notation is very close to standard AOS-style C++ code, but data is layed out as SOA. This gives programmers the performance benefit of SOA and the expressiveness of AOS-style object-oriented programming at the same time. Ikra-Cpp is well integrated with C++ and lets programmers use C++ notation and syntax for classes, fields, member functions, constructors and instance creation. © 2018 Copyright held by the owner/author(s).

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

DATS - Data Containers for Web applications 18

DATS - Data Containers for Web Applications

引用

23rd International conference on Architectural Support for programming languages and Operating systems (ASPLOS)

作者： Hunger, Casen Vilanova, Lluis Papamanthou, Charalampos Etsion, Yoav Tiwari, Mohit Univ Texas Austin Austin TX 78712 USA Technion Israel Inst Technol Haifa Israel Univ Maryland UMD College Pk MD USA

ISBN: (纸本)9781450349116

Data containers enable users to control access to their data while untrusted applications compute on it. However, they require replicating an application inside each container - compromising functionality, programmability, and performance. We propose DATS - a system to run web applications that retains application usability and efficiency through a mix of hardware capability enhanced containers and the introduction of two new primitives modeled after the popular model-view-controller (MVC) pattern. (1) DATS introduces a templating language to create views that compose data across data containers. (2) DATS uses authenticated storage and confinement to enable an untrusted storage service, such as memcached and deduplication, to operate on plain-text data across containers. These two primitives act as robust declassifiers that allow DATS to enforce non-interference across containers, taking large applications out of the trusted computing base (TCB). We showcase eight different web applications including Gitlab and a Slack-like chat, significantly improve the worstcase overheads due to application replication, and demonstrate usable performance for common-case usage.

关键词： Operating systems security web application security information flow control information declassification

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共223页 << < 6 7 8 9 10 11 12 13 14 15 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：