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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,236 篇 会议
193 篇 期刊文献
36 册 图书

馆藏范围

1,465 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

934 篇 工学
- 783 篇 计算机科学与技术...
- 677 篇 软件工程
- 211 篇 信息与通信工程
- 105 篇 控制科学与工程
- 99 篇 生物工程
- 60 篇 电气工程
- 60 篇 生物医学工程（可授...
- 46 篇 电子科学与技术（可...
- 39 篇 安全科学与工程
- 37 篇 光学工程
- 32 篇 机械工程
- 28 篇 交通运输工程
- 27 篇 动力工程及工程热...
- 27 篇 建筑学
- 24 篇 土木工程
385 篇 理学
- 230 篇 数学
- 108 篇 生物学
- 71 篇 统计学（可授理学、...
- 55 篇 物理学
- 47 篇 系统科学
288 篇 管理学
- 166 篇 管理科学与工程(可...
- 142 篇 图书情报与档案管...
- 96 篇 工商管理
55 篇 医学
- 53 篇 临床医学
- 51 篇 基础医学(可授医学...
- 34 篇 药学(可授医学、理...
- 23 篇 公共卫生与预防医...
54 篇 法学
- 37 篇 社会学
33 篇 教育学
- 33 篇 教育学
32 篇 经济学
- 32 篇 应用经济学
18 篇 农学
2 篇 文学
2 篇 军事学
1 篇 艺术学

主题

51 篇 software
48 篇 software enginee...
36 篇 feature extracti...
34 篇 machine learning
33 篇 computer science
31 篇 accuracy
30 篇 computational mo...
28 篇 deep learning
28 篇 semantics
26 篇 real-time system...
25 篇 artificial intel...
25 篇 training
20 篇 wireless sensor ...
20 篇 data models
19 篇 scalability
19 篇 support vector m...
19 篇 data mining
18 篇 computer archite...
18 篇 quality of servi...
18 篇 predictive model...

机构

19 篇 faculty of compu...
19 篇 gik institute of...
19 篇 university of eu...
19 篇 dept. of technol...
17 篇 dept. of compute...
16 篇 dept. of compute...
14 篇 dept. of softwar...
13 篇 dept. of compute...
12 篇 dept. of compute...
12 篇 dept. of compute...
11 篇 bcmaterials basq...
11 篇 state key labora...
11 篇 bcmaterials basq...
10 篇 college of compu...
10 篇 dept. of compute...
8 篇 daffodil interna...
8 篇 faculty of elect...
8 篇 school of softwa...
8 篇 university of re...
8 篇 dept. of compute...

作者

19 篇 ku wei-shinn
19 篇 ali raja hashim
19 篇 raja hashim ali
16 篇 usama arshad
16 篇 arshad usama
15 篇 baldwin timothy
14 篇 zain ul abideen
12 篇 shiri nematollaa...
11 篇 buyya rajkumar
10 篇 ali zeeshan ijaz
8 篇 qusay h. mahmoud
8 篇 baik doo-kwon
8 篇 cho seong-je
8 篇 nisar ali
8 篇 shafiur rahman
8 篇 ali nisar
8 篇 ijaz ali zeeshan
7 篇 siddique abu bak...
7 篇 ul abideen zain
7 篇 abideen zain ul

语言

1,404 篇 英文
49 篇 其他
5 篇 中文
4 篇 朝鲜文
3 篇 日文

检索条件"机构=Dept. of Computer Science& Software Engineering"

共 1465 条记录，以下是1171-1180 订阅

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

详细简洁

排序：

Multiobjective differential evolution for workflow execution on grids

Multiobjective differential evolution for workflow execution...

引用

5th International Workshop on Middleware for Grid Computing, MGC'07, held at the ACM/IFIP/USENIX 8th International Middleware Conference

作者： Talukder, A. K. M. Khaled Ahsan Kirley, Michael Buyya, Rajkumar Dept. of Computer Science and Software Engineering University of Melbourne VIC 3053 Australia

ISBN: (纸本)9781595939449

Most algorithms developed for scheduling applications on global Grids focus on a single Quality of Service (QoS) parameter such as execution time, cost or total data transmission time. However, if we consider more than one QoS parameter (eg. execution cost and time may be in conflict) then the problem becomes more challenging. To handle such scenarios, it is convenient to use heuristics rather than a deterministic algorithm. In this paper we have proposed a workflow execution planning approach using Multiobjective Differential Evolution (MODE). Our goal was to generate a set of trade-off schedules according to two user specified QoS requirements (time and cost). The alternative tradeoff solutions offer more flexibility to users when estimating their QoS requirements of workflow executions. We have compared our results with two baseline multiobjective evolutionary algorithms. Simulation results show that our modified MODE is able to find a comparatively better spread of compromise solutions. Copyright 2007 ACM.

关键词： Multiobjective optimization

来源：评论

学校读者我要写书评

暂无评论

An integrated verification environment for JML: Architecture and early results

An integrated verification environment for JML: Architecture...

引用

ESEC/FSE 2007: 6th Joint Meeting - Sixth International Workshop on Specification and Verification of Component-Based Systems, SAVCBS 2007

作者： Chalin, Patrice James, Perry R. Karabotsos, George Dependable Software Research Group Dept. of Computer Science and Software Engineering Concordia University Montréal Canada

ISBN: (纸本)9781595937216

Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Java is prohibitively high: e.g., almost three years following its release, Java 5 has yet to be fully supported. This paper presents the architecture of JML4, an Integrated Verification Environment (IVE) for JML that builds upon Eclipse's support for Java, enhancing it with Extended Static Checking (ESC), an early form of Runtime Assertion Checking (RAC) and JML's non-null type system. Early results indicate that the synergy of complementary verification techniques (being made available within a single tool) can help developers be more effective;we demonstrate new bugs uncovered in JML annotated Java source - -like ESC/Java2 - -which is routinely verified using first generation JML tools. Copyright 2007 ACM.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Bowl championship series vulnerability analysis 07

Bowl championship series vulnerability analysis

引用

4th Richard Tapia Celebration of Diversity in Computing Conference 2007

作者： Soares, Caio Page, George MacDonald, Jonathan Baskiyar, Sanjeev Hamilton Jr., John Dozier, Gerry Dept. of Computer Science and Software Engineering Auburn University AL 36849 Dept. of Computer Science North Carolina A and T State University Greensboro NC 27411

ISBN: (纸本)9781595938664

The Bowl Championship Series (BCS) is the system used to select the top two college football teams to play in a championship game at the end of a season. During the nine seasons played under the BCS, few have not caused considerable debate and controversy. We believe that an analysis of the BCS and its components is therefore required. This work uses a GRNN to model the eight polls that compose the ranking system of the BCS. Then, a genetic algorithm (GA) is used to evolve season schedules that would perform poorly under the current BCS. These difficult seasons are then analyzed to highlight weaknesses in the current model. © 2007 ACM.

关键词： Interactive computer systems

来源：评论

学校读者我要写书评

暂无评论

Verification of automatically generated pattern-based LTL specifications

Verification of automatically generated pattern-based LTL sp...

引用

10th IEEE International Symposium on High Assurance Systems engineering

作者： Salamah, Salamah Gates, Ann Q. Kreinovich, Vladik Roach, Steve Dept. Comp and Software Engineering Embry-Riddle Aeronautical Univ. Computer Science Dept. University of Texas El Paso United States

ISBN: (纸本)9780769530437

The use of property classifications and patterns, i.e., high-level abstractions that describe common behavior have been shown to assist practitioners in generating formal specifications that can be used informal verification techniques. The Specification Pattern System (SPS) provides descriptions of a collection of patterns. The extent of program execution over which a pattern must hold is described by the notion of scope. SPS provides a manual technique for obtaining formal specifications from a pattern and a scope. The Property Specification Tool (Prospec) extends SPS by introducing Composite Propositions (CPs), a classification for defining sequential and concurrent behavior to represent pattern and scope parameters, and provides a tool to support users. This work provides general templates for generating formal specifications in Linear Temporal Logic (LTL) for all pattern, scope, and CP combinations. In addition, the work explains the methodology for the verification of the correctness of these templates.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

AutoPaG: Towards automated software patch generation with source code root cause identification and repair 07

AutoPaG: Towards automated software patch generation with so...

引用

2nd ACM Symposium on Information, computer and Communications Security, ASIACCS '07

作者： Lin, Zhiqiang Jiang, Xuxian Xu, Dongyan Mao, Bing Xie, Li Dept. of Computer Science Nanjing University China Dept. of Information and Software Engineering George Mason University United States CERIAS Dept. of Computer Science Purdue University United States

ISBN: (纸本)1595935746

software patch generation is a critical phase in the life-cycle of a software vulnerability. The longer it takes to generate a patch, the higher the risk a vulnerable system needs to take to avoid from being compromised. However, in practice, it is a rather lengthy process to generate and release software patches. For example, the analysis on 10 recent Microsoft patches (MS06-045 to MS06-054) shows that, for an identified vulnerability, it took 75 days on average to generate and release the patch. In this paper, we present the design, implementation, and evaluation of AutoPaG, a system that aims at reducing the time needed for software patch generation. In our current work, we mainly focus on a common and serious type of software vulnerability: the out-of-bound vulnerability which includes buffer overflows and general boundary condition errors. Given a working out-of-bound exploit which may be previously unknown, AutoPaG is able to catch on the fly the out-of-bound violation, and then, based on data flow analysis, automatically analyzes the program source code and identifies the root cause - vulnerable source-level program statements. Furthermore, within seconds, AutoPaG generates a fine-grained source code patch to temporarily fix it without any human intervention. We have built a proof-of-concept system in Linux and the preliminary results are promising: AutoPaG is able to successfully identify the root cause and generate a source code patch within seconds for every vulnerability test in the Wilander's buffer overflow benchmark test-suite. In addition, the evaluation with a number of real-world out-of-bound exploits also demonstrates its effectiveness and practicality in automatically identifying (vulnerable) source code root causes and generating corresponding patches. Copyright 2007 ACM.

关键词： Data flow analysis

来源：评论

学校读者我要写书评

暂无评论

On the connection between functional programming languages and real-time Java scoped memory 07

On the connection between functional programming languages a...

引用

5th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2007

作者： Defoe, Delvin C. LeGrand, Rob Cytron, Ron K. Dept. of Computer Science and Software Engineering Rose-Hulman Institute of Technology Terre Haute IN Dept. of Computer Science and Engineering Washington University in St. Louis St. Louis MO

ISBN: (纸本)9781595938138

Java has recently joined C and C++ as a relatively high-level language suitable for developing real-time applications. Java's garbage collection, while generally a useful feature, can be problematic for real-time applications if collection occurs with unpredictable frequency and latency. The Real-Time Specification for Java#8482;(RTSJ) incorporates a scoped-memory model, akin to regions, that is not subject to garbage collection. However, applications are subject to strict rules concerning how objects can reference each other in scoped memory. Unfortunately, almost all extant Java code, including Java's vast and useful runtime libraries, will not execute properly in scoped-memory areas without significant modification. In this paper, we show that programs written in a pure functional programming language can be executed in a provably safe manner using scoped memory in RTSJ. This new connection allows extant implementations of important abstract data types to migrate safely to RTSJ. We also explore the effect of RTSJ's referencing rules on the asymptotic, real-time behavior of some abstract data types. Copyright © 2007 ACM.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Cross-modal interaction and integration with relevance feedback for medical image retrieval

引用

13th International Multimedia Modeling Conference, MMM 2007

作者： Rahman, Mahmudur Sood, Varun Desai, Bipin C. Bhattacharya, Prabir Dept. of Computer Science and Software Engineering Concordia University Canada Institute for Information Systems Engineering Concordia University Canada

ISBN: (纸本)9783540694212

This paper presents a cross-modal approach of image retrieval from a medical image collection which integrates visual information based on purely low-level image contents and case related textual information from the annotated XML files. The advantages of both the modalities are exploited by involving the users in the retrieval loop. For content-based search, low-level visual features are extracted in vector form at different image representations. For text-based search, keywords from the annotated files are extracted and indexed by employing the vector space model of information retrieval. Based on the relevance feedback, textual and visual query refinements are performed and user's perceived semantics are propagated from one modality to another. Finally, the most similar images are obtained by a linear combination of similarity matching and re-ordering in a pre-filtered image set. The experiments are performed on a collection of diverse medical images with case-based annotation of each image by experts. It demonstrates the flexibility and the effectiveness of the proposed approach compared to using only a single modality or without any feedback information. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Distortion-based partial distortion search for fast motion estimation

Distortion-based partial distortion search for fast motion e...

引用

IEEE International Conference on Multimedia and Expo (ICME 2007)

作者： Kim, Jong-Ho Kim, Byung-Gyu Cho, Chang-Sik Real-time Multimedia Research Division Electronics and Telecommunications Research Institute Computer Software and Engineering Dept. University of Science and Technology

ISBN: (纸本)9781424410163

Block motion estimation with full search is computationally complex. To reduce this complexity, different methods have been proposed, including partial distortion, which can reduce the computational complexity with no loss of image quality. We propose a distortion-based partial distortion search (DPDS) based on the magnitude of distortion and adaptive update of the matching order. We calculate absolute differences for all pixels in the predicted block point. Pixels are then sorted by the amount of distortion in a descending order for the matching process, which produces a scanning map. The sum of the absolute differences (SAD) of other candidate positions is then computed from this matching order. We also use an update of the scanning map by checking the increase in the number of absolute differences for the SAD value. The proposed DPDS algorithm improves the computational efficiency, compared with the original PDS scheme, because the accumulated value of the absolute pixel differences can rapidly reach the current minimum SAD value. The proposed algorithm is 4-13 times faster than the full search method with the same visual quality.

关键词： Pixels

来源：评论

学校读者我要写书评

暂无评论

A large-scale and decentralized infrastructure for content-based publish/subscribe services

A large-scale and decentralized infrastructure for content-b...

引用

36th International Conference on Parallel Processing in Xi'an, ICPP

作者： Yang, Xiaoyu Zhu, Yingwu Hu, Yiming Dept. of Electrical and Computer Engineering University of Cincinnati Cincinnati OH 45221 United States Dept. of Computer Science and Software Engineering Seattle University Seattle MA 98122 United States

ISBN: (纸本)076952933X

Publish/Subscribe model has become a prevalent paradigm for building distributed event delivering systems. Content-based publish/subscribe allows high expresses in subscriptions and thus is more appropriate for content dissemination. However, the scalability has remained a challenge in the design of distributed content-based publish/subscribe systems due to the expensive matching and delivering cost of content-based events. In this paper we propose HyperSub, an infrastructure built on top of distributed hash table (DHT) for efficient content-based data distribution. Based on efficient subscription installation, event publication and event delivery mechanisms, HyperSub can provide a scalable platform to simultaneously support any numbers of pub/sub schemes with different number of attributes. There are three key features in the design of HyperSub: (1) a locality-preserving hashing mechanism which partitions the content space into content zones. Subscriptions and events are mapped to the content zones for efficiently matching;(2) an efficient event delivery algorithm which exploits the embedded trees in the underlying DHT to deliver events to the corresponding subscribers;(3) light-weighted load balancing mechanisms to adjust the load among peers and ensure that no peer is unduly loaded. © 2007 IEEE.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

A relaxed probing rate adaptation in ieee8o2.11 wlans

A relaxed probing rate adaptation in ieee8o2.11 wlans

引用

WINSYS 2007 - 2nd International Conference on Wireless Information Networks and Systems

作者： Biaz, Saâd Wu, Shaoen Dept. of Computer Science and Software Engineering Auburn University Dustan hall 107 Al 36849 United States

The availability of multiple rates in IEEE8O2. 11 WLANs and instability of wireless channel conditions call for data rate adaption algorithms to optimize network performance. Rate adaption is the process of assessing instantaneous channel conditions and determining the most appropriate data rate. This paper presents a relaxed probing rate adaptation scheme to determine the most appropriate instantaneous data rate for both downlink and uplink channels, especially in the case where control frames such as RTSICTS are not available. For this goal, the proposed scheme exploits the mandatory management beacon frame, thus without requiring probing frames like RTS/CTS necessary for other so far proposed schemes. Ns-2 simulations with IEEE8O2. 1 lb of the proposed scheme yield more than 100% throughput improvement in high density networks. Also, simulations show that the proposed scheme is insensitive to beacon interval.

关键词： Wireless local area networks (WLAN)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共147页 << < 114 115 116 117 118 119 120 121 122 123 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：