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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

329 篇 会议
8 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

218 篇 工学
- 189 篇 计算机科学与技术...
- 104 篇 软件工程
- 48 篇 信息与通信工程
- 33 篇 电气工程
- 17 篇 电子科学与技术（可...
- 14 篇 控制科学与工程
- 9 篇 机械工程
- 9 篇 仪器科学与技术
- 6 篇 动力工程及工程热...
- 4 篇 力学（可授工学、理...
- 4 篇 建筑学
- 4 篇 测绘科学与技术
- 4 篇 环境科学与工程（可...
- 4 篇 网络空间安全
- 3 篇 材料科学与工程（可...
- 3 篇 土木工程
- 3 篇 生物工程
63 篇 理学
- 41 篇 数学
- 10 篇 系统科学
- 8 篇 统计学（可授理学、...
- 5 篇 物理学
- 4 篇 生物学
- 3 篇 化学
- 3 篇 大气科学
- 2 篇 海洋科学
37 篇 管理学
- 29 篇 管理科学与工程(可...
- 18 篇 工商管理
- 10 篇 图书情报与档案管...
3 篇 经济学
- 3 篇 应用经济学
3 篇 教育学
- 3 篇 教育学
2 篇 法学
1 篇 医学

主题

29 篇 distributed comp...
28 篇 cloud computing
23 篇 distributed comp...
15 篇 computer science
15 篇 fault tolerance
13 篇 computational mo...
11 篇 protocols
9 篇 computer archite...
8 篇 concurrent compu...
8 篇 distributed data...
7 篇 internet of thin...
7 篇 scalability
7 篇 deep learning
7 篇 algorithms
7 篇 resource managem...
7 篇 costs
7 篇 edge computing
7 篇 delay
7 篇 training
6 篇 quantum computin...

机构

3 篇 college of compu...
2 篇 computer enginee...
2 篇 microsoft corp r...
2 篇 école polytechni...
2 篇 department of co...
2 篇 massachusetts in...
2 篇 technion haifa
2 篇 iit madras
2 篇 res & acad comp ...
2 篇 univ toronto dep...
2 篇 virginia tech bl...
2 篇 argonne national...
2 篇 department of di...
2 篇 cornell univ ith...
2 篇 lawrence livermo...
2 篇 etri daejeon
2 篇 oak ridge natl l...
2 篇 tomsk polytech u...
2 篇 etri daejeon rep...
2 篇 college of compu...

作者

3 篇 peleg david
3 篇 schulz martin
3 篇 wattenhofer roge...
3 篇 de supinski bron...
3 篇 gilbert seth
3 篇 hadzilacos vasso...
2 篇 hong-linh truong
2 篇 subramoni hari
2 篇 claudia campolo
2 篇 karp richard m.
2 篇 fiat amos
2 篇 floriano de rang...
2 篇 g. spezzano
2 篇 mauro tropea
2 篇 rabani yuval
2 篇 bartal yair
2 篇 dongarra jack
2 篇 awerbuch baruch
2 篇 e. greco
2 篇 nicolae bogdan

语言

336 篇 英文
2 篇 中文
1 篇 其他

检索条件"任意字段=24th Symposium on Principles of Distributed Computing"

共 339 条记录，以下是81-90 订阅

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

详细简洁

排序：

Simulating heterogeneous models on multi-core platforms using Julia's computing language parallel potential 20

Simulating heterogeneous models on multi-core platforms usin...

引用

Proceedings of the IEEE/ACM 24th International symposium on distributed Simulation and Real Time Applications

作者： Sergey Suslov Michael Schiek Markus Robens Christian Grewing Stefan van Waasen ZEA-2 - Electronic Systems Germany

this paper addresses the questions of high-level system modelling using heterogeneous multi-tool modelling environment on parallel multi-core processing systems for simulation acceleration. the modelling technique has been applied for high-level validation of a high-precision Indoor Positioning System for Motion Analysis (IPS-MA) developed in the Central Institute Electronic Systems (ZEA-2) of the Research Center Juelich GmbH. the heterogeneous modelling environment has been built using an implementation-level model designed in Matlab Simulink, a verification model for describing the system environment using Modelica language, and Julia language for automatic generation of binding modelling environment and parallelizing the simulation of the overall model. the approach showed a good flexibility in system description and verification in the multi-instrument modelling environment and a good performance gain due to simulation parallelism.

关键词： modelica Julia computing language high level system modelling parallelized simulation distributed simulation functional verification

来源：评论

学校读者我要写书评

暂无评论

Digital twins at the edge to track mobility for MaaS applications 20

Digital twins at the edge to track mobility for MaaS applica...

引用

Proceedings of the IEEE/ACM 24th International symposium on distributed Simulation and Real Time Applications

作者： Claudia Campolo Giacomo Genovese Antonella Molinaro Bruno Pizzimenti University "Mediterranea" of Reggio Calabria Italy

the research into wireless communication and mobile computing is called to formulate novel smart mobility solutions to improve the quality of a citizen's life in smart cities. In such a context, in this paper we elaborate on the role of technologies like multi-access edge computing (MEC), Internet of things (IoT) messaging protocols, such as Constrained Application Protocol (CoAP) and Message Queue Telemetry Transport (MQTT), and virtualization (i.e., digital twins) in the design of a framework enabling the collection and processing of data about the mobility of commuters and public transport vehicles. Such data have the purpose to feed mobility monitoring and transport planning solutions. A Proof-of-Concept (PoC) is developed to validate the framework under realistic experimental settings. Results in terms of efficiency and effectiveness of the considered messaging protocols are reported.

关键词： multi-access edge computing digital twin MQTT OMA LwM2M MaaS CoAP

来源：评论

学校读者我要写书评

暂无评论

Collision avoidance proposal in a MEC based VANET environment 20

Collision avoidance proposal in a MEC based VANET environmen...

引用

Proceedings of the IEEE/ACM 24th International symposium on distributed Simulation and Real Time Applications

作者： Nicolas Nevigato Mauro Tropea Floriano De Rango University of Calabria Rende Italy

Mobile Edge computing (MEC) is a new network paradigm that allows resource management and IT services at the edge of a communication network and, so, closer to the devices guaranteeing low latency and high bandwidth requirements. this characteristic makes MEC paradigm suitable for critical communication services used in collaboration with container-based virtualization and with 5G networks. In this paper, an implementation of a collision avoidance system based on MEC in a VANET environment is proposed. this system makes use of cloud and edge computing and it is able to switch communication from edge to cloud server and vice versa when possible, trying to guarantee the required constraints and balancing the communication among the servers avoiding of overloading edge layer. the simulation results have proved how, in some cases, the MEC-5G combination is the best solution for avoiding collisions in a VANET environment.

关键词： collision avoidance mobile edge computing (MEC) 5G VANET

来源：评论

学校读者我要写书评

暂无评论

A novel deep reinforcement learning based service migration model for mobile edge computing 20

A novel deep reinforcement learning based service migration ...

引用

Proceedings of the IEEE/ACM 24th International symposium on distributed Simulation and Real Time Applications

作者： Sung Woon Park Azzedine Boukerche Shichao Guan University of Ottawa Ottawa Canada

Cloud computing has emerged as a foundation of smart environments by encapsulating and virtualizing the underlying design and implementation details. Concerning the inherent latency and deployment issues, Mobile Edge computing seeks to migrate services in the vicinity of mobile users. However, the current migration-based studies lack the consideration of migration cost, transaction cost, and energy consumption on the system-level with discussion on the impact of personalized user mobility. In this paper, we implement an enhanced service migration model to address user proximity issues. We formalize the migration cost, transaction cost, energy consumption related to the migration process. We model the service migration issue as a complex optimization problem and adapt Deep Reinforcement Learning to approximate the optimal policy. We compare the performance of the proposed model with the recent Q-learning method and other baselines. the results demonstrate that the proposed model can estimate the optimal policy with complicated computation requirements.

关键词： service migration migration cost deep reinforcement learning mobile edge computing energy consumption

来源：评论

学校读者我要写书评

暂无评论

An energy management system at the edge based on reinforcement learning 20

An energy management system at the edge based on reinforceme...

引用

Proceedings of the IEEE/ACM 24th International symposium on distributed Simulation and Real Time Applications

作者： F. Cicirelli A. F. Gentile E. Greco A. Guerrieri G. Spezzano A. Vinci National Research Council of Italy Italy

In this work, we propose an IoT edge-based energy management system devoted to minimizing the energy cost for the daily-use of in-home appliances. the proposed approach employs a load scheduling based on a load shifting technique, and it is designed to operate in an edge-computing environment naturally. the scheduling considers all together time-variable profiles for energy cost, energy production, and energy consumption for each shiftable appliance. Deadlines for load termination can also be expressed. In order to address these goals, the scheduling problem is formulated as a Markov decision process and then processed through a reinforcement learning technique. the approach is validated by the development of an agent-based real-world test case deployed in an edge context.

关键词： internet of things edge computing multi-agent systems energy management systems reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

A Study on Checkpointing for distributed Applications Using Blockchain-Based Data Storage 24

A Study on Checkpointing for Distributed Applications Using ...

引用

IEEE 24th Pacific Rim International symposium on Dependable computing (PRDC)

作者： Ohara, Mamoru Tokyo Metropolitan Ind Technol Res Inst Koto Ku Tokyo 1350065 Japan

ISBN: (纸本)9781728149615

Blockchain and smart contract technologies are becoming increasingly common in various areas. In these days, some user-side software saves information into blockchain-based storage so that they can ensure security, traceability, and fault tolerance of their data. We expect that in the near future, more apps will use blockchain-based storage for dependability. However, there are some inconvenient points in current blockchain technologies for common use. Especially, stale blocks lead an undesirable property of blockchains for checkpointing. In this article we develop a simulator for obtaining some parameters toward constructing an analytical model by using the parameters obtained.

关键词： checkpointing distributed applications (dApps) blockchain stale blocks simulation

来源：评论

学校读者我要写书评

暂无评论

A Round-Efficient distributed Betweenness Centrality Algorithm 19

A Round-Efficient Distributed Betweenness Centrality Algorit...

引用

24th ACM SIGPLAN symposium on principles and Practice of Parallel Programming (PPoPP)

作者： Hoang, Loc Pontecorvi, Matteo Dathathri, Roshan Gill, Gurbinder You, Bozhi Pingali, Keshav Ramachandran, Vijaya Univ Texas Austin Austin TX 78712 USA Nokia Bell Labs Paris France Xi An Jiao Tong Univ Xian Peoples R China

ISBN: (纸本)9781450362252

We present Min-Rounds BC (MRBC), a distributed-memory algorithm in the CONGEST model that computes the betweenness centrality (BC) of every vertex in a directed unweighted n-node graph in O(n) rounds. Min-Rounds BC also computes all-pairs-shortest-paths (APSP) in such graphs. It improves the number of rounds by at least a constant factor over previous results for unweighted directed APSP and for unweighted BC, both directed and undirected. We implemented MRBC in D-Galois, a state-of-the-art distributed graph analytics system, incorporated additional optimizations enabled by the D-Galois model, and evaluated its performance on a production cluster with up to 256 hosts using power-law and road networks. Compared to the BC algorithm of Brandes, on average, MRBC reduces the number of rounds by 14.0x and the communication time by 2.8x for the graphs in our test suite. As a result, MRBC is 2.1x faster on average than Brandes BC for real-world web-crawls on 256 hosts.

关键词： Web crawler

来源：评论

学校读者我要写书评

暂无评论

the web: A hacker's heaven and an on-line system 20

The web: A hacker's heaven and an on-line system

引用

24th International Database Engineering and Applications symposium, IDEAS 2020

作者： Desai, Bipin C. Kipling, Arlin L. Navale, Reethu Zhu, Jainhu Concordia University Montreal Canada

ISBN: (纸本)9781450375030

the internet was supposed to be an interconnection of independent distributed computer and information systems;the web was formally introduced in 1994 at the first conference now known as WWW1 in Geneva, It was supposed to make easier access to a trove of decentralized, independently owned information, the web has made it possible for billions of users to access the internet and its resources. As with any project, whether software or not, unless it is thoroughly thought out, the final outcome has bugs, commissions, omissions, vulnerabilities, and shortfalls. the web has made it possible for a small number of corporations to amass huge quantities of private information and mine them for profit. In this survey paper, we have shown how some of these shortfalls of the web and have impacted CrsMgr, an online course management system and what has been attempted to address these issues. © 2020 ACM.

关键词： Personal computing

来源：评论

学校读者我要写书评

暂无评论

A distributed hypervisor for resource aggregation 24

A distributed hypervisor for resource aggregation

引用

24th ACM SIGPLAN symposium on principles and Practice of Parallel Programming, PPoPP 2019

作者： Chen, Yubin Ding, Zhuocheng Zhang, Jin Wang, Yun Qi, Zhengwei Guan, Haibing Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiao Tong University China

ISBN: (纸本)9781450362252

Scale-out has become the standard answer to data analysis, machine learning and many other fields. Contrary to common belief, scale-up machines can outperform scale-out clusters for a considerable portion of tasks. However, those scale-up machines are not economical and may not be affordable for small businesses. this paper presents GiantVM, a distributed hypervisor that aggregates resources from multiple physical machines, providing the guest OS with a uniform hardware abstraction. We propose techniques to deal with the challenges of CPU, Memory, and I/O virtualization in distributed environments. © 2019 Copyright held by the owner/author(s).

关键词： Virtualization

来源：评论

学校读者我要写书评

暂无评论

Resilient distributed Causal Memory in Client-Server Model 24

Resilient Distributed Causal Memory in Client-Server Model

引用

IEEE 24th Pacific Rim International symposium on Dependable computing (PRDC)

作者： Tseng, Lewis Wang, Zezhi Zhao, Yajie Boston Coll Chestnut Hill MA 02167 USA Brown Univ Providence RI 02912 USA Columbia Univ New York NY 10027 USA

ISBN: (纸本)9781728149615

We study distributed causal shared memory (or key-value pairs) in an asynchronous network under crash failures. Causal memory, introduced by Ahamad et al. in the context of multi-processor environment in 1994, is an abstraction which ensures that nodes agree on the relative ordering of read and write operations that are causally related on key-value pairs. Inspired by the recent interests in geo-replicated causal storage systems (e.g., COPS, Eiger, Bolt-on), we systematically study the fault-tolerance property of the causal shared memory in the client-server model in this work. We identify that 2f +1 servers is both necessary and sufficient to build a resilient causal memory in the presence of up to f crashed servers. We provide both the necessity proof and a new optimal algorithm that matches the bound. For evaluation, we implement our algorithm in Golang and compare the performance with state-of-the-art fault-tolerant algorithms that ensure strong consistency in the Google Cloud Platform.

关键词： distributed storage system causal memory evaluation asynchrony crash faults

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共34页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：