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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

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

主题

1,688 篇 application soft...
893 篇 distributed comp...
874 篇 computer archite...
872 篇 computer science
845 篇 hardware
728 篇 concurrent compu...
668 篇 parallel process...
565 篇 computational mo...
558 篇 software enginee...
446 篇 real time system...
345 篇 runtime
324 篇 software systems
322 篇 costs
318 篇 processor schedu...
317 篇 fault tolerance
312 篇 resource managem...
290 篇 software
289 篇 operating system...
287 篇 scalability
285 篇 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,443 篇 英文
268 篇 其他
34 篇 中文
1 篇 西班牙文
1 篇 法文
1 篇 葡萄牙文

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

共 10747 条记录，以下是3801-3810 订阅

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

详细简洁

排序：

DsVD: An effective low-overhead dynamic software vulnerability discoverer

DsVD: An effective low-overhead dynamic software vulnerabili...

引用

international Workshop on Assurance in distributed systems and Networks

作者： Wang, Zhuo Tang, Zhushou Zhou, Kan Zhang, Ruoyu Qi, Zhengwei Guan, Haibin School of Software Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiao Tong University Shanghai China School of Electronic Information and Electrical Engineering Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiao Tong University Shanghai China

ISBN: (纸本)9780769543499

Dynamic taint analysis based software vulnerability and malware detection is an effective method to detect a wide range of vulnerabilities. Unfortunately, existing systems suffer from requirement of source code, high overhead or shortage of discovery rules, which limit their usage. This paper proposes a low-overhead vulnerability discovery system called DsVD (Dynamic software Vulnerabilities Discoverer). DsVD works on X86 executables and does not need any hardware change. A new taint state called controlled-taint is introduced to detect more types of vulnerabilities. Our experiments show that DsVD can effectively detect various software vulnerabilities. DsVD incurs very low overhead, only 3.1 times on average for SPECINT2006 benchmarks. With some optimizations such as Irrelevant API Filter and Basic Block Handling, it can reduce runtime overhead by a factor of 4-11 times.

关键词： Dynamic Taint Analysis software Security Vulnerability Discovery software safety computer software computer programs Taints Vulnerability Computer hardware

来源：评论

学校读者我要写书评

暂无评论

A distributed RFID discovery system: Architecture, component and application

A distributed RFID discovery system: Architecture, component...

引用

14th IEEE Int. Conf. on Computational Science and engineering, CSE 2011, the 11th international symposium on Pervasive systems, Algorithms, and Networks, I-SPAN 2011, and the 10th IEEE Int. Conf. on Ubiquitous Computing and Communications, IUCC 2011

作者： Zhao, Wen Liu, Xue Yang Ma, Sen Yuan, Chong Yi Wang, Li Fu National Engineering Research Center for Software Engineering Peking University Beijing China School of Electronics Engineering and Computer Science Peking University Beijing China

ISBN: (纸本)9780769544779

For performance and security concern in large-scale application environment, based on "follow the chain" mode, a distributed RFID discovery system is proposed and implemented. At first, system architecture is given. Secondly, core components, such as query engine, local cache and client, are formally specified with TIOA. Experiments on query execution time and accuracy show that this distributed discovery system is more suitable for large-scale RFID applications. The proposed system is also verified by a practical project "Beijing Volunteer Card Management Platform". © 2011 IEEE.

关键词： Radio frequency identification (RFID)

来源：评论

学校读者我要写书评

暂无评论

Accelerating DFA construction by hierarchical merging

Accelerating DFA construction by hierarchical merging

引用

9th IEEE international symposium on parallel and distributed Processing with Applications, ISPA 2011

作者： Liu, Yanbing Guo, Li Guo, Muyi Liu, Ping Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Graduate School Chinese Academy of Sciences Beijing 100049 China National Engineering Laboratory for Information Security Technologies Beijing 100190 China

ISBN: (纸本)9780769544281

Regular expression matching is widely used in many network applications to analyze suspicious traffic against predefined signatures, and to discover anomalous events. Deterministic Finite Automaton (DFA), which recognizes a set of regular expressions, is the basic data structure to scan input traffic byte by byte. Though DFA meets the requirement of real-time processing of network traffic, constructing a combined DFA for a set of regular expression signatures is very time-consuming, especially when the signature set is large. To attack this problem, we propose new strategies to accelerate DFA construction. The basic idea of our method is to construct the combined DFA by hierarchical merging of the DFAs of each single regular expression. Our method runs in O(ΙQΙΙ∑Ι ln n) time, which is substantially superior to the time complexity O(ΙQΙΙ∑Ι(∑ni=1ΙQiΙ)2) of classical subset construction algorithm[1]. Experiment on real signatures from open-source systems, such as L7-filter, BRO and SNORT, demonstrates that our method performs 45 times faster than the subset construction algorithm on average. © 2011 IEEE.

关键词： Open systems

来源：评论

学校读者我要写书评

暂无评论

I2SD: Reverse engineering Sequence Diagrams from Enterprise Java Beans with Interceptors

