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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

67 篇 期刊文献
59 篇 会议
10 册 图书
2 篇 学位论文

馆藏范围

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

日期分布

学科分类号

98 篇 工学
- 75 篇 计算机科学与技术...
- 38 篇 软件工程
- 28 篇 电气工程
- 4 篇 信息与通信工程
- 3 篇 机械工程
- 2 篇 力学（可授工学、理...
- 2 篇 控制科学与工程
- 1 篇 电子科学与技术（可...
- 1 篇 交通运输工程
- 1 篇 生物医学工程（可授...
18 篇 理学
- 9 篇 生物学
- 6 篇 数学
- 5 篇 统计学（可授理学、...
- 2 篇 物理学
- 1 篇 生态学
11 篇 医学
- 8 篇 基础医学(可授医学...
- 7 篇 临床医学
- 1 篇 医学技术（可授医学...
8 篇 教育学
- 6 篇 心理学(可授教育学...
- 2 篇 教育学
6 篇 农学
6 篇 管理学
- 4 篇 管理科学与工程(可...
- 1 篇 工商管理
- 1 篇 农林经济管理
4 篇 经济学
- 3 篇 应用经济学
- 1 篇 理论经济学
1 篇 法学
- 1 篇 社会学

主题

138 篇 memory model
9 篇 sequential consi...
7 篇 memory
7 篇 concurrency
6 篇 compiler
6 篇 java
6 篇 program
5 篇 file
5 篇 guide
4 篇 verification
3 篇 personal assista...
3 篇 users
3 篇 canada goose
3 篇 parallel program...
3 篇 data race
3 篇 semantics
3 篇 program verifica...
3 篇 symbolic executi...
3 篇 assembly languag...
3 篇 performance eval...

机构

3 篇 purdue univ w la...
3 篇 china univ petr ...
2 篇 state key labora...
2 篇 univ illinois ur...
2 篇 univ edinburgh e...
2 篇 univ maryland de...
2 篇 florida int univ...
2 篇 univ cambridge c...
2 篇 univ utah sch co...
2 篇 inria bordeaux s...
1 篇 north china univ...
1 篇 natl res univ hi...
1 篇 natl taiwan univ...
1 篇 karlsruhe inst t...
1 篇 penn state univ ...
1 篇 univ british col...
1 篇 assistant prfess...
1 篇 tsinghua univ sc...
1 篇 amd res sunnyval...
1 篇 changchun inst t...

作者

4 篇 wang yanjiang
2 篇 osvald leo
2 篇 zhang minjia
2 篇 frank matthew i.
2 篇 deng limiao
2 篇 pradel r
2 篇 bond michael d.
2 篇 yang y
2 篇 johnson daniel r...
2 篇 chen ke-jia
2 篇 xiao linxia
2 篇 wood david a.
2 篇 gao mingyue
2 篇 patel sanjay j.
2 篇 koller ricardo
2 篇 rompf tiark
2 篇 jeremy b caplan
2 篇 putigny bertrand
2 篇 orr marc s.
2 篇 hua zhang

语言

126 篇 英文
11 篇 其他
1 篇 中文

检索条件"主题词=Memory Model"

共 138 条记录，以下是11-20 订阅

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

详细简洁

排序：

ExSDM: Novel Content-based Image Retrieval based on Sparse Distributed memory model 18

ExSDM: Novel Content-based Image Retrieval based on Sparse D...

引用

18th IEEE International New Circuits and Systems Conference (NEWCAS)

作者： Sabahi, Farzad Ahmad, M. Omair Swamy, M. N. S. Concordia Univ Dept Elect & Comp Engn Montreal PQ Canada

ISBN: (纸本)9781728170442

In recent times, image retrieval has garnered an increasing amount of interest due to the introduction of image datasets of significant size. Many methods have been suggested to retrieve images swiftly and accurately. However, the majority of these techniques are centered on the representation of the image. It is felt that alongside the representation of the image, smart storage is required that can rise to the demands of the task. A possible solution is to model human visual memory, retrieving images by imitating the brain's detection processes. This paper proposes a memory model that can be employed as smart memory for efficiently retrieving images based on image hashes. The memory model accepts hash code inputs derived from DWT and DCT transformations. The model is evaluated in terms of the memory capacity and the accuracy of the image retrieval. The results demonstrate that this model has a greater capacity and is significantly quicker than other types of memory models.

关键词： Smart memory Image retrieval memory model

来源：评论

学校读者我要写书评

暂无评论

Concept forming,in emotion-memory model

Concept forming,in emotion-memory model

引用

5th Joint Conference on Information Sciences (JCIS 2000)

作者： Nishida, K Nitta, T Tanaka, T Inayoshi, H Electrotech Lab Tsukuba Ibaraki 305 Japan

ISBN: (纸本)0964345692

In human memory, impressive objects (those with attachments to strong emotions, such as happiness and sadness) are retained easily, while non-impressive objects (those without attachments to strong emotions) are not. Furthermore, one can easily acquire systematic knowledge about a favorite field, while it is difficult to acquire such knowledge about a non-favorite field. Emotions thus seem to play an important role in retaining the memory of an object and in forming a conceptual memory of objects. We have therefore developed an emotion-memory model, and in this paper, we present a simulation result on concept forming.

关键词： Concept forming Emotion memory model Multi-agent system

来源：评论

学校读者我要写书评

暂无评论

A Task-centric memory model for Scalable Accelerator Architectures 09

A Task-centric Memory Model for Scalable Accelerator Archite...

引用

18th International Conference on Parallel Architectures and Compilation Techniques

作者： Kelm, John H. Johnson, Daniel R. Lumetta, Steven S. Frank, Matthew I. Patel, Sanjay J. Univ Illinois Urbana IL 61801 USA

ISBN: (纸本)9780769537719

This paper presents a task-centric memory model for 1000-core compute accelerators. Visual computing applications are emerging as an important class of workloads that can exploit 1000-core processors. hi these workloads, we observe data sharing and communication patterns that can be leveraged in the design of memory systems for,future 1000-core processors. Based on these insights, we propose a memory model that uses a software protocol, working in collaboration with hardware caches, to maintain a coherent, single-address space view of memory without the need for hardware coherence support. We evaluate the task-centric memory model in simulation on a 1024-core MIMD accelerator we are developing that, with the help of a runtime system, implements the proposed memory model. We evaluate coherence management policies related to the task-centric memory model and show that the overhead of maintaining a coherent view of memory in software can be minimal. We further show that, while software management may constrain speculative hardware prefetching into local caches, a common optimization, it does not constrain the more relevant use case of off-chip prefetching from DRAM into shared caches.

关键词： memory model Computer Architecture Compute Accelerator Cache Coherence

来源：评论

学校读者我要写书评

暂无评论

Static analysis via abstract interpretation of the happens-before memory model

引用

2nd International Conference on Tests and Proofs

作者： Ferrara, Pietro Ecole Polytech F-91128 Palaiseau France

ISBN: (纸本)9783540791232

memory models define which executions of multithreaded programs are legal. This paper formalises in a fixpoint form the happens-before memory model, an over-approximation of the Java one, and it presents a static analysis using abstract interpretation. Our approach is completely independent of both the programming language and the analysed property. It also appears to be a promising framework to define, compare and statically analyse other memory models.

关键词： static analysis abstract interpretation memory model multithreaded programs

来源：评论

学校读者我要写书评

暂无评论

Constructing a Weak memory model 18

Constructing a Weak Memory Model

引用

45th ACM/IEEE Annual International Symposium on Computer Architecture (ISCA)

作者： Zhang, Sizhuo Vijayaraghavan, Muralidaran Wright, Andrew Alipour, Mehdi Arvind MIT CSAIL Cambridge MA 02139 USA Uppsala Univ Uppsala Sweden

ISBN: (纸本)9781538659847

Weak memory models are a consequence of the desire on part of architects to preserve all the uniprocessor optimizations while building a shared memory multiprocessor. The efforts to formalize weak memory models of ARM and POWER over the last decades are mostly empirical they try to capture empirically observed behaviors and end up providing no insight into the inherent nature of weak memory models. This paper takes a constructive approach to find a common base for weak memory models: we explore what a weak memory would look like if we constructed it with the explicit goal of preserving all the uniprocessor optimizations. We will disallow some optimizations which break a programmer's intuition in highly unexpected ways. The constructed model, which we call General Atomic memory model (GAM), allows all four load/store reorderings. We give the construction procedure of GAM, and provide insights which are used to define its operational and axiomatic semantics. Though no attempt is made to match GAM to any existing weak memory model, we show by simulation that GAM has comparable performance with other models. No deep knowledge of memory models is needed to read this paper.

关键词： memory model

来源：评论

学校读者我要写书评

暂无评论

A memory model for Symbolic Execution

A Memory Model for Symbolic Execution

引用

International Forum on Computer Science-Technology and Applications

作者： Dai Ziying Mao Xiaoguang Ma Xiaodong Wang Rui Natl Univ Def Technol Sch Comp Changsha 410073 Hunan Peoples R China

ISBN: (纸本)9780769539300

Symbolic execution plays an important role in the area of software testing and program verification. However, there are several difficulties facing symbolic execution, one of which is how to abstract various data types in source codes. This paper addresses this problem by proposing a memory model that is based on the abstract symbol table. The abstract symbol table records names, abstract addresses and symbolic values of variables, which is a simple and accurate memory abstracting mechanism. The memory model is prerequisite for any technique involving symbolic execution, but this paper is the first one that systematically presents a memory model for symbolic execution that can handle various data types uniformly. Moreover, pointer arithmetic is supported, and the aliasing problem can be handled implicitly, so no extra alias algorithm is needed.

关键词： symbolic execution memory model abstract symbol table static analysis

来源：评论

学校读者我要写书评

暂无评论

A memory model Based on Three-Valued Matrix for Static Defect Detection 25

A Memory Model Based on Three-Valued Matrix for Static Defec...

引用

25th IEEE International Symposium on Software Reliability Engineering (ISSRE)

作者： Wang, Qian Jin, Dahai Gong, Yunzhan Beijing Univ Posts & Telecommun State Key Lab Networking & Switching Tech Beijing 100876 Peoples R China

ISBN: (纸本)9781479973774

The knowledge of pointer behavior is very important for static analysis tools, especially the ones aiming at detecting C and related programming languages. But due to the usage of structure and the weakly typed feature of C-like programming languages, obtaining such knowledge is not an easy work. In this paper, we present a modeling method based on 3-valued matrix. This model enables us to perform flow-sensitive points-to analysis to obtain the knowledge of pointer behavior. And specially, it relies on offsets instead of access paths to denote disjoint objects in the memory space, thereby addressing the issue mentioned just before. And moreover, the so-called 3-valued matrix is a compact representation of points-to sets. Such a representation is a key part for designating an effective flow-sensitive points-to analysis. We implement a prototype of our method, and give it an evaluation on a set of open source benchmarks. The experimental results prove the effectiveness of our method, and show that it is suitable for exploring large programs with reasonable accuracy.

关键词： memory model 3-valued matrix Flow sensitivity Points-to analysis

来源：评论

学校读者我要写书评

暂无评论

A memory model for Visual Image Classification Based on Residual Neural Network and Bayesian Decision

A Memory Model for Visual Image Classification Based on Resi...

引用

IEEE Symposium Series on Computational Intelligence (SSCI)

作者： Xiao, Linxia Wang, Yanjiang China Univ Petr East China Coll Control Sci & Engn Qingdao Peoples R China

ISBN: (纸本)9781728124858

Though traditional classification methods show well performance in classification tasks, most of them mainly lay emphasis on 'classification' rather than 'cognition'. When a new object that has never been seen is encountered, the traditional methods falsely default the image as a certain category that has been studied, however, humans can first identify the image as new. In this paper, we present a memory model for visual images classification based on residual neural network and Bayesian decision (VICRB). First, the feature vectors of the visual images for each category are extracted with residual neural network and each feature component may be correctly copied or randomly produced. Then the processes about how the visual images represent, store and retrieve are modeled. The feature vector of test images is matched with the feature vectors of learned images and the likelihood ratio is computed according to probabilistic inference theory. Finally, the odds value in favor of an old over a new image is computed by all likelihood values. According to the odd value, the Bayesian decision rule is applied to the image classification. Experimental results on two benchmark images datasets show that the presented memory model performs well in images classification tasks.

关键词： memory model Image classification Residual neural network Probabilistic inference Bayesian decision

来源：评论

学校读者我要写书评

暂无评论

UMM: an operational memory model specification framework with integrated model checking capability

UMM: an operational memory model specification framework wit...

引用

International Symposium on Computing in Object Oriented Parallel Environments

作者： Yang, Y Gopalakrishnan, G Lindstrom, G Univ Utah Sch Comp Salt Lake City UT 84112 USA

Given the complicated nature of modern shared memory systems, it is vital to have a systematic approach to specifying and analyzing memory consistency requirements. In this paper, we present the UMM specification framework, which integrates two key features to support memory model verification: (i) it employs a simple and generic memory abstraction that can capture a large collection of memory models as guarded commands with a uniform notation, and (ii) it provides built-in model checking capability to enable formal reasoning about thread behaviors. Using this framework, memory models can be specified in a parameterized style-designers can simply redefine a few-bypassing rules and visibility ordering rules to obtain an executable specification of another memory model. We formalize several classical memory models, including Sequential Consistency, Coherence, and PRAM, to illustrate the general techniques of applying this framework. We then provide an alternative specification of the Java memory model, based on a proposal from Manson and Pugh, and demonstrate how to analyze Java thread semantics using model checking. We also compare our operational specification style with axiomatic specification styles and explore a mechanism that converts a memory model definition from one style to the other. Copyright (c) 2005 John Wiley & Sons, Ltd.

关键词： memory model operational specification Java thread formal verification

来源：评论

学校读者我要写书评

暂无评论

Concurrent Program Semantic Mutation Testing Based on Abstract memory model

Concurrent Program Semantic Mutation Testing Based on Abstra...

引用

IEEE International Conference on Information and Automation 2015

作者： Cao, Lixin Zheng, Wei Hu, Desheng Bai, Han Northwestern Polytech Univ Coll Software & Microelect Xian Shaanxi Provinc Peoples R China

ISBN: (纸本)9781467391047

Due to the fact that concurrent program's semantics can't be understood by relaxed memory model correctly, some unexpected faults, which are difficult to be detected, exist during its multi-threaded cross-execution. Therefore, this paper intends to establish an abstract memory model for concurrent program, conduct formal description of the memory access process that may exist in program memory access, and then utilize model checking technique to find out the common concurrent program error scenarios on this basis. We further design the semantic mutation operator, and investigate how to optimize the mutation process and how to generate mutants and test suite automatically. This study can set up a formal specification of concurrent program memory access semantics and provide a theoretical basis for other researches in the field of testing. It also serves as a basis to propose a semantic mutation testing technique oriented towards parallel program to assist parallel code testing in industry.

关键词： Software testing memory model semantic mutation testing symbol execution evolution algorithm

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：