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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

118 篇 会议
34 册 图书
3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

73 篇 工学
- 68 篇 软件工程
- 66 篇 计算机科学与技术...
- 3 篇 电气工程
- 2 篇 控制科学与工程
- 1 篇 电子科学与技术（可...
- 1 篇 信息与通信工程
- 1 篇 建筑学
12 篇 理学
- 10 篇 数学
- 1 篇 大气科学
- 1 篇 系统科学
12 篇 管理学
- 7 篇 管理科学与工程(可...
- 7 篇 工商管理
- 5 篇 图书情报与档案管...
2 篇 教育学
- 2 篇 教育学

主题

27 篇 software enginee...
25 篇 software enginee...
15 篇 operating system...
14 篇 computer languag...
14 篇 programming lang...
13 篇 programming
13 篇 programming tech...
12 篇 mathematical log...
12 篇 logics and meani...
10 篇 artificial intel...
9 篇 computer communi...
8 篇 programming prof...
8 篇 computer program...
7 篇 real time system...
7 篇 hardware
7 篇 algorithm analys...
6 篇 software systems
6 篇 theory of comput...
6 篇 application soft...
5 篇 semantics

机构

2 篇 faculty of scien...
2 篇 metacase yliston...
1 篇 chair for softwa...
1 篇 lucent technol m...
1 篇 rechen- und komm...
1 篇 univ copenhagen ...
1 篇 mohammed v unive...
1 篇 logicblox atlant...
1 篇 politehnica univ...
1 篇 395 dreese labor...
1 篇 university of li...
1 篇 conacyt centroge...
1 篇 the laurels tele...
1 篇 caltech jet prop...
1 篇 natl univ of les...
1 篇 distributed prog...
1 篇 dipartimento di ...
1 篇 microsoft
1 篇 lehrstuhl für wi...
1 篇 universitat poli...

作者

3 篇 gray jeff
3 篇 spinczyk olaf
2 篇 clarke dave
2 篇 friesel daniel
2 篇 rossi matti
2 篇 b.c.p. tang
2 篇 tolvanen juha-pe...
2 篇 sprinkle jonatha...
2 篇 ferguson edward ...
2 篇 michel r. v. cha...
2 篇 ligler george t.
1 篇 dražen drašković
1 篇 gerard allwein
1 篇 h. tokuda
1 篇 fredlund lars-åk...
1 篇 arnd poetzsch-he...
1 篇 handurukande s.b...
1 篇 c. aiswarya
1 篇 hammond l
1 篇 erik proper

语言

154 篇 英文
1 篇 其他

检索条件"任意字段=11th Workshop on Programming Languages and Operating Systems"

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

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

详细简洁

排序：

TinyCORP: A Calculus for Context-Oriented Reactive programming 11

TinyCORP: A Calculus for Context-Oriented Reactive Programmi...

引用

11th International workshop on Context-Oriented programming (COP)

作者： Kamina, Tetsuo Aotani, Tomoyuki Oita Univ Oita Japan Tokyo Inst Technol Tokyo Japan

ISBN: (纸本)9781450368636

Current trend of seamless connections between computing systems and their surrounding environments requires software to be more reactive and adaptable, and reactive programming (RP) and context-oriented programming (COP) have been studied to directly support reactive behavior and dynamic adaptation. Sometimes reactive behavior and dynamic adaptation interact with each other. One issue of such interactions is how to avoid a loop of reactive behavior and dynamic adaptation when there are mutually recursive dependencies between them. this paper proposes TinyCORP, a core calculus for context-oriented reactive programming that is designed in a main-stream, general-purpose language setting. this calculus is expressive enough to represent both features of signals (i.e., time-varying values in RP) and layer-based partial methods in COP, and their interactions including the ability to specify the mutually recursive dependencies between dynamic adaptation and reactive behavior. We also demonstrate that the computation in TinyCORP do not result in the loop of reactive behavior and dynamic adaptation.

关键词： context-oriented programming signals Featherweight Java

来源：评论

学校读者我要写书评

暂无评论

Two-stage Asynchronous Iterative Solvers for multi-GPU Clusters

Two-stage Asynchronous Iterative Solvers for multi-GPU Clust...

引用

workshop on Latest Advances in Scalable Algorithms for Large-Scale systems (ScalA)

作者： Pratik Nayak Terry Cojean Hartwig Anzt Karlsruhe Institute of Technology Germany

ISBN: (数字)9781665422703

ISBN: (纸本)9781665422710

Given the trend of supercomputers accumulating much of their compute power in GPU accelerators composed of thousands of cores and operating in streaming mode, global synchronization points become a bottleneck, severely confining the performance of applications. In consequence, asynchronous methods breaking up the bulk-synchronous programming model are becoming increasingly attractive. In this paper, we study a GPU-focused asynchronous version of the Restricted Additive Schwarz (RAS) method that employs preconditioned Krylov subspace methods as subdomain solvers. We analyze the method for various parameters such as local solver tolerance and iteration counts. Leveraging the multi-GPU architecture on Summit, we show that these two-stage methods are more memory and time efficient than asynchronous RAS using direct solvers. We also demonstrate the superiority over synchronous counterparts, and present results using one-sided CUDA-aware MPI on up to 36 NVIDIA V100 GPUs.

关键词： Iterative methods Convergence Synchronization Additives Symmetric matrices Sparse matrices programming

来源：评论

学校读者我要写书评

暂无评论

Performance Analysis of a Quantum Monte Carlo Application on Multiple Hardware Architectures Using the HPX Runtime

Performance Analysis of a Quantum Monte Carlo Application on...

引用

workshop on Latest Advances in Scalable Algorithms for Large-Scale systems (ScalA)

作者： Weile Wei Arghya Chatterjee Kevin Huck Oscar Hernandez Hartmut Kaiser Louisiana State University Oak Ridge National Laboratory University of Oregon

ISBN: (数字)9781665422703

ISBN: (纸本)9781665422710

this paper describes how we successfully used the HPX programming model to port the DCA++ application on multiple architectures that include POWER9, x86, ARM v8, and NVIDIA GPUs. We describe the lessons we can learn from this experience as well as the benefits of enabling the HPX in the application to improve the CPU threading part of the code, which led to an overall 21% improvement across architectures. We also describe how we used HPX-APEX to raise the level of abstraction to understand performance issues and to identify tasking optimization opportunities in the code, and how these relate to CPU/GPU utilization counters, device memory allocation over time, and CPU kernel level context switches on a given architecture.

关键词： Instruction sets C++ languages Runtime Task analysis Computer architecture Libraries Standards

来源：评论

学校读者我要写书评

暂无评论

An Initial Julia Simulation Approach to Material Handling Operations from Motion Captured Data

An Initial Julia Simulation Approach to Material Handling Op...

引用

International Conference and workshop on Computing and Communication (IEMCON)

作者： Miguel Hernandez Damian Valles David C. Wierschem Rachel M. Koldenhoven George Koutitas Francis A. Mendez Semih Aslan Jesus Jimenez Ingram School of Engineering Texas State University San Marcos USA McCoy College of Business Texas State University San Marcos USA Texas State University San Marcos USA

ISBN: (数字)9781728184166

ISBN: (纸本)9781728184173

Performing modeling simulations with visualization and control can be rather difficult for dynamical models or other diverse applications. this work demonstrates the utility of the Julia programming language to solve this problem by being able to keep a simple condensed code and creating a powerful visual model with various controls. the simulation application is based on material handling tasks that are analyzed for human fatigue from repetitive operations. the aim is to detect human motions when performing the tasks and predict fatigue levels associated with these activities. the Julia simulation development addresses developing a computational solution to generate human subjects performing material handling operations synthetically. With the use of several Julia packages, the simulation development used the data from the Qualisys Motion Capture systems and rendered each of the 41 points of data of a human subject performing lifting and lowering repetitive task.

关键词： Computer languages Computational modeling Digital twin Materials handling Fatigue Data models Task analysis

来源：评论

学校读者我要写书评

暂无评论

Annotations in operating systems with custom AspectC++ attributes 9

Annotations in operating systems with custom AspectC++ attri...

引用

9th workshop on programming languages and operating systems, PLOS 2017

作者： Friesel, Daniel Buschhoff, Markus Spinczyk, Olaf Embedded System Software Group TU Dortmund Dortmund Germany

ISBN: (纸本)9781450351539

Aspect Oriented programming (AOP) supports the modular implementation of crosscutting concerns, which are woven into program parts designated by pointcuts, e.g. calls to specific functions. the release of AspectC++ 2.2 introduces the ability to express pointcuts based on C++11-style attributes as well as the definition of custom attributes for annotation purposes. In this paper, we propose the use of such attributes for operating system *** cover three examples: Replacing non-portable compiler attributes and extending portable ones with domain-specific knowledge, providing implementation-independent joinpoint APIs to core operating system functions, and compile-time support for codevelopment of source code and corresponding models. We discuss the implementation effort and code size overhead of our ideas on the operating systems CocoOS and RIOT and show that annotations with custom attributes are a helpful addition for system development. © 2017 Copyright held by the owner/author(s).

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Software Clones in Scratch Projects: On the Presence of Copy-and-Paste in Computational thinking Learning 11

Software Clones in Scratch Projects: On the Presence of Copy...

引用

11th IEEE International workshop on Software Clones (IWSC)

作者： Robles, Gregorio Moreno-Leon, Jesus Aivaloglou, Efthimia Hermans, Felienne Univ Rey Juan Carlos Fuenlabrada Madrid Spain Programamos Es Madrid Spain Delft Univ Technol Delft Netherlands

ISBN: (纸本)9781509065950

Computer programming is being introduced in schools worldwide as part of a movement that promotes Computational thinking (CT) skills among young learners. In general, learners use visual, block-based programming languages to acquire these skills, with Scratch being one of the most popular ones. Similar to professional developers, learners also copy and paste their code, resulting in duplication. In this paper we present the findings of correlating the assessment of the CT skills of learners with the presence of software clones in over 230,000 projects obtained from the Scratch platform. Specifically, we investigate i) if software cloning is an extended practice in Scratch projects, ii) if the presence of code cloning is independent of the programming mastery of learners, iii) if code cloning can be found more frequently in Scratch projects that require specific skills (as parallelism or logical thinking), and iv) if learners who have the skills to avoid software cloning really do so. the results show that i) software cloning can be commonly found in Scratch projects, that ii) it becomes more frequent as learners work on projects that require advanced skills, that iii) no CT dimension is to be found more related to the absence of software clones than others, and iv) that learners - even if they potentially know how to avoid cloning-still copy and paste frequently. the insights from this paper could be used by educators and learners to determine when it is pedagogically more effective to address software cloning, by educational programming platform developers to adapt their systems, and by learning assessment tools to provide better evaluations.

