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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是241-250 订阅

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

详细简洁

排序：

Research on Dynamic Fuzzy Testing in Securing Cloud Infrastructure based on Deep Learning 3

Research on Dynamic Fuzzy Testing in Securing Cloud Infrastr...

引用

3rd international Conference on Cloud Computing, Big Data Application and software engineering, CBASE 2024

作者： Dan, Ningyun Zhao, Lun Pan, Wenjin Cai, Yan College of Physics and Information Engineering Zhaotong University Zhaotong657000 China Yunnan Electric Test & Research Institute Group Co. Ltd. China

ISBN: (纸本)9798331506582

As cloud infrastructure assumes an increasingly pivotal role in contemporary computing environments, ensuring its security becomes a matter of paramount importance. As a prevalent vulnerability detection technology, traditional fuzz testing encounters the challenge of scalability in the context of the intricate and evolving nature of cloud computing systems. Our approach employs deep neural networks (DNNs) to analyze the behavior of diverse software components within cloud systems. It incorporates multi-dimensional data, including system logs, network traffic, and resource utilization in virtualized environments. The neural network is capable of identifying potential vulnerability points through an automated process. To generate effective test cases, we introduce a reinforcement learning framework based on a policy gradient algorithm. This framework enables an intelligent agent to interact with the system in order to obtain feedback and subsequently update the policy in order to progressively generate more aggressive test cases. The framework is designed with an adaptive reward mechanism that not only encourages triggering crashes but also focuses on edge use cases that reveal system bottlenecks, thereby improving vulnerability coverage. Furthermore, in consideration of the dynamic nature of the cloud environment, we have developed a distributed test architecture that enables the parallel deployment of tasks in virtual machines or containers, simulates multi-tenancy and dynamic load change scenarios, and introduces a vulnerability detection mechanism at the virtualization layer. The proposed model is capable of adaptively generating highly targeted test cases and optimizing the test strategy through continuous learning, thereby markedly enhancing the detection capability of complex vulnerabilities in cloud infrastructure. © 2024 IEEE.

关键词： Cloud security

来源：评论

学校读者我要写书评

暂无评论

Helping Faculty Teach software Performance engineering

Helping Faculty Teach Software Performance Engineering

引用

IEEE international symposium on parallel and distributed Processing Workshops and Phd Forum (IPDPSW)

作者： John D. Owens Bruce Hoppe Dept. of Electrical & Computer Engr. University of California Davis Davis California USA Connective Associates Arlington Massachusetts USA

ISBN: (数字)9798350364606

ISBN: (纸本)9798350364613

Over the academic year 2022–23, we discussed the teaching of software performance engineering with more than a dozen faculty across North America and beyond. Our outreach was centered on research-focused faculty with an existing interest in this course material. These discussions revealed an enthusiasm for making software performance engineering a more prominent part of a curriculum for computer scientists and engineers. Here, we discuss how MIT's longstanding efforts in this area may serve as a launching point for community development of a software performance engineering curriculum, challenges in and solutions for providing the necessary infrastructure to universities, and future directions.

关键词： Industries Computer science distributed processing Conferences Government Education Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

Modeling Multi-Threaded Aggregated I/O for Asynchronous Checkpointing on HPC systems 22

Modeling Multi-Threaded Aggregated I/O for Asynchronous Chec...

引用

22nd international symposium on parallel and distributed Computing, ISPDC 2023

作者： Gossman, Mikaila J. Nicolae, Bogdan Calhoun, Jon C. Clemson University Holcombe Department of Electrical and Computing Engineering ClemsonSC29634 United States Argonne National Laboratory Mathematics and Computer Science Division LemontIL60439 United States

ISBN: (纸本)9798350341270

HPC systems encompass more components with each new generation. As a result, the process of interacting with stable storage systems like parallel file systems (PFS) becomes increasingly difficult. Larger systems often result in more frequent failures, increasing the need and frequency to incorporate fault-tolerant mechanisms. One example is checkpoint-restart (C/R), where applications or systems save their data to non-volatile storage devices, such as a PFS. On failure, the system or application is restored to a saved state and computation continues. Today, asynchronous C/R is gaining traction for its ability to checkpoint data to permanent storage concurrently with the application. However, asynchronous C/R brings about many new challenges. For starters, asynchronous C/R introduces complex resource contention between the application and the C/R implementation. Additionally, some implementations adopt file-per-process writing strategies, which overwhelm PFS' at high core counts. In this work, we explore how multi-threaded POSIX I/O impacts aggregated throughput. To this extent we characterize the influence of different I/O parameters, such as the number of writer threads and how they access storage devices, has on aggregated I/O. We use the information gathered in this study to identify best practices when performing aggregated I/O as a first step in designing an efficient I/O aggregation scheme for asynchronous C/R. © 2023 IEEE.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Debugging approach for IEC 61499 control applications in FBME 32

Debugging approach for IEC 61499 control applications in FBM...

引用

32nd IEEE international symposium on Industrial Electronics, ISIE 2023