I2SD: Reverse Engineering Sequence Diagrams from Enterprise ...

引用

11th IEEE international Working Conference on Source Code Analysis and Manipulation/IEEE international Conference on software Maintenance/IEEE international symposium on Web systems Evolution/VISSOFT/MESOCA

作者： Roubtsov, Serguei Serebrenik, Alexander Mazoyer, Aurelien Van den Brand, Mark Roubtsova, E. Eindhoven Univ Technol POB 513 NL-5600 MB Eindhoven Netherlands France Lab CICA F-06560 Valbonne France Open Univ NL-6401DL Heerlen Netherlands

ISBN: (纸本)9780769543475

An Enterprise JavaBeans (EJB) interceptor is a software mechanism that provides for introducing behavior implemented as separate code into the execution of a Java application. In this way EJB interceptors provide a clear separation of the core functionality of the bean and other concerns, such as logging or performance analysis. Despite the beauty of the idea behind the interceptors, developing, testing and managing dependencies introduced by the interceptors are considered to be daunting tasks. For example, the developers can specify interceptors at multiple locations and by multiple means. However, different locations and specification means influence the order of the interceptor invocation, which is governed by more than fifteen different intertwined rules according to the EJB standard. To facilitate development of EJB applications we have designed I2SD, Interceptors to Sequence Diagrams, a tool for reverse engineering EJB applications with interceptors to UML sequence diagrams. I2SD provides the developer with a visual feedback and can be used by quality managers to get a broader understanding of the way interceptors are used in their project.

关键词： Business Containers EJB standard I2SD Java Java Reverse engineering software UML sequence diagrams Unified Modeling Language Unified modeling language XML aspect-oriented programming distributed object management enterprise Java bean interceptor invocatio

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of SIMD Vector Processor on FPGA

Design and implementation of SIMD Vector Processor on FPGA

引用

2011 4th international symposium on Innovation in Information and Communication Technology, ISIICT'2011

作者： Mahmood, Basil Sh. Jbaar, Mamoon A. Al College of Electronics Engineering/Computer IT Department Iraq

This paper handle the design and implementation of the SIMD Vector Processor on FPGA, this processor consist of 4 parallel lanes (processing elements PEs) that work simultaneously independent with each other, each one of those lanes has its own arithmetic units, vector register file which represents a part of the main distributed register file also it has a local memory for storage of execution results of that lane, lanes's local memories connects to each other to exchange their contains via interconnection networking that can be configure software to give a certain topology of static interconnection network, like (Mesh, Star,etc) those lanes and their memories act a vector part of the SIMD Vector Processor. A scalar processor also designed and attached with the vector part in order to accomplish scalar instructions that can not be handle by vector lanes, this processor also has its scalar register file and set of arithmetic units. © 2011 IEEE.

关键词： Vectors

来源：评论

学校读者我要写书评

暂无评论

Some implications of eye gaze behavior and perception for the design of immersive telecommunication systems 11

Some implications of eye gaze behavior and perception for th...

引用

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

作者： Rae, John P. Steptoe, William Roberts, David J. Department of Psychology Roehampton University London SW15 4JD United Kingdom Department of Computer Science University College London London WC1E 6BT United Kingdom School of Computer Science and Engineering University of Salford Salford M5 4WT United Kingdom

ISBN: (纸本)9780769545530

A feature of standard video-mediated Communication systems (VMC) is that participants see into each other's spaces from the viewpoint of a camera. Consequently, participants' capacity to use the spatially-based resources that exist in co-located settings (eg the production and comprehension of pointing and eye gaze direction) can be compromised. Whilst positioning cameras close to displays, or switching or interpolating between multiple cameras to provide appropriately aligned views can reduce this problem, an alternative paradigm is the use of immersive projection technology to locate participants within an immersive collaborative virtual environment (ICVE), in which remote participants appear as 3D graphical representations. Two approaches toward representation of remote participants in ICVEs have been studied: embodied avatars animated using participants' tracked body motion, and vision-based techniques that reconstruct 3D models from multiple streams of live video input. Drawing on empirical evaluations of an avatar-based ICVE system that both captures and displays eye-movement, together with an examination of previous research into gaze, we provide a specification of gaze practices and the cues used in the perception of gaze that should be supported in ICVEs. We delineate some of the challenges for vision-based ICVE and discuss the potential for combining different approaches in the development of such systems. © 2011 IEEE.

关键词： Eye tracking

来源：评论

学校读者我要写书评

暂无评论

Detection and protection against distributed denial of service attacks in accountable grid computing systems 11

Detection and protection against distributed denial of servi...

引用

Proceedings of the 2011 11th IEEE/ACM international symposium on Cluster, Cloud and Grid Computing

作者： Lee, Wonjun Squicciarini, Anna C. Bertino, Elisa Electrical and Computer Engineering CERIAS Purdue University West Lafayette IN United States Information Sciences and Technology Pennsylvania State University College Park PA United States Computer Science CERIAS Purdue University West Lafayette IN United States