关键词： Cloning Software Sprites (computer) programming profession Parallel processing Visualization computer software Scratch programming profession Cloning PARALLEL PROCESSING (COMPUTERS) computer programs Visualization Logical thinking copying copy and paste

来源：评论

学校读者我要写书评

暂无评论

INGEOTEC at SemEval 2017 Task 4: A B4MSA Ensemble based on Genetic programming for Twitter Sentiment Analysis 11

INGEOTEC at SemEval 2017 Task 4: A B4MSA Ensemble based on G...

引用

11th International workshop on Semantic Evaluations, SemEval 2017, co-located with the 55th Annual Meeting of the Association for Computational Linguistics, ACL 2017

作者： Miranda-Jiménez, Sabino Graff, Mario Tellez, Eric S. Moctezuma, Daniela CONACyT INFOTEC Aguascalientes Mexico CONACyT CentroGEO Aguascalientes Mexico

ISBN: (纸本)9781945626555

this paper describes the system used in SemEval-2017 Task 4 (Subtask A): Message Polarity Classification for both English and Arabic languages. Our proposed system is an ensemble of two layers, the first one uses our generic framework for multilingual polarity classification (B4MSA) and the second layer combines all the decision function values predicted by B4MSA systems using a nonlinear function evolved using a Genetic programming system, EvoDAG. With this approach, the best performances reached by our system were macro-recall 0.68 (English) and 0.477 (Arabic) which set us in sixth and fourth positions in the results table, respectively. © 2017 Association for Computational Linguistics

