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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,301 篇 会议
252 篇 期刊文献
185 册 图书
2 篇 学位论文

馆藏范围

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

日期分布

学科分类号

4,861 篇 工学
- 4,309 篇 计算机科学与技术...
- 3,043 篇 软件工程
- 722 篇 电气工程
- 684 篇 信息与通信工程
- 521 篇 控制科学与工程
- 376 篇 电子科学与技术（可...
- 161 篇 机械工程
- 147 篇 动力工程及工程热...
- 98 篇 网络空间安全
- 97 篇 生物工程
- 91 篇 安全科学与工程
- 87 篇 仪器科学与技术
- 79 篇 建筑学
- 71 篇 土木工程
- 71 篇 生物医学工程（可授...
- 64 篇 化学工程与技术
- 57 篇 材料科学与工程（可...
- 55 篇 光学工程
- 54 篇 力学（可授工学、理...
1,331 篇 理学
- 955 篇 数学
- 213 篇 系统科学
- 163 篇 统计学（可授理学、...
- 157 篇 物理学
- 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,665 篇 英文
39 篇 其他
34 篇 中文
1 篇 西班牙文
1 篇 法文
1 篇 葡萄牙文

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

共 10740 条记录，以下是4851-4860 订阅

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

详细简洁

排序：

A Few-shot Learning Approach for Anomaly Detection in Cooperative Tracking Control System 21

A Few-shot Learning Approach for Anomaly Detection in Cooper...

引用

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

作者： Rong, Jieqi Liu, Weirong Yu, Xiaoquan Ren, Wanwan Shu, Boyu Peng, Jun Central South University Computer Science and Engineering Changsha China Central South University School of Traffic and Transportation Engineering Changsha China Central South University School of Automation Changsha China

ISBN: (纸本)9798350329223

Cooperative tracking control for multiple heavy-haul trains can improve the safety and efficiency of heavy-haul railway transportation. However, the false data injection attack for the tracking control system is a serious obstacle, which will lead to imprecise train operation control. To address the issue, a few-shot learning approach for false data injection attack (FDIA) detection for tracking control systems of heavy-haul trains is proposed. First, the physical-cyber model of the tracking control system is established, and the affects of the FDIA on the tracking control system is analyzed. Second, the heavy-haul train anomaly detection simulation model was built by Matlab/Simulink to obtain the dataset for training the GAN model. Third, the Generative Adversarial Network (GAN) method is introduced to augment the anomaly dataset, which can solve the problem of lack of actual operation fault data of heavy trains. Further, the Local Outlier Factor (LOF) algorithm is leveraged to achieve the false data injection attack detection. Simulation results show that the proposed method can effectively increase the anomaly detection accuracy than other supervised methods. © 2023 IEEE.

关键词： Anomaly detection

来源：评论

学校读者我要写书评

暂无评论

Mathematical and engineering Methods in Computer Science 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Zdeněk Kotásek Lukáš Sekanina Tomáš Vojnar Jan Bouda Ivana Černá David Antoš

ISBN: (数字)9783642259296

ISBN: (纸本)9783642259289

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th international Doctoral Workshop on Mathematical and engineering Methods in Computer Science, MEMICS 2011, held in Lednice, Czech Republic, on October 14-16, 2011.;The 13 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 38 submissions. The papers address all current issues of mathematical and engineering methods in computer science, especially: software and hardware dependability, computer security, computer-aided analysis and verification, testing and diagnostics, simulation, parallel and distributed computing, grid computing, computer networks, modern hardware and its design, non-traditional computing architectures, software engineering, computational intelligence, quantum information processing, computer graphics and multimedia, signal, text, speech, and image processing, and theoretical computer science.

关键词： Computer Communication Networks Algorithm Analysis and Problem Complexity software engineering Management of Computing and Information systems Logics and Meanings of Programs

来源：评论

学校读者我要写书评

暂无评论

Robust hand tracking in low-resolution video sequences

Robust hand tracking in low-resolution video sequences

引用

3rd IASTED international Conference on Advances in Computer Science and Technology, ACST 2007

作者： Nyan, Bo Bo Dailey, Matthew N. Uyyanonvara, Bunyarit Sirindhorn International Institute of Technology Thammasat University Klong Luang Pathumthani Thailand Computer Science and Information Management Asian Institute of Technology Klong Luang Pathumthani Thailand

ISBN: (纸本)9780889866560

