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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

169 篇 会议
69 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

98 篇 工学
- 74 篇 计算机科学与技术...
- 48 篇 软件工程
- 16 篇 信息与通信工程
- 11 篇 生物工程
- 9 篇 网络空间安全
- 8 篇 电气工程
- 7 篇 控制科学与工程
- 5 篇 机械工程
- 4 篇 动力工程及工程热...
- 4 篇 电子科学与技术（可...
- 4 篇 化学工程与技术
- 2 篇 轻工技术与工程
- 2 篇 交通运输工程
- 2 篇 安全科学与工程
34 篇 理学
- 15 篇 生物学
- 13 篇 数学
- 5 篇 化学
- 3 篇 统计学（可授理学、...
- 2 篇 大气科学
- 2 篇 系统科学
- 1 篇 物理学
- 1 篇 天文学
30 篇 管理学
- 26 篇 管理科学与工程(可...
- 7 篇 工商管理
- 4 篇 图书情报与档案管...
6 篇 法学
- 5 篇 社会学
- 1 篇 法学
3 篇 经济学
- 3 篇 应用经济学
3 篇 农学
- 2 篇 作物学
2 篇 医学
- 2 篇 基础医学(可授医学...

主题

30 篇 grid computing
25 篇 virtual machinin...
20 篇 peer to peer com...
19 篇 servers
16 篇 computers
15 篇 computer science
15 篇 cloud computing
14 篇 resource managem...
13 篇 bandwidth
12 篇 application soft...
12 篇 kernel
11 篇 protocols
11 篇 virtual machine ...
11 篇 hardware
10 篇 scalability
9 篇 operating system...
8 篇 computational mo...
8 篇 computer network...
8 篇 large-scale syst...
7 篇 access control

机构

52 篇 services computi...
38 篇 school of comput...
38 篇 school of cyber ...
28 篇 national enginee...
26 篇 hubei key labora...
26 篇 hubei engineerin...
24 篇 services computi...
24 篇 cluster and grid...
17 篇 school of softwa...
15 篇 school of inform...
12 篇 national enginee...
11 篇 services computi...
11 篇 cluster and grid...
8 篇 huazhong univers...
8 篇 services computi...
8 篇 jinyinhu laborat...
7 篇 cluster and grid...
6 篇 key laboratory o...
5 篇 cluster and grid...
5 篇 nanyang technolo...

作者

129 篇 hai jin
44 篇 jin hai
25 篇 xiaofei liao
24 篇 deqing zou
20 篇 song wu
18 篇 hu shengshan
14 篇 zhang leo yu
13 篇 li minghui
13 篇 fangming liu
12 篇 xuanhua shi
11 篇 zou deqing
11 篇 zhou ziqi
8 篇 qin zhang
8 篇 wan wei
8 篇 ran zheng
8 篇 hong yao
7 篇 kan hu
7 篇 long zheng
7 篇 shi xuanhua
7 篇 wang xianlong

语言

224 篇 英文
12 篇 中文
4 篇 其他

检索条件"机构=Laboratory of Services Computing Technology and System"

共 240 条记录，以下是61-70 订阅

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

详细简洁

排序：

Towards Effective and Efficient Error Handling Code Fuzzing Based on Software Fault Injection 31

Towards Effective and Efficient Error Handling Code Fuzzing ...

引用

31st IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024

作者： Chen, Kang Wen, Ming Jia, Haoxiang Wu, Rongxin Jin, Hai Wuhan430074 China Jin YinHu Laboratory Wuhan430074 China School of Informatics Xiamen University Xiamen361005 China School of Computer Science and Technology HUST Wuhan430074 China National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab China Hubei Engineering Research Center on Big Data Security Hubei Key Laboratory of Distributed System Security China Cluster and Grid Computing Lab China

ISBN: (纸本)9798350330663

Software systems often encounter various errors or exceptions in practice, and thus proper error handling code is essential to ensure the reliability of software systems. Unfortunately, error handling code is often bug-prone, while sufficiently testing them is challenging as such code often cannot be triggered under normal conditions. Motivated by this, recent studies have proposed to leverage software fault injection (SFI) based fuzzing to discover potential bugs in complicated error handling code. Despite the promising results achieved, their effectiveness and efficiency are still compromised in practice due to the huge search space of error sites, inadequate fuzzing guidance, and the overhead induced by context-sensitive SFI. To achieve effective and efficient testing of error handling code, this study presents AFL-FI, which first utilizes a similarity-based method to identify suspicious error sites, and then incorporates the idea of error site coverage to guide the fuzzing process. Finally, the design of lightweight context-sensitive SFI enables AFL-FI to execute test cases efficiently. We evaluate AFL-FI on eight large-scale open-source projects, and the results show that it can outperform existing state-of-the-art fuzzing tools significantly in terms of branch code coverage. More importantly, AFL-FI has discovered 13 previously unknown bugs, and all of them have been confirmed while 12 of them have been fixed. Besides, our evaluation also demonstrates that all the key designs of AFL-F I are effective that contribute significantly to its overall performance. © 2024 IEEE.

关键词： Errors

来源：评论

学校读者我要写书评

暂无评论

Intersecting-Boundary-Sensitive Fingerprinting for Tampering Detection of DNN Models 41

Intersecting-Boundary-Sensitive Fingerprinting for Tampering...

引用

41st International Conference on Machine Learning, ICML 2024

作者： Bai, Xiaofan He, Chaoxiang Ma, Xiaojing Zhu, Bin Benjamin Jin, Hai School of Cyber Science and Engineering Huazhong University of Science and Technology China National Engineering Research Center for Big Data Technology and System China Services Computing Technology and System Lab China Hubei Engineering Research Center on Big Data Security China Hubei Key Laboratory of Distributed System Security China Microsoft United States School of Computer Science and Technology Huazhong University of Science and Technology China Cluster and Grid Computing Lab China

Cloud-based AI services offer numerous benefits but also introduce vulnerabilities, allowing for tampering with deployed DNN models, ranging from injecting malicious behaviors to reducing computing resources. Fingerprint samples are generated to query models to detect such tampering. In this paper, we present Intersecting-Boundary-Sensitive Fingerprinting (IBSF), a novel method for black-box integrity verification of DNN models using only top-1 labels. Recognizing that tampering with a model alters its decision boundary, IBSF crafts fingerprint samples from normal samples by maximizing the partial Shannon entropy of a selected subset of categories to position the fingerprint samples near decision boundaries where the categories in the subset intersect. These fingerprint samples are almost indistinguishable from their source samples. We theoretically establish and confirm experimentally that these fingerprint samples' expected sensitivity to tampering increases with the cardinality of the subset. Extensive evaluation demonstrates that IBSF surpasses existing state-of-the-art fingerprinting methods, particularly with larger subset cardinality, establishing its state-of-the-art performance in black-box tampering detection using only top-1 labels. The IBSF code is available at: https://***/CGCL-codes/IBSF. Copyright 2024 by the author(s)

关键词： HTTP

来源：评论

学校读者我要写书评

暂无评论

Collaborative wi-fi fingerprinting indoor positioning using near relation 24

Collaborative wi-fi fingerprinting indoor positioning using ...

引用

2020 24th ISPRS Congress - Technical Commission IV on Spatial Information Science

作者： Wang, Y. Wang, W. Li, X. Zhang, W. Guo, R. National Engineering Laboratory for Big Data System Computing Technology Guangdong Key Laboratory of Urban Informatics Shenzhen Key Laboratory of Spatial Smart Sensing and Services Research Institute for Smart Cities School of Architecture and Urban Planning Shenzhen University Shenzhen China

Indoor positioning is of great importance to the era of mobile computing. Currently, much attention has been paid to RSS-based location for that it can provide position information without additional equipment. However, this method suffers from many challenges: (1) fingerprint ambiguity;(2) labor-intensive of fingerprint collection;(3) low efficiency of fingerprint matching. To get over these drawbacks, we provide a collaborative WiFi fingerprinting indoor positioning method using near relation. The base idea of this method is that interpolation method is used to enrich sparse Wi-Fi fingerprint. Near relation boundary is provided and Wi-Fi fingerprints is constrained to this region to reduce fingerprint ambiguity, which also can improve the efficiency of fingerprint matching. Extensive experiments show that a positioning accuracy of 3.8m can be achieved with the near relation under 1m interpolation density. © 2020 Authors.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

VRFPS: A Novel Virtual Machine-Based Real-time File Protection system

VRFPS: A Novel Virtual Machine-Based Real-time File Protecti...

引用

International Conference on Software Engineering Research, Management and Applications (SERA)

作者： Feng Zhao Yali Jiang Guofu Xiang Hai Jin Wenbin Jiang Services Computing Technology and System Laboratory Cluster and Grid Computing Laboratory School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China

With the development of virtualization technology, file protection in virtual machine, especially in guest OS, becomes more and more important. Traditional host-based file protection system resides the critical modules in monitored system, which is easily explored and destroyed by malwares. Moreover, in order to protect the multiple operation systems running on the same platform, it is necessary to install independent file protection system for each of them, which greatly wastes computing resources and brings serious performance overhead. In this paper, a novel VM-based real-time file protection system, named VRFPS, is proposed to solve these problems. First, virtual machine monitor introspects all file operations of guest OS. Then, semantic gap between disk block and logic files is narrowed by blktap. Finally, a virtual sandbox is implemented in privileged domain to prevent protected files in guest domain from modifying illegally. Our approach is highly isolated, transparent and without modification on virtual machine monitor and guest OS. The experimental results show that the presented system is validate and of low performance overhead.

关键词： Real time systems Protection Virtual machining Kernel Operating systems Virtual machine monitors Application virtualization Data security Access control Software engineering

来源：评论

学校读者我要写书评

暂无评论

Fast Triangle Counting on GPU

Fast Triangle Counting on GPU

引用

IEEE Conference on High Performance Extreme computing (HPEC)

作者： Chuangyi Gui Long Zheng Pengcheng Yao Xiaofei Liao Hai Jin National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Laboratory Cluster and Grid Computing Laboratory Huazhong University of Science and Technology Wuhan China

Triangle counting is one of the most basic graph applications to solve many real-world problems in a wide variety of domains. Exploring the massive parallelism of the Graphics Processing Unit (GPU) to accelerate the triangle counting is prevail. We identify that the stat-of-the-art GPU-based studies that focus on improving the load balancing still exhibit inherently a large number of random accesses in degrading the performance. In this paper, we design a prefetching scheme that buffers the neighbor list of the processed vertex in advance in the fast shared memory to avoid high latency of random global memory access. Also, we adopt the degree-based graph reordering technique and design a simple heuristic to evenly distribute the workload. Compared to the state-of-the-art HEPC Graph Challenge Champion in the last year, we advance to improve the performance of triangle counting by up to 5.9× speedup with> 109 TEPS on a single GPU for many large real graphs from graph challenge datasets.

关键词： Graphics processing units Prefetching Parallel processing Indexes Acceleration Optimization

来源：评论

学校读者我要写书评

暂无评论

Yarqs: Yet Another Range Queries Schema in DHT Based P2P Network

Yarqs: Yet Another Range Queries Schema in DHT Based P2P Net...

引用

International Conference on Computer and Information technology (CIT)

作者： Hao Zhang Hai Jin Qin Zhang Services Computing Technology and System Laboratory Cluster and Grid Computing Laboratory School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China

Range query in DHT based P2P network is a hot topic in recent researches. The hashing function in DHT protocols makes the data hard to keep their original order relationship. Hence range queries for such networks become difficult. This paper presents the design of Yarqs-a new schema to achieve range queries in DHT based P2P networks. By using the inherent characteristics of DHT based networks, Yarqs catches the data pass the nodes and organizes them as a cache network. The range queries are deployed over the cache network. Yarqs does not change the design of the DHT overlay and builds the architecture for range queries by using the historical DHT queries data. Yarqs supports inherent load balancing. We also study the performance of Yarqs in evaluation section. The experiments to check the influences of different parameters of Yarqs are deployed and analyzed.

关键词： Load management Peer to peer computing Data structures Protocols Grid computing Computer networks Information technology Computer science Dictionaries Costs

来源：评论

学校读者我要写书评

暂无评论

Adaptive audio-aware scheduling in Xen virtual environment

Adaptive audio-aware scheduling in Xen virtual environment

引用

IEEE/ACS International Conference on Computer systems and Applications

作者： Huacai Chen Hai Jin Kan Hu Minhao Yuan Services Computing Technology and System Laboratory Cluster and Grid Computing Laboratory School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China

With the development of client virtualization technology, it has become an important tendency to apply soft real-time applications in virtual environment. Currently, most schedulers in VMM (i.e., virtual machine monitor) take the fairly sharing of processor resources and load balancing as a main concern, while show less regard to application diversity and I/O responsiveness. This would be unable to meet the requirement for latency-sensitive tasks, such as audio application. Audio stream may suffer from severe input buffer overrun or output buffer underrun, especially in the case that there is no real-time guarantee on virtualized clients under heavy load. In this paper, we introduce experiments to illustrate that current scheduler in Xen does a poor job in guaranteeing fluent audio playing, and then formulate the fluent playing conditions a scheduler should satisfy. A scheduling strategy with soft real-time support is proposed to improve the responsiveness of latency-sensitive guests. To implement our proposition, we extend the Credit scheduler by using flexible time slice and real-time priority. Our solution is audio-aware and capable of adjusting the real-time priority of guest domains adaptively, achieving a better experience for end-users. The experimental results show that audio glitches can be completely eliminated via our extended scheduler even when the system load is very high.

关键词： Client virtualization flexible time slice latency-sensitive real-time priority

来源：评论

学校读者我要写书评

暂无评论

Content-Based Design Patent Image Retrieval Using Structured Features and Multiple Feature Fusion

Content-Based Design Patent Image Retrieval Using Structured...

引用

International Conference on Image and Graphics (ICIG)

作者： Lei Zhu Hai Jin Ran Zheng Qin Zhang Xia Xie Mingrui Guo Services Computing Technology and System Laboratory Cluster and Grid Computing Laboratory School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China

Traditional design patent verification based on manual comparison is too labor-intensive, time-consuming and subjective to be applied efficiently in practice. Design patent image retrieval system is designed to retrieve some similar patent images with much visual similarities. Structured features and multiple feature fusion are two main technologies to ensure the retrieval accuracy in the system. Block-wise Dense SIFT (Block-DSIFT), Pyramid Histograms of Orientation Gradients (PHOG), and GIST are proposed as main structured features. A multiple feature fusion algorithm for content-based design patent image retrieval is proposed to formulate the fusion as the linear combination of different matrixes which represent different feature distances between images to improve the precision of retrieval. The weights that reflect the significance of the features are determined by quadratic programming and can be solved efficiently. Experiments on a database of real design patent images show good efficiency and robustness of the proposed method and the system can be applied to design patent copyright validation.

关键词： Patents Feature extraction Histograms Image retrieval Shape Measurement Image color analysis

来源：评论

学校读者我要写书评

暂无评论

Optimize Performance of Virtual Machine Checkpointing via Memory Exclusion

Optimize Performance of Virtual Machine Checkpointing via Me...

引用

ChinaGrid Annual Conference (ChinaGrid)

作者： Haikun Liu Hai Jin Xiaofei Liao Services Computing Technology and System Laboratory Cluster and Grid Computing Laboratory School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China

Virtual machine (VM) level checkpoints bring several advantages which process-level checkpoint implementation can hardly provide: compatibility, transparence, flexibility, and simplicity. However, the size of VM-level checkpoint may be very large and even in the order of gigabytes. This disadvantage causes the VM checkpointing and restart time become very long. To reduce the size of VM checkpoint, this paper proposes a memory exclusion scheme using ballooning mechanism, which omits saving unnecessary free pages in the VM. We implement our prototype in Xen environment. Experimental measurements show our approach can significantly reduce the size of VM checkpoint with minimal runtime overhead, thereby greatly improve the checkpoint performance.

关键词： Virtual machining Checkpointing Virtual manufacturing Virtual machine monitors Hardware Operating systems Containers Encapsulation Fault tolerant systems Availability

来源：评论

学校读者我要写书评

暂无评论

XenLR: Xen-based Logging for Deterministic Replay

XenLR: Xen-based Logging for Deterministic Replay

引用

Japan-China Joint Workshop on Frontier of Computer Science and technology (FCST)

作者： Haikun Liu Hai Jin Xiaofei Liao Zhengqiu Pan Services Computing Technology and System Laboratory Cluster and Grid Computing Laboratory School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China

Virtual machine (VM) based logging-and-replay technology has attracted much attention for system security, fault tolerance, and debugging. However, so far there is not a replay system designed on virtual machine monitor Xen. In this paper, XenLR presents the design and implementation of a logging tool for full system replay on Xen. To reduce the design complexity, XenLR is achieved on a lightweight VM mini OS. Our preliminary work dedicates to identify architectural non-deterministic events and record them compactly. XenLR does not modify the guest OS and only need to record the external inputs (keyboard input and time update on mini OS). The log data are saved in the privileged domain¿s file system through transmission channels. The experiments indicate that XenLR results in low time and space overhead. Overhead due to logging is imperceptible for interactive use. The log files grow at 1.4 MByte/day, so it causes litter space consumption for today¿s large capacity disk storage.

关键词： Space technology Virtual machining Operating systems Computer science Virtual manufacturing Debugging Virtual machine monitors Counting circuits Kernel Grid computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共24页 << < 3 4 5 6 7 8 9 10 11 12 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：