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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,754 篇 会议
29 册 图书
25 篇 期刊文献

馆藏范围

1,808 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,391 篇 工学
- 1,275 篇 计算机科学与技术...
- 600 篇 软件工程
- 241 篇 信息与通信工程
- 220 篇 电气工程
- 90 篇 控制科学与工程
- 53 篇 电子科学与技术（可...
- 44 篇 机械工程
- 41 篇 生物工程
- 34 篇 动力工程及工程热...
- 26 篇 石油与天然气工程
- 20 篇 化学工程与技术
- 20 篇 环境科学与工程（可...
- 19 篇 网络空间安全
- 18 篇 仪器科学与技术
- 17 篇 生物医学工程（可授...
- 15 篇 材料科学与工程（可...
- 15 篇 测绘科学与技术
- 14 篇 力学（可授工学、理...
308 篇 理学
- 203 篇 数学
- 48 篇 生物学
- 41 篇 物理学
- 39 篇 系统科学
- 31 篇 统计学（可授理学、...
- 25 篇 化学
200 篇 管理学
- 132 篇 管理科学与工程(可...
- 78 篇 图书情报与档案管...
- 57 篇 工商管理
72 篇 医学
- 64 篇 临床医学
17 篇 法学
- 14 篇 社会学
16 篇 经济学
- 16 篇 应用经济学
15 篇 教育学
6 篇 农学
3 篇 文学
2 篇 军事学

主题

105 篇 distributed comp...
101 篇 distributed comp...
74 篇 parallel process...
59 篇 cloud computing
45 篇 parallel computi...
44 篇 computational mo...
38 篇 distributed data...
37 篇 parallel program...
37 篇 grid computing
36 篇 parallel algorit...
33 篇 computer archite...
32 篇 parallel process...
31 篇 big data
28 篇 application soft...
26 篇 fault tolerance
26 篇 machine learning
25 篇 scalability
25 篇 resource managem...
24 篇 middleware
23 篇 concurrent compu...

机构

9 篇 laboratory of in...
8 篇 zhejiang univ co...
7 篇 plekhanov russia...
7 篇 chinese acad sci...
7 篇 science and tech...
6 篇 univ adelaide sc...
6 篇 institute of com...
5 篇 department of in...
5 篇 shanghai jiao to...
4 篇 college of compu...
4 篇 school of comput...
4 篇 harbin inst tech...
4 篇 school of inform...
4 篇 univ otago dept ...
3 篇 huazhong univ sc...
3 篇 fuyang rongda co...
3 篇 key laboratory o...
3 篇 department of co...
3 篇 university of el...
3 篇 school of comput...

作者

13 篇 zomaya albert y.
10 篇 shen hong
8 篇 todorov venelin
8 篇 rothermel kurt
7 篇 li kuan-ching
6 篇 leymann frank
6 篇 li y
6 篇 liu jie
6 篇 kopp oliver
5 篇 dimov ivan
5 篇 nakayama shigeru
5 篇 huang z.
5 篇 gankevich ivan
5 篇 albert y. zomaya
5 篇 breitenbuecher u...
5 篇 yang chao-tung
4 篇 li kenli
4 篇 blochinger wolfg...
4 篇 liu yang
4 篇 leung k.

语言

1,719 篇 英文
71 篇 其他
15 篇 中文
10 篇 俄文

检索条件"任意字段=8th International Conference on Parallel and Distributed Computing, Applications and Technologies"

共 1808 条记录，以下是981-990 订阅

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

详细简洁

排序：

Mechanised Verification of distributed State-Space Algorithms for Security Protocols

Mechanised Verification of Distributed State-Space Algorithm...

引用

IEEE international conference on parallel and distributed computing, applications and technologies (PDCAT)

作者： Frédéric Gava Arthur Hidalgo Jean Fortin University of Paris-East France

ISBN: (纸本)9781467357043

Explicit model-checking (MC) is a classical solution to find flaws in a security protocol. But it is well-known that for non trivial protocols, MC may enumerate state-spaces of astronomical sizes - the famous state-space explosion problem. distributed model checking is a solution but complex and subject to bugs: a MC can validate a model but miss an invalid state. In this paper, we focus on using a verification condition generator that takes annotated distributed algorithms and ensures their termination and correctness. We study five algorithms (one sequential and four distributed where three of them are dedicated and optimised for security protocol) of state-space construction as a first step towards mechanised verification of distributed model-checkers.

关键词： Protocols Security Partitioning algorithms Computational modeling distributed algorithms parallel algorithms Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Study on Quantum parallel Processing by Adiabatic Quantum Computation in Bernstein-Vazirani Problem

Study on Quantum Parallel Processing by Adiabatic Quantum Co...

引用

IEEE international conference on parallel and distributed computing, applications and technologies (PDCAT)

作者： Shigeru Nakayama Peng Gang Ichiro Iimura Department of Information Science and Biological Engineering Kagoshima University Kagoshima Japan Department of Computer Science Huizhou University Huizhou China Department of Administration Prefectural University of Kumamoto Kumamoto Japan

ISBN: (纸本)9781467357043

Adiabatic quantum computation has been proposed as quantum parallel processing with adiabatic evolution by using a superposition state to solve combinatorial optimization problem, then it has been applied to many problems like satisfiability problem. Among them, Deutsch and Deutsch-Jozsa problems have been tried to be solved by using adiabatic quantum computation. In this paper, we modify the adiabatic quantum computation and propose to solve Bernstein-Vazirani problem more efficiently by a method with higher observation probability.

关键词： Quantum computing Vectors Transforms Hafnium Energy states Optimization parallel processing

来源：评论

学校读者我要写书评

暂无评论

Network Load Analysis and Provisioning of MapReduce applications

Network Load Analysis and Provisioning of MapReduce Applicat...

引用

IEEE international conference on parallel and distributed computing, applications and technologies (PDCAT)

作者： Nikzad Babaii Rizvandi Javid Taheri Reza Moraveji Albert Y. Zomaya The University of Sydney Sydney NSW AU Center for Distributed and High Performance Computing School of Information Technologies University of Sydney Sydney Australia

ISBN: (纸本)9781467357043

In this paper, we study the dependency between MapReduce configuration parameters and network load of fixed-size MapReduce jobs during the shuffle phase, then we propose an analytical method to model this dependency. Our approach consists of three key phases: profiling, modeling, and prediction. In the first stage, an application is run several times with different sets of MapReduce configuration parameters (here number of map tasks and number of reduce tasks) to profile the network load of an application in the shuffle phase on a given cluster. then, the relation between these parameters and the network load is modeled by multivariate linear regression. For evaluation, three applications (Word Count, Exim Main log parsing, and TeraSort) are utilized to evaluate our technique on a 5-node MapReduce private cluster.

关键词： Load modeling Predictive models Accuracy Computational modeling Mathematical model distributed computing Data models

来源：评论

学校读者我要写书评

暂无评论

Revisiting Snapshot Algorithms by Refinement-Based Techniques

Revisiting Snapshot Algorithms by Refinement-Based Technique...

引用

IEEE international conference on parallel and distributed computing, applications and technologies (PDCAT)

作者： Manamiary Bruno Andriamiarina Dominique Méry Neeraj Kumar Singh LORIA Université de Lorraine Vandoeuvre-les-Nancy France University of York York UK

ISBN: (纸本)9781467357043

the snapshot problem addresses a collection of important algorithmic issues related to the distributed computations, which are used for debugging or recovering the distributed programs. Among the existing solutions, Chandy and Lamport propose a simple distributed algorithm. In this paper, we explore the correct-by-construction process to formalize the snapshot algorithms in distributed system. the formalization process is based on a modeling language Event B, which supports a refinement-based incremental development using RODIN platform. these refinement-based techniques help to derive a correct distributed algorithm. Moreover, we demonstrate how this class of other distributed algorithms can be revisited. A consequence is to provide a fully mechanized proof of the distributed algorithms.

关键词： distributed algorithms Computational modeling Abstracts Concrete System recovery Electronic mail Context

来源：评论

学校读者我要写书评

暂无评论

A Decentralized Load Balancing Approach for parallel Search-Tree Optimization

A Decentralized Load Balancing Approach for Parallel Search-...

引用

IEEE international conference on parallel and distributed computing, applications and technologies (PDCAT)

作者： F.N. Abu-Khzam A.E. Mouawad Lebanese American University Beirut Beirut LB University of Waterloo Waterloo ON CA

ISBN: (纸本)9781467357043

Current generation supercomputers have over one million cores awaiting highly demanding computations and applications. An area that could largely benefit from such processing capabilities is naturally that of exact algorithms for NP-hard problems. We propose a general implementation framework that targets highly scalable parallel exact algorithms for NP-hard graph problems. We tackle the problems of efficiency and scalability by combining a fully decentralized dynamic load balancing strategy with special implementation techniques for exact graph algorithms. As a case-study, we use our framework to implement parallel algorithms for the VERTEX COVER and DOMINATING SET problems. We present experimental results that show notable improved running times on all types of input instances.

关键词： Heuristic algorithms Load management Network topology Supercomputers Optimization Topology Scalability

来源：评论

学校读者我要写书评

暂无评论

Models to Solve the Duplication Problem in Treaty Systems

Models to Solve the Duplication Problem in Treaty Systems

引用

IEEE international conference on parallel and distributed computing, applications and technologies (PDCAT)

作者： Yining Zhao Alan Wood Department of Computer Science University of York York UK

ISBN: (纸本)9781467357043

Capabilities are a more scalable and adaptive access control approach compared with the conventional approaches such as ACLs, due to their being held and managed by users or agents in systems, but not the middleware. this feature makes capabilities more suitable in distributed environments that have dynamic populations. Treaties have been proposed to enhance the capability approach by introducing sequences of actions, such that treaties can capture characteristics of behaviours, and provide finer control over accesses. However there is a new problem brought by the behaviour modeling of treaties which is called duplication problem, which concerns preventing users from gaining unauthorised behaviour by duplicating treaties. In this paper we discuss this problem and propose three models of treaty systems that aim to solve the duplication problem.

关键词： Kernel Access control Memory management Logic gates distributed computing Computational modeling Computer science

来源：评论

学校读者我要写书评

暂无评论

A Java Hybrid Compiler for Shared Memory parallel Programming

A Java Hybrid Compiler for Shared Memory Parallel Programmin...

引用

IEEE international conference on parallel and distributed computing, applications and technologies (PDCAT)

作者： Abdourahmane Senghor Karim Konate Department of Mathematics and Informatics Cheikh Anta Diop University Dakar Senegal

ISBN: (纸本)9781467357043

the purpose of this paper is to design and implement a hybrid compiler that combines JOMP's directives with javar's annotations in order to obtain a more performing compiler. this is an original approach and consists of pooling the advantages of those two compilers while fixing some of their issues. However the achievement of this aim is facing the issue of the difference of implementation of these two compilers because JOMP is implemented in Java while javar is implemented in C language. We propose to entirely reimplement javar in Java by using JavaCC. thereafter, we present the implementation of the hybrid compiler. In the experiments, we propose to parallelize the matrix sort program by using this hybrid compiler. the results of experiments and the mathematical demonstration lead us to state that dealing with this hybrid compiler gives performances better or equal to the best one between javar and JOMP.

关键词： Java Synchronization Program processors parallel processing Arrays parallel programming Libraries

来源：评论

学校读者我要写书评

暂无评论

A Synchronization-Induced Checkpoint Protocol for Group-Synchronous parallel Programs

A Synchronization-Induced Checkpoint Protocol for Group-Sync...

引用

IEEE international conference on parallel and distributed computing, applications and technologies (PDCAT)

作者： Zunce Wei Dhrubajyoti Goswami Department of Computer Science and Software Engineering Concordia University Montreal QUE Canada

ISBN: (纸本)9781467357043

Group check pointing is a fix between global check pointing and log-based recovery. It features both reduced runtime overhead and localized recovery effect for improving the fault-tolerance performance of large-scale distributed systems. However, parallel programs cannot efficiently benefit from this strategy, as they often involve synchronous or semi-synchronous interactions that incur extra idling delays between processes as well as between process groups. this paper presents an analytical study on such delays and the corresponding delay optimization strategies. Observing that certain parallel programs exhibit patterns of "synchronization groups", we develop a Synchronization-Induced Checkpoint protocol that manages checkpoints around such groups. the protocol keeps advantages of ordinary group check pointing, and meanwhile minimizes the costs of synchronization-induced delays. We also broadly categorize the known synchronization patterns and establish their relations with suitable checkpoint strategies for parallel programs.

关键词： Synchronization Delays Checkpointing Protocols Pipelines Runtime Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

BIGS: A framework for large-scale image processing and analysis over distributed and heterogeneous computing resources

BIGS: A framework for large-scale image processing and analy...

引用

2012 IEEE 8th international conference on E-Science, e-Science 2012

作者： Ramos-Pollán, Raúl González, Fabio A. Caicedo, Juan C. Cruz-Roa, Angel Camargo, Jorge E. Vanegas, Jorge A. Pérez, Santiago A. Bermeo, Jose David Otálora, Juan Sebastián Rozo, Paola K. Arévalo, John E. Bioingenium Research Group Universidad Nacional de Colombia Bogotá Colombia

ISBN: (纸本)9781467344678

this paper presents BIGS the Big Image Data Analysis Toolkit, a software framework for large scale image processing and analysis over heterogeneous computing resources, such as those available in clouds, grids, computer clusters or throughout scattered computer resources (desktops, labs) in an opportunistic manner. through BIGS, eScience for image processing and analysis is conceived to exploit coarse grained parallelism based on data partitioning and parameter sweeps, avoiding the need of inter-process communication and, therefore, enabling loosely coupled computing nodes (BIGS workers). It adopts an uncommitted resource allocation model where (1) experimenters define their image processing pipelines in a simple configuration file, (2) a schedule of jobs is generated and (3) workers, as they become available, take over pending jobs as long as their dependency on other jobs is fulfilled. BIGS workers act autonomously, querying the job schedule to determine which one to take over. this removes the need for a central scheduling node, requiring only access by all workers to a shared information source. Furthermore, BIGS workers are encapsulated within different technologies to enable their agile deployment over the available computing resources. Currently they can be launched through the Amazon EC2 service over their cloud resources, through Java Web Start from any desktop computer and through regular scripting or SSH commands. this suits well different kinds of research environments, both when accessing dedicated computing clusters or clouds with committed computing capacity or when using opportunistic computing resources whose access is seldom or cannot be provisioned in advance. We also adopt a NoSQL storage model to ensure the scalability of the shared information sources required by all workers, including within BIGS support for HBase and Amazon's DynamoDB service. Overall, BIGS now enables researchers to run large scale image processing pipelines in an easy, affo

关键词： Image analysis

来源：评论

学校读者我要写书评

暂无评论

Statistical Performance Tuning of parallel Monte Carlo Ocean Color Simulations

Statistical Performance Tuning of Parallel Monte Carlo Ocean...

引用

IEEE international conference on parallel and distributed computing, applications and technologies (PDCAT)

作者： Tamito Kajiyama Davide D'Alimonte José C. Cunha CITI Department Informática FCT Universidade Nova de Lisboa Portugal CITI FCT Universidade Nova de Lisboa

ISBN: (纸本)9781467357043

Statistical performance tuning of a parallel Monte Carlo (MC) radiative transfer code for ocean color (OC) applications is presented. A low observed-to-peak performance ratio due to highly sparse computations is compensated by online and offline tuning techniques based on a statistical indicator of products accuracy. Run-time adaptive control employs the accuracy indicator to set up two complementary tuning criteria: one general to MC computations and the other specific to OC applications. the same accuracy indicator is also used for pre-execution tuning of a threshold parameter. Numerical simulations of real case scenarios showed that the proposed methods consistently led to faster runs, while satisfying application accuracy requirements. Specifically, speed-ups range from 2.17 to 7.44 times when compared with the un-optimized version of the MC code. the applied techniques are orthogonal to parallelization, so that the reported performance gains are further amplified by parallel speed-ups.

关键词： Photonics Radiometry Tuning Accuracy Adaptation models Trajectory Sea surface

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共181页 << < 95 96 97 98 99 100 101 102 103 104 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：