关键词： Genetic programming

来源：评论

学校读者我要写书评

暂无评论

languages and Compilers for Parallel Computing Elektronische Daten : 11th International workshop : Proceedings

引用

2016年

作者： siddhartha chatterjee

languages and Compilers for Parallel Computing Elektronische Daten : 11th International workshop : Proceedings by Chatterjee, Siddhartha; workshop on languages; Compilers for Parallel Computing; published by Berlin : ... 详细信息

关键词： calculateurs parallèles + processeurs parallèles + ordinateurs parallèles (systèmes informatiques) compilateurs (langages de programmation) compiler (programmiersprachen) compilers compilers (programming languages) computing concurrent programming + distributed programming + parallel programming (programming methods) daten elektronische international parallel processing + concurrency (operating systems) parallel processors + parallel computers + parallel architectures (computer systems) parallelprozessoren + parallelcomputer + parallelarchitekturen (computersysteme) parallelverarbeitung + nebenläufigkeit (betriebssysteme) programmation distribuée + programmation parallèle (méthodes de programmation) traitement parallele + simultanéité (systèmes d'exploitation) verteilte programmierung + parallele programmierung (programmiermethoden)

来源：评论

学校读者我要写书评

暂无评论

Demo of Docking: Enabling Language Based Dynamic Coupling Demo description 11

Demo of Docking: Enabling Language Based Dynamic Coupling De...

引用

11th workshop on Implementation, Compilation, Optimization of Object-Oriented languages, Programs and systems (ICOOOLPS)

作者： Christensen, Magnus Haugom Jul, Eric Univ Oslo Programming & Software Engn Grp Dept Comp Sci POB 1080 Oslo Norway

ISBN: (纸本)9781450348379

this demo shows how two objects that each live within their own world, i.e., the are not in each others transitive closure of object references, can get to know each other in a well-defined manner using a new language construct. the basic problem is that if two object are in different worlds, there is no way they can communicate. Our proposed language construct, added to the Emerald programming language, allows objects in close proximity to get to know each other in a well-defined, language based manner.

关键词： object orientation Emerald programming language distributed objects ambient programming

来源：评论

学校读者我要写书评

暂无评论

Lub: a DSL for Dynamic Context Oriented programming 16

Lub: a DSL for Dynamic Context Oriented Programming

引用

11th International workshop on Smalltalk Technologies (IWST)

作者： Costiou, Steven Kerboeuf, Mickael Cavarle, Glenn Plantec, Alain Univ Bretagne Occidentale UMR CNRS 6285 Lab STICC F-29200 Brest France

ISBN: (纸本)9781450345248

Embedded, interactive or reactive systems have to face unexpected events coming from their environment. Taking this kind of event into account at design time raises the challenging issue of the dynamic behavior adaptation at runtime. In this paper, we investigate a DSL approach to address this problem. this DSL, called Lub, is a context oriented programming language. It is defined as a featherlight adaptation of Pharo which enables to temporarily change the base of the method lookup when a message is sent to an object. this language is evaluated with a running example of a fleet of drones facing an unexpected problem of GPS loss.

关键词： Behavior adaptation Context Oriented programming Dynamic Lookup

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：