Automatic detection and tracking of human hands in video imagery has many applications. While some success has been achieved in human-computer interaction applications, hand tracking would also be extremely useful in security systems, where it could help the system to understand and predict human actions, intentions, and goals. We have designed and implemented a prototype hand tracking system, which is able to track the hands of moving humans in low resolution video sequences. Our system uses grayscale appearance and skin color information to classify image subwindows as either containing or not containing a human hand. The prototype's performance is quite promising, detecting nearly all visible hands in a test sequence with a relatively low error rate. In future work we plan to improve the prototype and explore methods for interpreting human gestures in surveillance video.

关键词： Security systems

来源：评论

学校读者我要写书评

暂无评论

XML Document Recommendation by Using Case Based Reasoning

XML Document Recommendation by Using Case Based Reasoning

引用

ACIS international Conference on software engineering, Artificial Intelligence, Networking, and parallel/distributed Computing (SNPD)

作者： Sutheetutt Vacharaskunee Sarun Intakosum Software Systems Engineering Laboratory Department of Mathematics and Computer Science Faculty of Science King Mongkut''s Institute of Technology Ladkrabang Bangkok Thailand

ISBN: (纸本)9781424474226;9780769540887

Case Based Reasoning (CBR) is the process of solving new problem based on the solutions of similar previous problems. XML is a markup language that allows document owners describe their data in their own formats. There might be the same information has been described in various ways. This makes searching those information from different formats difficult. CXDR (CBR for XML Document Recommendation) is an idea to make searching XML documents easier. CXDR applies CBR framework to collect the mostly use XML document and recommend it to its user. CBR in CXDR consists of two parts, cases and knowledge. The case is XML documents and the knowledge is an XML document recommendation. The recommendation from CXDR is the most use XML element names and structure.

关键词： XML Keyword search Information retrieval Markup languages Database languages software engineering Artificial intelligence distributed computing software systems systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

Incorporating Security Requirements into Communication Protocols in Multi-agent software systems

Incorporating Security Requirements into Communication Proto...

引用

IEEE international Conference on parallel and distributed Computing, Applications and Technologies (PDCAT)

作者： Yuxiu Luo Giannakis Antoniou Leon Sterling Department of Coumputer Science and software Engineering University of Melbourne VIC Australia

A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages of software development. However, there is no formal way provided for software developers to find out what makes a communication protocol secure and what are secure designs. In this paper we propose a method that defines security requirements, bridges security requirement analysis with security design, and integrates the security techniques into a communication protocol to fulfill the security requirements.

关键词： Communication system security Protocols software systems Information security Cryptography Sociotechnical systems Strontium software engineering Bridges Authentication

来源：评论

学校读者我要写书评

暂无评论

Design flow for optimizing performance in processor systems with on-chip coarse-grain reconfigurable logic 06

Design flow for optimizing performance in processor systems ...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： M.D. Galanis G. Dimitroulakos C.E. Goutis VLSI Design Laboratory Electrical and Computer Engineering Department University of Patras Rio Greece

ISBN: (纸本)9781424400546

A design flow for processor platforms with on-chip coarse-grain reconfigurable logic is presented. The reconfigurable logic is realized by a 2-dimensional array of processing elements. Performance is improved by accelerating critical software loops, called kernels, on the reconfigurable array. Basic steps of the design flow have been automated. A procedure for detecting critical loops in the input C code was developed, while a mapping technique for coarse grain reconfigurable arrays, based on software pipelining, was also devised. Analytical results derived from mapping five real-life DSP applications on eight different instances of a generic system architecture are presented. Large values of instructions per cycle were achieved on two reconfigurable arrays that resulted in high-performance kernel mapping. Additionally, by mapping critical code on the reconfigurable logic, speedups ranging from 1.27 to 3.18 relative to an all-processor execution were achieved

关键词： Design optimization System-on-a-chip Reconfigurable logic Kernel Process design Logic arrays Acceleration software performance Pipeline processing Digital signal processing

来源：评论

学校读者我要写书评

暂无评论

SAT-based Bounded Model Checking for SE-LTL

SAT-based Bounded Model Checking for SE-LTL

引用

ACIS international Conference on software engineering, Artificial Intelligence, Networking, and parallel/distributed Computing (SNPD)

作者： Zhou Conghua Ju Shiguang School of Computer Science and Telecommunication Engineering Jiangsu University China