ISBN: (纸本)9780769543956

By exploiting existing vulnerabilities, malicious parties can take advantage of resources made available by grid systems to attack mission-critical websites or the grid itself. In this paper, we present two approaches for protecting against attacks targeting sites outside or inside the grid. Our approach is based on special-purpose software agents that collect provenance and resource usage data in order to perform detection and protection. We show the effectiveness and the efficiency of our approach by conducting various experiments on an emulated grid test-bed. © 2011 IEEE.

关键词： Grid computing

来源：评论

学校读者我要写书评

暂无评论

Efficient reconfigurable architectures of generic cyclic convolution

Efficient reconfigurable architectures of generic cyclic con...

引用

IEEE international symposium on Consumer Electronics

作者： Krill, B. Amira, A. Faculty of Computing and Engineering University of Ulster Newtownabbey Co. Antrim BT37 0QB Belfast United Kingdom

ISBN: (纸本)9781612848433

This paper presents the design and implementation of a generic cyclic convolution architecture for imaging applications on field programmable gate array (FPGA). Two main architectures are implemented. A parallel architecture using distributed arithmetic (DA) and a sequential implementation using FPGA digital signal processor (DSP) resources were implemented using VHSIC hardware description language (VHDL) and synthesised on Xilinx Virtex-5 FPGA. Experimental results, comparisons and performance analysis of the area, power consumption, maximum frequency and throughput are analysed in this paper. Also a performance comparison between a software implementation and the FPGA implementation has been done. Finally, an evaluation of the generic cyclic convolution has been carried out and reveals a significant trade-off of throughput and maximum frequency. © 2011 IEEE.

关键词： Image processing

来源：评论

学校读者我要写书评

暂无评论

GALS-based LPSP: Implementation of a novel architecture for low power high performance security processors

GALS-based LPSP: Implementation of a novel architecture for ...

引用

25th IEEE international parallel and distributed Processing symposium, Workshops and Phd Forum, IPDPSW 2011

作者： Farouk, Hala A. El-Hadidi, Mahmoud T. El Farag, Ahmed Abou Computer Engineering Arab Academy for Science and Technology Alexandria Egypt Electronics and Electrical Communication Cairo University Cairo Giza Egypt

ISBN: (纸本)9780769543857

Current architectures for processors that run security applications are optimized for either high-performance or low energy consumption. We propose an implementation for an architecture that not only provides high performance and low energy consumption but also mitigates security attacks on the cryptographic algorithms which are running on it. The security is taken as a new dimension in the design process of this new processor architecture;the Globally-Asynchronous Locally-Synchronous-based Low Power Security Processor (GALS-based LPSP). GALS-based LPSP inherits the scheduling freedom and high performance from the dataflow architectures and the low energy consumption and flexibility from the GALS systems. In this paper a prototype of the GALS-based LPSP is implemented as a soft core on the Virtex-5 (xc5-vlx155t) FPGA. The architectural features that allow the processor to mitigate Side-Channel attacks are explained in detail and tested on the current encryption standard, the AES. The performance analysis reveals that the GALS-based LPSP achieves two times higher throughput with one and a half times less energy consumption than the currently used embedded processors. © 2011 IEEE.

关键词： Side channel attack

来源：评论

学校读者我要写书评

暂无评论

Testing and validating machine learning classifiers by metamorphic testing

Testing and validating machine learning classifiers by metam...

引用

作者： Xie, Xiaoyuan Ho, Joshua W.K. Murphy, Christian Kaiser, Gail Xu, Baowen Chen, Tsong Yueh Centre for Software Analysis and Testing Swinburne University of Technology Hawthorn VIC 3122 Australia Department of Medicine Brigham and Women's Hospital Harvard Medical School Boston MA 02115 United States Department of Computer Science Columbia University New York NY 10027 United States School of Computer Science and Engineering Southeast University Nanjing 210096 China State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing 210093 China Department of Computer and Information Science University of Pennsylvania Philadelphia PA 19103 United States

Machine learning algorithms have provided core functionality to many application domains - such as bioinformatics, computational linguistics, etc. However, it is difficult to detect faults in such applications because often there is no "test oracle" to verify the correctness of the computed outputs. To help address the software quality, in this paper we present a technique for testing the implementations of machine learning classification algorithms which support such applications. Our approach is based on the technique "metamorphic testing", which has been shown to be effective to alleviate the oracle problem. Also presented include a case study on a real-world machine learning application framework, and a discussion of how programmers implementing machine learning algorithms can avoid the common pitfalls discovered in our study. We also conduct mutation analysis and cross-validation, which reveal that our method has high effectiveness in killing mutants, and that observing expected cross-validation result alone is not sufficiently effective to detect faults in a supervised classification program. The effectiveness of metamorphic testing is further confirmed by the detection of real faults in a popular open-source classification program. © 2010 Elsevier Inc. All rights reserved.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 377 378 379 380 381 382 383 384 385 386 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：