作者： Akifev, Daniil Liakh, Tatiana Ovsiannikova, Polina Sorokin, Radimir Vyatkin, Valeriy Lulea Tekniska Universitet Department of Computer Science Computer and Space Engineering Sweden Aalto University Department of Electrical Engineering and Automation Espoo Finland

ISBN: (纸本)9798350399714

With the increase in the use of distributed control systems in industrial automation, it is becoming more challenging to analyze the behavior of the system to evaluate its quality. The lack of data coming from the system during operation also complicates debugging and error finding in the system software. The paper presents a quality control method of IEC 61499 industrial control software. The proposed method is based on a combination of several techniques: monitoring of the system behavior, recovering missing data with a simulator, and explanation of the recovered traces by highlighting a sequence of events that led to the explored state of the system. The paper integrates the method into modular IDE for IEC 61499 applications FBME. We also demonstrate the method on a simple example. © 2023 IEEE.

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

Demeter: Resource-Efficient distributed Stream Processing under Dynamic Loads with Multi-Configuration Optimization 24

Demeter: Resource-Efficient Distributed Stream Processing un...

引用

15th ACM/SPEC international Conference on Performance engineering (ICPE)

作者： Geldenhuys, Morgan K. Scheinert, Dominik Kao, Odej Thamsen, Lauritz Tech Univ Berlin Berlin Germany Univ Glasgow Glasgow Lanark Scotland

ISBN: (纸本)9798400704444

distributed Stream Processing (DSP) focuses on the near real-time processing of large streams of unbounded data. To increase processing capacities, DSP systems are able to dynamically scale across a cluster of commodity nodes, ensuring a good Quality of Service despite variable workloads. However, selecting scaleout configurations which maximize resource utilization remains a challenge. This is especially true in environments where workloads change over time and node failures are all but inevitable. Furthermore, configuration parameters such as memory allocation and check-pointing intervals impact performance and resource usage as well. Sub-optimal configurations easily lead to high operational costs, poor performance, or unacceptable loss of service. In this paper, we present Demeter, a method for dynamically optimizing key DSP system configuration parameters for resource efficiency. Demeter uses Time Series Forecasting to predict future workloads and Multi-Objective Bayesian Optimization to model runtime behaviors in relation to parameter settings and workload rates. Together, these techniques allow us to determine whether or not enough is known about the predicted workload rate to proactively initiate short-lived parallel profiling runs for data gathering. Once trained, the models guide the adjustment of multiple, potentially dependent system configuration parameters ensuring optimized performance and resource usage in response to changing workload rates. Our experiments on a commodity cluster using Apache Flink demonstrate that Demeter significantly improves the operational efficiency of long-running benchmark jobs.

关键词： distributed Stream Processing Cluster Resource Management Performance Profiling Performance Modeling Runtime Optimization Time Series Forecasting Cloud Computing

来源：评论

学校读者我要写书评

暂无评论

Brief Industry Paper: Towards Efficient Task Scheduling for AUTOSAR using parallel Pruning 44

Brief Industry Paper: Towards Efficient Task Scheduling for ...

引用

44th IEEE Real-Time systems symposium, RTSS 2023

作者： Yang, Yanxing Zhang, Nan Yan, Dengke Wei, Xian Zhou, Junlong Liu, Hong Chen, Mingsong MoE Engineering Research Center of SW/HW Co-Design Technology and Application East China Normal University China School of Computer Science and Engineering Nanjing University of Science and Technology China Shanghai Uni-Sentry Intelligent Technology Co. Ltd. China

ISBN: (纸本)9798350328578

As a standardized software framework and open E/E system architecture, the AUTomotive Open System ARchitecture (AUTOSAR) has been widely applied to autonomous driving systems to enable real-time control. However, due to the increasing design complexity and the lack of efficient algorithms and design automation tools, it is difficult to quickly figure out an optimal task scheduling scheme for an AUTOSAR-based system. To address this problem, we introduce a novel task scheduling method that can parallelly search for an optimal solution with the help of our proposed pruning strategy. Experimental results on a real-world AUTOSAR-based autonomous driving system demonstrate that our approach can achieve much better task scheduling solutions than the ones obtained manually and significantly reduce the overall task scheduling time. © 2023 IEEE.

关键词： Real time control

来源：评论

学校读者我要写书评

暂无评论

CTIFuser: Cyber Threat Intelligence Fusion via Unsupervised Learning Model 22

CTIFuser: Cyber Threat Intelligence Fusion via Unsupervised ...

引用

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

作者： Ma, Chunyan Jiang, Zhengwei Jiang, Jun Yang, Peian Cui, Mengjiao Dong, Fangming Feng, Huamin Chinese Academy of Sciences Institute of Information Engineering Beijing China University of Chinese Academy of Sciences School of Cyber Security Beijing China Beijing Electronic Science and Technology Institute Beijing China

ISBN: (纸本)9798331509712