For concurrent software systems state/event linear temporal logic SE-LTL is a specification language with high expressive power and the ability to reason about both states and events. Until now, SE-LTL model checking algorithm is still explicit. We introduce a bounded model checking procedure for SE-LTL which reduces model checking to propositional satisfiability. This new technique avoids the space blow up of BDDs, generates counterexamples much faster, and sometimes speeds up the verification. For SE-LTL- x we further show how to integrate the procedure and stuttering equivalent technique. The experiment result shows that the integration can reduce the verification time very much.

关键词： Power system modeling Data structures Boolean functions Logic software engineering Artificial intelligence distributed computing Computer science Power engineering and energy software systems

来源：评论

学校读者我要写书评

暂无评论

Reducing false transactional conflicts with speculative sub-blocking state-An empirical study for ASF transactional memory system

Reducing false transactional conflicts with speculative sub-...

引用

2013 IEEE 37th Annual Computer software and Applications Conference, COMPSAC 2013

作者： Nai, Lifeng Lee, Hsien-Hsin S. School of Electrical and Computer Engineering Georgia Institute of Technology United States

ISBN: (纸本)9780769549798

Conflict detection and resolution are among the most fundamental issues in transactional memory systems. Hardware transactional memory (HTM) systems such as AMD's Advanced Synchronization Facility (ASF) employ inherent cache coherence protocol messages to perform conflict detection among transactions. Such an implementation has the advantage of design simplicity, nonetheless, it also generates false transactional conflicts due to false sharing within cache lines, unnecessarily reducing the overall performance. In this work, we first investigated the behavior of false transactional conflicts under the AMD's ASF system. It is found that false conflicts showed rather stable pattern within each cache line that subsequently inspired our false transactional conflict reduction technique using our proposed speculative sub-blocking state. By adding an extra speculative state for each cache line's sub-block, we can maintain conflict detection at the granularity of sub-blocks while keeping the original cache coherence protocol intact. The overall design is simple and highly implementable for achieving a high-efficiency HTM system with minimum impact in hardware. We evaluated our proposed technique using PTLsim-ASF and compared it with a baseline ASF HTM system and an ideal system with no false transactional conflict. Our results showed that the proposed lightweight technique can avoid false conflicts effectively and efficiently. With four sub-blocks in a cache line, our technique can eliminate 56.4% false transactional conflicts and 31.3% of all transactional conflicts on average, which approaches the performance of an ideal system. © 2013 IEEE.

关键词： parallel programming

来源：评论

学校读者我要写书评

暂无评论

Speculative security checks in sandboxing systems

Speculative security checks in sandboxing systems

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Y. Oyama K. Onoue A. Yonezawa Japan Science and Technology Agency University of Tokyo Japan University of Tokyo Japan

Sandboxing systems are extremely useful for secure execution of untrusted applications. Many of the sandboxing systems proposed so far provide security by intercepting system calls invoked by an application and controlling their execution. However, a problem in existing sandboxing systems is the amount of overhead required for security checks performed after system call interceptions. In this paper, we propose a sandboxing system that executes speculative security checks. The proposed system predicts the behavior of a sandboxed application and executes speculative security checks in parallel with the application, thus reducing the overhead. Behavior is predicted based on system call profiles in past executions of the application. We implemented the system on Linux and made a preliminary evaluation.

关键词： Security Control systems Intrusion detection Linux Internet Invasive software Operating systems Kernel Resource virtualization Resumes

来源：评论

学校读者我要写书评

暂无评论

parallel processors and an approach to the development of inference engine

Parallel processors and an approach to the development of in...

引用

ACIS international Conference on software engineering, Artificial Intelligence, Networking, and parallel/distributed Computing (SNPD)

作者： V.B. Prasad Electrical and Computer Engineering Department Bradley University Peoria IL USA

The reliable and fault tolerant computers are key to the success to aerospace, and communication industries where failures of the system can cause a significant economic impact and loss of life. Designing a reliable digital system, and detecting and repairing the faults are challenging tasks in order for the digital system to operate without failures for a given period of time. The paper presents a new and systematic software engineering approach of performing fault diagnosis of digital systems, which have employed multiple processors. The fault diagnosis model is based on the classic PMC model to generate data obtained on the basis of test results performed by the processors. The PMC model poses a tremendous challenge to the user in doing fault analysis on the basis of test results performed by the processors. This paper will perform one fault model for developing software. The effort has been made to preserve the necessary and sufficient.

关键词： Engines Digital systems Fault diagnosis Testing Performance evaluation Fault tolerant systems Aerospace industry Communication industry Fault detection software engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 482 483 484 485 486 487 488 489 490 491 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：