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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

220 篇 会议
57 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

236 篇 工学
- 223 篇 计算机科学与技术...
- 165 篇 软件工程
- 15 篇 控制科学与工程
- 5 篇 电气工程
- 5 篇 电子科学与技术（可...
- 5 篇 建筑学
- 4 篇 信息与通信工程
- 4 篇 土木工程
- 4 篇 生物工程
- 3 篇 化学工程与技术
- 3 篇 环境科学与工程（可...
- 2 篇 材料科学与工程（可...
- 2 篇 纺织科学与工程
- 1 篇 光学工程
- 1 篇 冶金工程
- 1 篇 交通运输工程
- 1 篇 农业工程
40 篇 理学
- 21 篇 数学
- 12 篇 系统科学
- 5 篇 生物学
- 4 篇 物理学
- 3 篇 化学
- 1 篇 地质学
29 篇 管理学
- 20 篇 图书情报与档案管...
- 12 篇 管理科学与工程(可...
- 8 篇 工商管理
4 篇 法学
- 4 篇 社会学
- 1 篇 法学
4 篇 教育学
- 4 篇 教育学
1 篇 农学
- 1 篇 作物学

主题

38 篇 object oriented ...
30 篇 computer systems...
25 篇 computer program...
7 篇 java programming...
6 篇 aspect oriented ...
6 篇 parallel program...
6 篇 concurrency
4 篇 computer systems...
4 篇 static analysis
4 篇 semantics
4 篇 synchronization
3 篇 message passing
3 篇 languages
3 篇 memory managemen...
3 篇 pattern matching
3 篇 logic programmin...
3 篇 computer graphic...
3 篇 specifications
2 篇 computer circuit...
2 篇 type systems

机构

3 篇 uppsala univ upp...
3 篇 university of ca...
3 篇 university of to...
3 篇 mit united state...
3 篇 university of bo...
3 篇 stockholm univer...
3 篇 purdue universit...
2 篇 univ of rocheste...
2 篇 univ bologna dis...
2 篇 univ edinburgh e...
2 篇 brown univ unite...
2 篇 school of softwa...
2 篇 columbia univ un...
2 篇 tokyo inst of te...
2 篇 univ paris vi
2 篇 carnegie mellon ...
2 篇 ibm research
2 篇 virginia tech un...
2 篇 department of co...
2 篇 department of co...

作者

7 篇 ricci alessandro
6 篇 wrigstad tobias
5 篇 agha gul
5 篇 masuhara hidehik...
4 篇 hirschfeld rober...
4 篇 yonezawa akinori
4 篇 tokoro mario
3 篇 watanabe takuo
3 篇 nystrom nathanie...
3 篇 santi andrea
3 篇 van den bos jan
3 篇 kafura dennis
3 篇 sarkar vivek
3 篇 springer matthia...
3 篇 vitek jan
2 篇 wegner peter
2 篇 meseguer josé
2 篇 ducasse stéphane
2 篇 wheelhouse mark
2 篇 lincke daniel

语言

277 篇 英文
1 篇 其他

检索条件"任意字段=Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming"

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

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

详细简洁

排序：

MaxPair: Enhance OpenCL concurrent kernel execution by weighted maximum matching 11

MaxPair: Enhance OpenCL concurrent kernel execution by weigh...

引用

11th workshop on General Purpose Processing using GPUs, GPGPU 2018

作者： Wen, Yuan O’Boyle, Michael F.P. Fensch, Christian School of Computer Science and Statistics Trinity College Dublin Dublin Ireland School of Informatics University of Edinburgh Edinburgh United Kingdom MACS - Computer Science Heriot-Watt University Edinburgh United Kingdom

ISBN: (纸本)9781450356473

Executing multiple OpenCL kernels on the same GPU concurrently is a promising method for improving hardware utilisation and system performance. Schemes of scheduling impact the resulting performance significantly by selecting different kernels to run together on the same GPU. Existing approaches use either execution time or relative speedup of kernels as a guide to group and map them to the device. However, these simple methods work on the cost of providing suboptimal performance. In this paper, we propose a graph-based algorithm to schedule co-run kernel in pairs to optimise the system performance. Target workloads are represented by a graph, in which vertices stand for distinct kernels while edges between two vertices represent the corresponding two kernels co-execution can deliver a better performance than run them one after another. Edges are weighted to provide information of performance gain from co-execution. Our algorithm works in the way of finding out the maximum weighted matching of the graph. By maximising the accumulated weights, our algorithm improves performance significantly comparing to other approaches. © 2018 Association for Computing Machinery.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

How to test your concurrent software: An approach for the selection of testing techniques 2017

How to test your concurrent software: An approach for the se...

引用

4th acm sigplan International workshop on Software Engineering for Parallel Systems, SEPS 2017

作者： Melo, Silvana Morita De Souza, Simone Do Rocio Senger De Souza, Paulo Sergio Lopes Carver, Jeffrey C. Institute of Mathematics and Computer Science University of São Paulo Sao Carlos SP Brazil Department of Computer Science University of Alabama TuscaloosaAL United States

ISBN: (纸本)9781450355179

High-Performance Computing (HPC) applications consist of concurrent programs with multi-process and/or multithreaded models with varying degrees of parallelism. Although their design patterns, models, and principles are similar to those of sequential ones, their non-deterministic behavior makes the testing activity more complex. In an attempt to solve such complexity, several techniques for concurrent software testing have been developed over the past years. However, the transference of knowledge between academy and industry remains a challenge, mainly due to the lack of a solid base of evidence with information that assists the decision-making process. This paper proposes the construction of a body of evidence for the concurrent programming field that supports the selection of an adequate testing technique for a software project. We propose a characterization schema which assists the decision-making support and is based on relevant information from the technical literature regarding available techniques, attributes, and concepts of concurrent programming that affect the testing process. The schema classified 109 studies that compose the preliminary body of evidence. A survey was conducted with specialists for the validation of the schema, regarding adequacy and relevance of the attributes defined. The results indicate the schema is effective and can support testing teams for concurrent applications. © 2017 Copyright held by the owner/author(s).

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

proceedings of the 12th workshop on Implementation, Compilation and Optimization of object-Oriented Languages, Programs and Systems, ICOOOLPS 2017

Proceedings of the 12th Workshop on Implementation, Compilat...

引用

12th workshop on Implementation, Compilation and Optimization of object-Oriented Languages, Programs and Systems, ICOOOLPS 2017

ISBN: (纸本)9781450350884

The proceedings contain 6 papers. The topics discussed include: dart2java: running Dart in Java-based environments;VM wrapping;a metaobject protocol for optimizing application-specific run-time variability;diff graphs for a fast incremental pointer analysis;code generation in serializers and comparators of Apache Flink;and a formalization IDE integrated with a verifying compiler.

关键词：

来源：评论

学校读者我要写书评

暂无评论

dart2java: Running Dart in Java-based Environments 12

dart2java: Running Dart in Java-based Environments

引用

12th workshop on Implementation, Compilation and Optimization of object-Oriented Languages, Programs and Systems (ICOOOLPS)

作者： Springer, Matthias Krieger, Andrew Manilov, Stanislav Masuhara, Hidehiko Tokyo Inst Technol Tokyo Japan Univ Calif Los Angeles Los Angeles CA USA Univ Edinburgh Edinburgh Midlothian Scotland

ISBN: (纸本)9781450350884

We present the design and implementation of dart2java, an experimental Dart to Java compiler. It is implemented in Dart and currently supports many but not all Dart language constructs. dart2java is a playground to evaluate performance implications of running Dart code on the JVM and to investigate if it is possible to write Dart code in a largely Java-dominated environment. This paper describes the architecture of dart2java, performance optimizations such as non-nullability of primitive types and generic specialization (and their implications), as well as ideas for language interoperability, i.e., calling Java code from Dart and vice versa.

关键词： Dart Java compiler source code generation

来源：评论

学校读者我要写书评

暂无评论

Merge or Separate? Multi-job Scheduling for OpenCL Kernels on CPU/GPU Platforms 10

Merge or Separate? Multi-job Scheduling for OpenCL Kernels o...

引用

workshop on General Purpose GPUs (GPGPU)

作者： Wen, Yuan O'Boyle, Michael F. P. Univ Edinburgh Edinburgh Midlothian Scotland

ISBN: (纸本)9781450349154

Computer systems are increasingly heterogeneous with nodes consisting of CPUs and GPU accelerators. As such systems become mainstream, they move away from specialized high-performance single application platforms to a more general setting with multiple, concurrent, application jobs. Determining how jobs should be dynamically best scheduled to heterogeneous devices is non-trivial. In certain cases, performance is maximized if jobs are allocated to a single device, in others, sharing is preferable. In this paper, we present a runtime framework which schedules multi-user OpenCL tasks to their most suitable device in a CPU/GPU system. We use a machine learning-based predictive model at runtime to detect whether to merge OpenCL kernels or schedule them separately to the most appropriate devices without the need for ahead-of-time profiling. We evaluate out approach over a wide range of workloads, on two separate platforms. We consistently show significant performance and turn-around time improvement over the state-of-the-art across programs, workload, and platforms.

关键词： CPU-GPU runtime system GPU kernel scheduling concurrent kernel machine learning

来源：评论

学校读者我要写书评

暂无评论

Pragmatic insights: Live UIs for agent-based modelling in pharo 17

Pragmatic insights: Live UIs for agent-based modelling in ph...

引用

12th International workshop on Smalltalk Technologies, IWST 2017

作者： Grover, Jigyasa Papoulias, Nick Stinckwich, Serge Bommel, Pierre India 32 Avenue Henri Varagnat Bondy Cedex93143 France Université de Caen Normandie Caen France UR GREEN CIRAD Brasilia Brazil

ISBN: (纸本)9781450355544

object-oriented programming has had a long-standing history with simulation systems in terms of human-computer interaction [1] dating back to Simula and early versions of Smalltalk-72 and Smalltalk-76. These frameworks were based on discrete, event-based simulations as revealed by the classic simulation examples of Smalltalk-80 Blue-book [2]. Nevertheless present time trends have pivoted towards agent-based modelling and abstractions, with systems like NetLogo capturing a sizeable following and heed. Two of the widely known agent-based modelling (ABM) platforms in Smalltalk (MobiDyC and CORMAS) have recently begun experimenting with porting their systems to Pharo. The rationale behind this choice is to allow modern re-imagination of the platforms that can take advantage of developments in: agile visualization, moldable tools, domain-specific languages (DSLs) and so on. This work focuses on the salient user interface component of these platforms, namely the spatial interface, which empowers a user to visualize the evolution of the system through time. We start with a concise analysis of the state-of-the-art for spatial interfaces and their platforms (MobiDyC, NetLogo, GAMA and CORMAS), scrutinizing in terms of programming flexibility, extensibility, portability, scalability, and interaction. Subsequently we highlight our on-going efforts in building an open-source extension for CORMAS’ spatial interface in Pharo. In closing, we detail the pragmatic experience gained in the course of our work and present future perspectives. Copyright © 2017 acm.

关键词： Autonomous agents

来源：评论

学校读者我要写书评

暂无评论

object support in an array-based GPGPU extension for Ruby 3

Object support in an array-based GPGPU extension for Ruby

引用

3rd acm sigplan International workshop on Libraries, Languages, and Compilers for Array programming, ARRAY 2016

作者： Springer, Matthias Masuhara, Hidehiko Department of Mathematical and Computing Sciences Tokyo Institute of Technology Japan

ISBN: (纸本)9781450343848

This paper presents implementation and optimization techniques to support objects in Ikra, an array-based parallel extension to Ruby with dynamic compilation. The high-level goal of Ikra is to allow developers to exploit GPU-based high-performance computing without paying much attention to intricate details of the underlying GPU infrastructure and CUDA. Ikra supports dynamically-typed object-oriented programming in Ruby and performs a number of optimizations. It supports parallel operations (e.g., map, each) on arrays of polymorphic objects, allowing polymorphic method calls inside a kernel by compiling them to conditional branches. To reduce branch divergence, Ikra shuffles thread assignments to base array elements based on runtime types of elements. To facilitate memory coalescing, Ikra stores objects in a structure-of-arrays (SoA) representation (columnar object layout). To eliminate intermediate data in global memory, Ikra merges cascaded parallel sections into one kernel using symbolic execution. Copyright is held by the owner/author(s). Publication rights licensed to acm.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

ARRAY 2016 - proceedings of the 3rd acm sigplan International workshop on Libraries, Languages, and Compilers for Array programming, Co-located with PLDI 2016

ARRAY 2016 - Proceedings of the 3rd ACM SIGPLAN Internationa...

引用

3rd acm sigplan International workshop on Libraries, Languages, and Compilers for Array programming, ARRAY 2016

ISBN: (纸本)9781450343848

The proceedings contain 9 papers. The topics discussed include: data-race detection: the missing piece for an end-to-end semantic equivalence checker for parallelizing transformations of array-intensive programs;array program transformation with *** by example: high-order finite elements;design and GPGPU performance of Futhark's redomap construct;object support in an array-based GPGPU extension for ruby;the key to a data parallel compiler;TTC: A tensor transposition compiler for multiple architectures;automatic generation of parallel C code for stencil applications written in MATLAB;SSA-based MATLAB-to-C compilation and optimization;and extending C++ with co-array semantics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Hoare-style specifications as correctness conditions for non-linearizable concurrent objects 2016

Hoare-style specifications as correctness conditions for non...

引用

2016 acm sigplan International Conference on object-Oriented programming, Systems, Languages, and Applications, OOPSLA 2016

作者： Sergey, Ilya Nanevski, Aleksandar Banerjee, Anindya Delbianco, Germán Andrés University College London United Kingdom IMDEA Software Institute Spain

ISBN: (纸本)9781450344449

Designing efficient concurrent objects often requires abandoning the standard specification technique of linearizability in favor of more relaxed correctness conditions. However, the variety of alternatives makes it difficult to choose which condition to employ, and how to compose them when using objects specified by different conditions. In this work, we propose a uniform alternative in the form of Hoare logic, which can explicitly capture-in the auxiliary state-the interference of environment threads. We demonstrate the expressiveness of our method by verifying a number of concurrent objects and their clients, which have so far been specified only by non-standard conditions of concurrency-aware linearizability, quiescent, and quantitative quiescent consistency. We report on the implementation of the ideas in an existing Coq-based tool, providing the first mechanized proofs for all the examples in the paper. © 2016 acm.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

proceedings of the Conference on object-Oriented programming Systems, Languages, and Applications, OOPSLA

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

引用

2016 acm sigplan International Conference on object-Oriented programming, Systems, Languages, and Applications, OOPSLA 2016

ISBN: (纸本)9781450344449

The proceedings contain 52 papers. The topics discussed include: automatic parallelization of pure method calls via conditional future synthesis;portable inter-workgroup barrier synchronisation for GPUs;semantics-based program verifiers for all languages;hoare-style specifications as correctness conditions for non-linearizable concurrent objects;modeling and analysis of remote memory access programming;deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations;speeding up machine-code synthesis;extensible access control with authorization contracts;and gentrification gone too far? affordable 2nd-class values for fun and (co)effect.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：