Cyber attack campaigns are becoming increasingly complex and severe, causing significant impacts on institutions and individuals. Cyber Threat Intelligence (CTI) provides important evidential knowledge about attackers and is critical to the shift from reactive to proactive defense against cyber attacks. Attack detection based on Indicators of Compromise (IOCs), a type of CTI, is vulnerable to the limitation of insufficient context of attack scenarios. In contrast, attack behavior intelligence is associated with information on attackers' techniques, targets, and intentions, providing a solid foundation for security practitioners to conduct attack investigations or other applications. Many current CTI mining systems are limited to extracting CTI from a single source, leading to challenges such as fragmented attack behavior view and low-value density. To address these issues, we propose an unsupervised fusion framework named CTIFuser, which includes a comprehensive pipeline of four subtasks aimed at mining and fusing multi-source attack behaviors at the attack technique level. In our evaluation of 739 real-world CTI reports from 542 sources, experimental results demonstrate that CTIFuser can obtain a complete view of the attack behaviors at the attack technique level. © 2024 IEEE.

关键词： Cyber attacks

来源：评论

学校读者我要写书评

暂无评论

A Space-Efficient Digital Wallet Service in Blockchain systems 21

A Space-Efficient Digital Wallet Service in Blockchain Syste...

引用

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 Yang, Jin Wu, Chenghao 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

As an indispensable key network service in blockchain systems, digital wallet service is crucial for promoting the widespread application of blockchain technology and the development of the digital economy. However, with the increasing popularity of blockchain technology, the scale of the Unspent Transaction Output (UTXO) dataset continues to increase. A significant number of low-value UTXOs occupied the main dataset space, leading to blockchain dataset expansion. This has affected the performance of digital wallet service and the overall system performance. To address this issue, this paper proposes a Space-Efficient Digital Wallet (SEDW) service in blockchain systems. This strategy employs a Multidimensional Space Simulated Annealing (MSA) algorithm to obtain transaction input UTXOs. MSA can be combined with the UTXO dynamic adjustment mechanism, achieving the rapid consumption of low-value UTXOs without increasing the transaction fees. Experimental results demonstrate that the proposed SEDW strategy effectively optimized the selection of UTXOs in blockchain systems. It alleviated the expansion issue of the UTXO dataset, and controlled the generation of transaction fees, thereby achieving performance enhancement of digital wallet service. © 2023 IEEE.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

software and Hardware Processing Method for Blockchain Light Node SPV Verification 21

Software and Hardware Processing Method for Blockchain Light...

引用

作者： Ma, Zhan'Gang Yan, Jiandong Zou, Feng Cao, Xixin Peking University School of Software and Microelectronics Dept. Integrated Circuits and Intelligent Systems Beijing China Ruiyuan Venture Capital Co. Ltd. Changzhou Zhonglou Jinlong Holding Group Dept. Development Planning and Strategic Inverstment Changzhou China

ISBN: (纸本)9798350329223

With the application of blockchain light nodes in embedded devices, how to alleviate computing pressure brought by complex operations such as transaction's SPV Verification for CPU of embedded devices and improve the performance of devices in these aspects has gradually become a research topic in industry and academia. This paper proposes a series of methods to improve the performance of blockchain SPV Verification from the perspectives of system architecture and hash computing unit: (1) According to the computational characteristics of SPV Verification, this paper customizes macro instructions and microinstructions for the coprocessor to meet the requirements of flexibility;The built-in dedicated cache holds transaction data fetched from external memory and intermediate data generated by internal Hash Computing Unit, which not only prepares transaction data for hash computation, but also avoids frequent access to the bus and external memory. (2) Techniques like two-round unfolded computing, timing-balanced pipeline architecture and optimized adders are adopted to improve the performance of SHA256 computation. (3) When double hash computing is required for transactions, Hash Computing Unit can directly perform the second hash computation based on the first hash computation, reducing the frequency of accessing to external memory, thereby improving the performance to a certain extent. Through these methods, the performance of the hardware coprocessor for SVP verification of transactions is more than double that of traditional solutions. © 2023 IEEE.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

Sunstone: A Scalable and Versatile Scheduler for Mapping Tensor Algebra on Spatial Accelerators

Sunstone: A Scalable and Versatile Scheduler for Mapping Ten...

引用

IEEE international symposium on Performance Analysis of systems and software (ISPASS)

作者： Olyaiy, MohammadHossein Ng, Christopher Fedorova, Alexandra (Sasha) Lis, Mieszko Univ British Columbia Vancouver BC Canada

ISBN: (纸本)9798350397390

Tensor algebra, the main component of several popular machine learning techniques, benefits from modern accelerators due to the massive parallelism and data reuse available. To achieve the benefits, however, optimizing the dataflow is crucial: prior works showed that 19x energy savings are possible by tuning the dataflow. This optimization is challenging because: (1) the optimization space for modern chip architectures with several levels of memory and multiple levels of spatial processing is vast, and (2) distinct tensor computations follow different memory access and reuse patterns. In this manuscript, we algebraically analyze the possible reuse when executing tensor workloads on an accelerator. Based on our analysis, we develop several principles that significantly reduce the dataflow optimization space even for modem, complex chip architectures. Moreover, these principles are transferable to various tensor workloads with different memory access patterns. Compared to prior work, our techniques can find dataflow for typical tensor workloads up to 800x faster and with up to 1.9x better energy-delay products.

关键词： dataflow computing accelerator architectures scheduling algorithms neural network hardware parallel processing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：