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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

10,299 篇 会议
251 篇 期刊文献
185 册 图书
2 篇 学位论文

馆藏范围

10,737 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

4,858 篇 工学
- 4,307 篇 计算机科学与技术...
- 3,041 篇 软件工程
- 721 篇 电气工程
- 684 篇 信息与通信工程
- 521 篇 控制科学与工程
- 375 篇 电子科学与技术（可...
- 161 篇 机械工程
- 147 篇 动力工程及工程热...
- 98 篇 网络空间安全
- 97 篇 生物工程
- 91 篇 安全科学与工程
- 86 篇 仪器科学与技术
- 79 篇 建筑学
- 71 篇 土木工程
- 71 篇 生物医学工程（可授...
- 64 篇 化学工程与技术
- 57 篇 材料科学与工程（可...
- 54 篇 力学（可授工学、理...
- 54 篇 光学工程
1,330 篇 理学
- 955 篇 数学
- 213 篇 系统科学
- 163 篇 统计学（可授理学、...
- 156 篇 物理学
- 120 篇 生物学
- 67 篇 化学
1,047 篇 管理学
- 827 篇 管理科学与工程(可...
- 409 篇 工商管理
- 253 篇 图书情报与档案管...
120 篇 经济学
- 120 篇 应用经济学
71 篇 法学
- 58 篇 社会学
45 篇 教育学
40 篇 医学
26 篇 农学
14 篇 文学
9 篇 军事学
2 篇 艺术学

主题

1,688 篇 application soft...
898 篇 distributed comp...
873 篇 computer science
873 篇 computer archite...
848 篇 hardware
728 篇 concurrent compu...
668 篇 parallel process...
558 篇 software enginee...
557 篇 computational mo...
446 篇 real time system...
345 篇 runtime
326 篇 costs
324 篇 software systems
319 篇 processor schedu...
317 篇 fault tolerance
315 篇 resource managem...
292 篇 software
289 篇 operating system...
287 篇 scalability
283 篇 bandwidth

机构

35 篇 school of comput...
23 篇 ibm thomas j. wa...
22 篇 department of co...
21 篇 school of softwa...
20 篇 college of compu...
20 篇 school of electr...
19 篇 state key labora...
19 篇 department of el...
19 篇 department of co...
18 篇 department of co...
16 篇 school of comput...
15 篇 department of el...
15 篇 department of co...
15 篇 department of co...
15 篇 department of co...
14 篇 department of el...
14 篇 beijing jiaotong...
13 篇 department of co...
13 篇 school of comput...
13 篇 institute of inf...

作者

20 篇 m. takizawa
20 篇 rajkumar buyya
20 篇 k.h. kim
18 篇 dhabaleswar k. p...
18 篇 jack dongarra
17 篇 m. kandemir
17 篇 h.j. siegel
16 篇 a. choudhary
14 篇 m. parashar
14 篇 howard jay siege...
13 篇 l.r. welch
13 篇 parashar manish
13 篇 gao guang r.
12 篇 dongarra jack
12 篇 h. casanova
12 篇 hari subramoni
12 篇 welch lonnie r.
12 篇 xiao qin
12 篇 maciejewski anth...
11 篇 jun wang

语言

10,664 篇 英文
37 篇 其他
34 篇 中文
1 篇 西班牙文
1 篇 法文
1 篇 葡萄牙文

检索条件"任意字段=International Symposium on Software Engineering for Parallel and Distributed Systems"

共 10737 条记录，以下是231-240 订阅

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

详细简洁

排序：

DAG Scheduling for Clustered Many-Core Processor Considering Execution-Time-Reduction Effectiveness 27

DAG Scheduling for Clustered Many-Core Processor Considering...

引用

27th IEEE/ACM international symposium on distributed Simulation and Real Time Applications, DS-RT 2023

作者： Nozaki, Yutaro Azumi, Takuya Graduate School of Science and Engineering Saitama University Japan

ISBN: (纸本)9798350337846

In recent years, there has been a surge in research on autonomous systems such as unmanned aerial vehicles and autonomous-driving systems. These systems require high computing power with low power consumption and strict real-time requirements. Correspondingly, clustered many-core processors are attracting attention as a solution to these requirements. In this study, we propose a core allocation method for DAG scheduling using clustered many-core processors. Specifically, we propose two methods for selecting nodes to be allocated based on the execution-time-reduction effectiveness, assuming that each node in the DAG can perform intra-node processing in parallel. In addition, we compared the response times obtained from scheduling using each of the two methods to determine which method is superior. © 2023 IEEE.

关键词： Computing power

来源：评论

学校读者我要写书评

暂无评论

A High-Performance Data Verification Mechanism in Blockchain-Based IoT systems 21

A High-Performance Data Verification Mechanism in Blockchain...

引用

21st IEEE international symposium on parallel and distributed Processing with Applications, 13th IEEE international Conference on Big Data and Cloud Computing, 16th IEEE international Conference on Social Computing and Networking and 13th international Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2023

作者： Zhang, Jingyu Zhou, Pian Sun, Yongtao Luo, Lailong Changsha University of Science and Technology School of Computer and Communication Engineering Changsha China National University of Defense Technology Science and Technology on Information Systems Engineering Laboratory School of Systems Engineering Changsha China

ISBN: (纸本)9798350329223

With the rapid development of the distributed network and communication, the Internet of Things (IoT) systems have been applied to all walks of life. Blockchain technology is one of the most popular research fields recently, which can provide a reliable storage solution and solve information security issues for IoT systems. Transaction information is the most critical fundamental data in the blockchain systems, which needs to be verified to avoid being tempered with by malicious nodes in the process of transmission. With the exponential growth of the number of IoT devices, the limitations of the current storage structure put too much pressure on the system nodes. How to improve verification efficiency has become a key challenge. To alleviate this problem, this paper proposes a novel high-performance verification mechanism for data security protection in blockchain-based IoT systems. We design a new storage structure based on Huffman trunk tree (HTT), and conduct the quantitative analysis of transaction weights. Transactions are stored in full-featured devices in the form of Huffman Merkle tree (HMT), and only the content of HTT is saved in lightweight devices. Finally, the performance superiority of our mechanism is proved through theoretical analysis and experimental evaluation. In blockchain-based IoT systems, our mechanism significantly reduces the data transmission cost and computation overhead, effectively improving the efficiency of data verification. © 2023 IEEE.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

Multi-view Hypergraph-based Self-supervised Learning Model for Web API Recommendation 22

Multi-view Hypergraph-based Self-supervised Learning Model f...

引用

22nd IEEE international symposium on parallel and distributed Processing with Applications, ISPA 2024

作者： Shen, Jiexun Li, Dongfan Chen, Wanjun Xiao, Yong Kang, Guosheng Liu, Jianxun Peng, Zhenlian School of Computer Science and Engineering Hunan University of Science and Technology Xiangtan China Hunan Provincial Key Lab. for Services Computing and Novel Software Technology HNUST Xiangtan China

ISBN: (纸本)9798331509712

With the rapid development of service computing technology, how to recommend the desirable Web APIs to developers from the large number of APIs is a challenge. The traditional methods based on collaborative filtering are limited by data sparsity. With the support of multi-dimensional relational feature modeling, graph neural network-based methods are proposed to mitigate data sparsity, but their convolution nature may amplify the noise effect. Therefore, how to simultaneously reduce the impact of sparsity and noisy data has been an open question in the field of API recommendation. To address the problem, this paper proposes a self-supervised learning method based on multi-view hypergraph for Web API recommendation. First, the Mashup-API interaction graph is transformed into a hypergraph, and the hyperedges are used as intermediate hubs to transfer messages between nodes, maintaining the global collaboration effect between Mashup and API nodes. Then, a multi-view strategy is adopted to generate embeddings of Mashups and APIs through information fusion, by which recommendation probability is derived by dot product between the embeddings of Mashups and Web APIs. To train the model parameters effectively, a self-supervised learning method is used to reduce the effect of noisy data to improve the embeddings. Extensive experiments are conducted on a real-world dataset, and the experimental results show that the proposed model outperforms the baselines. © 2024 IEEE.

关键词： Self-supervised learning

来源：评论

学校读者我要写书评

暂无评论

Real Time Measurement Analysis of a Secured Wireless Communication Testbed

Real Time Measurement Analysis of a Secured Wireless Communi...

引用

parallel Computing and distributed systems (PCDS), international symposium on

作者： Sneha Chennamsetty Subbarao Boddu Electrical and Computer Engineering Mahindra University Hyderabad India

ISBN: (数字)9798350349658

ISBN: (纸本)9798350349665

The idea and implementation of a testbed are essen-tial steps in assessing and improving the functionality of wireless systems in real-time scenarios. In this research, we proposed a testbed for establishing a secure wireless connection for data security. The proposed testbed's software-defined radios (SDRs) enable realistic wireless environment modeling and dynamic radio characteristic adjustment. We safely and securely send (transmit) and receive the modulated binary data using our proposed testbed, and we present the results in real-time at the receiving end. In order to mimic real-time 4G and 5G cellular networks, the community of research that handles the wireless system design can benefit greatly from using our proposed testbed as an educational and research tool. Additionally, this can be used to test the solutions, protocols, and algorithms.

关键词： Wireless communication Cellular networks Time-frequency analysis 5G mobile communication Quadrature amplitude modulation Real-time systems Time measurement Communication system security Testing software radio

来源：评论

学校读者我要写书评

暂无评论

P-RECS '22: 5th international Workshop on Practical Reproducible Evaluation of Computer systems 22

P-RECS '22: 5th International Workshop on Practical Reproduc...

引用

31st international symposium on High-Performance parallel and distributed Computing (HPDC)

作者： Lofstead, Jay Maltzahn, Carlos Jimenez, Ivo Sandia Natl Labs Ctr Comp Res Albuquerque NM 87123 USA Univ Calif Santa Cruz Ctr Res Open Source Software Santa Cruz CA USA

ISBN: (纸本)9781450391993

Reproducibility in computer science is often seen as a difficult to impossible task requiring bespoke hardware and software that others simply cannot field. Because of this, alternative approaches to reproducibility for computer systems is required. This workshop offers experiences and innovations in practical approaches for reproducibility for computer systems. The workshop also serves as the home of the ACM Exploratory Interest Group on Reproducibility and a community gathering for those interested in reproducible computer science research.

关键词： reproducibility computer systems scientific software verification and validation

来源：评论

学校读者我要写书评

暂无评论

Secure parallel Outsourcing Scheme for Large-scale Matrix Multiplication on distributed Cloud Servers 29

Secure parallel Outsourcing Scheme for Large-scale Matrix Mu...

引用

29th IEEE international Conference on parallel and distributed systems, ICPADS 2023

作者： Wang, Yinlong Tao, Yunting Kong, Fanyu Gu, Zhaoquan Yu, Jia Zhang, Hanlin Binzhou Polytechnic College of Information Engineering Shandong Binzhou256603 China Shandong University School of Software Shandong Jinan250101 China Shandong Sansec Information Technology Co. Ltd Jinan250101 China School of Computer Science and Technology Shenzhen China Qingdao University College of Computer Science and Technology Shandong Qingdao266071 China

ISBN: (纸本)9798350330717

Large-scale matrix multiplication is a computational bottleneck in various applications including artificial intelligence and machine learning. Given the time complexity of O(n3) for matrix multiplication, large matrix computation is exceedingly time-consuming for the client-side user. By outsourcing this task to cloud servers with substantial computational resources, we can significantly reduce the client-side computational time. This paper presents a parallel matrix multiplication outsourcing scheme based on Cannon's algorithm. By distributing the matrix across multiple cloud servers for parallel computation, we can get a significant efficiency speedup. Our scheme employs multiple cloud servers to perform parallel matrix computation, reducing the computational load by 89-97% when utilizing 4-16 servers as opposed to using a single server. We provide a comprehensive analysis of the scheme's correctness, security, and verifiability, substantiating the benefits of our approach through the experimental data. © 2023 IEEE.

关键词： Cloud computing Data privacy Matrix multiplication parallel outsourcing

来源：评论

学校读者我要写书评

暂无评论

TransFlowLog: Log Anomaly Detection Based on Transformer Encoder and Interflow Decoder 29

TransFlowLog: Log Anomaly Detection Based on Transformer Enc...

引用

29th IEEE international Conference on parallel and distributed systems, ICPADS 2023

作者： Lin, Zaichao Lu, Siyang Han, Ningning Wang, Dongdong Wei, Xiang Wang, Mingquan Beijing Jiaotong University School of Computer and Information Technology Beijing China University of Central Florida Department of Civil Environmental and Construction Engineering OrlandoFL United States Beijing Jiaotong University School of Software Engineering Beijing China China Academy of Launch Vehicle Technology Beijing China

ISBN: (纸本)9798350330717

Logs are valuable resources that record the health status of systems. Analyzing logs to uncover and investigate abnormal behaviors has become an essential approach of ensuring system security. However, some potential anomalies may be missed when performing log anomaly detection, and even a seemingly insignificant abnormal behavior can lead to a series of severe anomalies or continuous negative impact on the performance of systems. Therefore, the reliability and security of systems are facing significant challenges. To address this issue, in this study, we propose TransFlowLog, an Encoder-Decoder architecture-based approach for log anomaly detection. It utilizes the Transformer Encoder, a state-of-the-art sequence modeling technique, to comprehensively understand contextual relationships using self-attention mechanism. Moreover, we introduce the Interflow Decoder, which considers information exchange between channels in embedded log sequences. The Interflow Decoder enhances the features encoded by the Transformer Encoder in both sequence and channel dimensions, thereby capturing interdependence between different channels. Comparative experiments conducted on three real-world datasets demonstrate the effectiveness of the proposed method, as it achieves higher F1-score and reduces the number of false negatives. © 2023 IEEE.

关键词： anomaly detection Encoder-Decoder architecture self-attention systems reliability

来源：评论

学校读者我要写书评

暂无评论

Research on Multi-vehicle Formation Control with the Assistance of the Characteristic Model in the Networked Environment 21

Research on Multi-vehicle Formation Control with the Assista...

引用

作者： Guo, Jin Wu, You Lei, Yi Liu, Guotan Du, Ronghua Changsha University of Science and Technology College of Automotive and Mechanical Engineering Changsha China

ISBN: (纸本)9798350329223

Aiming at the problem of multi-vehicle formation control, this paper uses the leader-follower method, and designs the control scheme based on the characteristic model theory. Through the multivariable golden section adaptive controller, the data-driven control of the Mecanum wheel vehicle is carried out in the network delay environment. The control scheme is simulated and analyzed. Under the influence of the random delay module, the multi-vehicle is capable of maintaining the desired formation and following the intended trajectory, and the controller debugging is simple and the control performance is excellent. © 2023 IEEE.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Combining Lossy Compression with Multi-level Caching for Data Staging over Network

Combining Lossy Compression with Multi-level Caching for Dat...

引用

1st international Conference on Smart Energy systems and Artificial Intelligence (SESAI)

作者： Aoyagi, Rei Takahashi, Keichi Shimomura, Yoichi Takizawa, Hiroyuki Tohoku Univ Grad Sch Informat Sci Sendai Miyagi Japan Tohoku Univ Cybersci Ctr Sendai Miyagi Japan

ISBN: (纸本)9798350364613;9798350364606

Researchers conduct post-processing on the simulation results by running an interactive data analysis tool on a High-Performance Computing (HPC) system installed at an HPC center and retrieving the post-processed results. Certain data analysis scenarios require to transfer the simulation results directly from the center. in such scenarios, a portion of the data would usually be streamed over the network to achieve interactivity. However, there still exist two challenges in maintaining interactivity: (1) limited network bandwidth and (2) long network latency. To tackle these challenges, we propose a system to enable interactive array analysis over the network. We employ error-bounded lossy compression to increase the effective network bandwidth. Furthermore, we employ multi-level caching to hide the network latency and combine prefetching to improve the cache hit ratio. The cache replacement and prefetching policies are designed considering the data access pattern of interactive analysis. We compared our proposed system with TileDB, one of the state-of-the-art array databases, by measuring the average latency for various access patterns. Compared to TileDB, the proposed system reduces the average latency by up to 91.6% by allowing 10% of error because the cache hit ratio was improved by more than 40% due to the proper cache replacement and prefetching policy and network transfer time was reduced more than 75% by using lossy compression.

关键词： HPC distributed Computing Data Staging Lossy Compression Interactive Analysis Bandwidth software Caching

来源：评论

学校读者我要写书评

暂无评论

Recent Advances in PRISMS-Plasticity software for Simulation of Deformation in Mg Alloys

Recent Advances in PRISMS-Plasticity Software for Simulation...

引用

Magnesium Technology symposium held at the TMS Annual Meeting and Exhibition, 2024

作者： Yaghoobi, Mohammadreza Berman, Tracy Chen, Zhe Tallman, Aaron Greeley, Duncan A. Pilipchuk, Michael Allison, John E. Sundararaghavan, Veera Department of Materials Science and Engineering University of Michigan Ann ArborMI United States Department of Mechanical and Materials Engineering Florida International University MiamiFL United States Department of Aerospace Engineering University of Michigan Ann ArborMI United States

ISBN: (纸本)9783031502392

An open-source parallel 3D crystal plasticity finite elementCrystal Plasticity Finite Element (CPFE) software package, PRISMS-PlasticityPRISMS-Plasticity, is presented here as a part of the overarching PRISMS Center integrated framework. A new PRISMS-Plasticity indentation module is integrated into the framework which can efficiently model indentation of large microstructuresMicrostructureof Mg alloysMagnesium alloys (Mg alloys). A new rate-dependent twinningTwinning-detwinning model is incorporated into the framework based on an integration point sensitive scheme to model Mg alloys. The model includes both kinematic and isotropic hardening in order to handle cyclic response of structural metals. PRISMS-PlasticityPRISMS-Plasticity TM is incorporated to rapidly simulate the effects of alloying on textureTexture development in Mg-Zn-Ca alloys. Finally, the PRISMS-Plasticity software has been integrated with the PRISMS-PF phase-field framework to model twinningTwinningwithin Mg alloysMagnesium alloys (Mg alloys). © The Minerals, Metals & Materials Society 2024.

关键词： Open systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 20 21 22 23 24 25 26 27 28 29 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：