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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,714 篇 会议
1,145 篇 期刊文献
30 册 图书

馆藏范围

2,889 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,889 篇 工学
- 1,457 篇 计算机科学与技术...
- 1,188 篇 软件工程
- 326 篇 信息与通信工程
- 243 篇 控制科学与工程
- 157 篇 电气工程
- 145 篇 生物工程
- 130 篇 机械工程
- 105 篇 生物医学工程（可授...
- 101 篇 电子科学与技术（可...
- 93 篇 光学工程
- 63 篇 动力工程及工程热...
- 60 篇 化学工程与技术
- 58 篇 仪器科学与技术
- 52 篇 建筑学
- 46 篇 土木工程
- 46 篇 安全科学与工程
859 篇 理学
- 539 篇 数学
- 177 篇 生物学
- 154 篇 物理学
- 139 篇 统计学（可授理学、...
- 116 篇 系统科学
- 74 篇 化学
588 篇 管理学
- 363 篇 管理科学与工程(可...
- 253 篇 图书情报与档案管...
- 153 篇 工商管理
93 篇 医学
- 80 篇 临床医学
- 65 篇 基础医学(可授医学...
- 45 篇 药学(可授医学、理...
67 篇 法学
- 45 篇 社会学
49 篇 经济学
- 49 篇 应用经济学
30 篇 教育学
17 篇 农学
11 篇 文学
11 篇 军事学
7 篇 艺术学

主题

231 篇 computer science
182 篇 software enginee...
154 篇 laboratories
77 篇 application soft...
68 篇 data mining
64 篇 semantics
55 篇 quality of servi...
55 篇 computational mo...
54 篇 software systems
54 篇 cloud computing
53 篇 software testing
51 篇 costs
50 篇 software
47 篇 wireless sensor ...
45 篇 grid computing
44 篇 computer archite...
44 篇 algorithm design...
42 篇 protocols
41 篇 machine learning
41 篇 training

机构

221 篇 state key labora...
87 篇 college of compu...
64 篇 department of co...
62 篇 state key labora...
62 篇 shanghai key lab...
60 篇 state key labora...
57 篇 national key lab...
56 篇 department of co...
56 篇 department of co...
42 篇 department of co...
36 篇 state key labora...
33 篇 peng cheng labor...
31 篇 beijing key labo...
30 篇 state key labora...
29 篇 school of artifi...
29 篇 national enginee...
28 篇 department of co...
27 篇 department of co...
27 篇 school of electr...
26 篇 grid computing a...

作者

52 篇 rajkumar buyya
45 篇 junping du
43 篇 buyya rajkumar
34 篇 yu huiqun
31 篇 fan guisheng
29 篇 zhao jian
28 篇 shen furao
28 篇 yingmin jia
25 篇 baowen xu
23 篇 chen liqiong
21 篇 xu baowen
21 篇 fashan yu
20 篇 guihai chen
19 篇 zhou zhi-hua
19 篇 ismail leila
19 篇 shen linlin
19 篇 xu xiaolong
18 篇 stuckey peter j.
18 篇 dou wanchun
17 篇 khan arif ali

语言

2,747 篇 英文
103 篇 其他
37 篇 中文
1 篇 德文
1 篇 日文

检索条件"机构=Empirical Software Engineering Laboratory Department of Computer Science and Engineering"

共 2889 条记录，以下是2711-2720 订阅

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

详细简洁

排序：

Coordination of collaborative activities: a framework for the definition of tasks interdependencies

Coordination of collaborative activities: a framework for th...

引用

International Workshop on Groupware

作者： A.B. Raposo L.P. Magalhaes I.L.M. Ricarte H. Fuks Department of Computer Engineering and Industrial Automation School of Electrical and Computer Engineering State University of Campinas Brazil Software Engineering Laboratory Computer Science Department Catholic University of Rio de Janeiro Brazil

The coordination of interdependencies between tasks in collaborative environments is a very important and difficult endeavour. The separation between tasks and interdependencies allows for the use of different coordination policies in the same collaborative environment by changing only the coordination mechanisms that control the interdependencies. This paper presents a framework for the definition of interdependencies that frequently occur in collaborative activities. By means of a clear characterization of interdependencies, it is possible to identify coordination mechanisms to manage them, opening the way toward a powerful coordination tool capable of encompassing a wide range of collaborative applications. An implementation of the coordination model of a collaborative virtual environment based on the proposed framework is given as example.

关键词： Collaboration Collaborative work Virtual environment Production computer industry Automation software engineering Laboratories computer science Energy management

来源：评论

学校读者我要写书评

暂无评论

The right algorithm at the right time: comparing data flow analysis algorithms for finite state verification 01

The right algorithm at the right time: comparing data flow a...

引用

Proceedings of the 23rd International Conference on software engineering

作者： Jamieson M. Cobleigh Lori A. Clarke Leon J. Osterweil Laboratory for Advanced Software Engineering Research Department of Computer Science University of Massachusetts Amherst Amherst MA

ISBN: (纸本)9780769510507

Finite state verification is emerging as an important technology for proving properties about software. In our experience, we have found that analysts have different expectations at different times. When an analyst is in an exploratory mode, initially formulating and verifying properties, analyses usually find inconsistencies because of flaws in the properties or in the software artifacts being analyzed. Once an inconsistency is found, the analyst begins to operate in a fault finding mode, during which meaningful counter example traces are needed to help determine the cause of the inconsistency. Eventually systems become relatively stable, but still require re-verification as evolution occurs. During such periods, the analyst is operating in a maintenance mode and would expect re-verification to usually report consistent results. Although it could be that one algorithm suits all three of these modes of use, the hypothesis explored here is that each would be best served by an algorithm optimized for the expectations of the analyst.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A rough set based self-adaptive Web search engine

A rough set based self-adaptive Web search engine

引用

IEEE Annual International computer software and Applications Conference (COMPSAC)

作者： Baowen Xu Weifeng Zhang Hongji Yang W.C. Chu National Key Laboratory of Software Engineering Wuhan University of China China Department of Computer Science and Engineering South-East University China Department of Computer Science De Montfort University UK Department of Computer Science and Information Engineering Tunghai University Taiwan

Web search engines are very useful information service tools in the Internet. The current Web search engines produce search results relating to the search terms and the actual information collected by them. Since the selections of the search results cannot affect the future ones, they may not cover most people's interests. In the paper, feedback information produced by the users' accessing lists is represented by a rough set and can influence the search results. Thus the search engines can provide self-adaptability.

关键词： Web search Search engines computer science Output feedback Web and internet services Privacy Laboratories software engineering World Wide Web IP networks

来源：评论

学校读者我要写书评

暂无评论

The need for verification and validation techniques for adaptive control system

The need for verification and validation techniques for adap...

引用

International Symposium on Autonomous Decentralized Systems (ISADAS)

作者： B. Cukic NASANVU Software Research Laboratory Department of Computer Science and Electrical Engineering West Virginia University Morgantown USA

ISBN: (纸本)0769510655

Adaptive systems are systems whose function evolves over time, as they improve their performance through learning. The advantage of adaptive systems is that they can, through judicious learning, react to situations that were never individually identified and analyzed by the designer. If learning and adaptation are allowed to occur after the control system is deployed, the system is called an online adaptive system. Online adaptive systems are attracting increasing attention in application domains where autonomy is an important feature, or where it is virtually impossible to analyze ahead of time all the possible combinations of environmental conditions that may arise. An archetype of the former are long term space missions where communication delays to ground stations are prohibitively long, and we have to depend on the systems' local capabilities to deal with unforeseen circumstances. An archetype of the latter are flight control systems, which deal with a wide range of parameters, and a wide range of environmental factors. In recent years NASA conducted experiments evaluating adaptive computational paradigms (neural networks, AI planners) for providing fault tolerance capabilities in control systems following sensor and/or actuator faults. Experimental success suggests significant potential for future use. The critical factor limiting wider use of neural networks and other soft-computing paradigms in process control applications, is our (in)ability to provide a theoretically sound and practical approach to their verification and validation.

关键词： Adaptive systems Control systems Programmable control Adaptive control Neural networks Space missions Delay Satellite ground stations Aerospace control Environmental factors

来源：评论

学校读者我要写书评

暂无评论

Ethernet Wrapper: extension of the TCP Wrapper

Ethernet Wrapper: extension of the TCP Wrapper

引用

International Conference on Parallel and Distributed Systems (ICPADS)

作者： MoonSang Kwon Jiman Hong Yookun Cho System Software Research Laboratory Department of Computer Science and Engineering Seoul National University Seoul South Korea

ISBN: (纸本)0769511538

One of the popular network security programs supporting host access control is the 'TCP Wrapper' (Venema, 1992). TCP Wrapper is a software-only system and many computers connected to the Internet are using it. However, TCP Wrapper does 'IP address-based' access control. The IP address is not such a reliable source when authenticating a host. We point out two possible attacks against the TCP Wrapper, propose a new way to prevent them, and describe the prototype implementation, Ethernet Wrapper. By adding an Ethernet address check, we augmented the TCP Wrapper. The test results showed that Ethernet Wrapper can prevent such attacks effectively.

关键词： Ethernet networks TCPIP Authentication Access control computer security Prototypes System software computer science National security Internet

来源：评论

学校读者我要写书评

暂无评论

Detecting dead statements for concurrent programs

Detecting dead statements for concurrent programs

引用

IEEE International Workshop on Source Code Analysis and Manipulation

作者： Zhenqiang Chen Baowen Xu Hongji Yang Department of Computer Science & Engineering South-East University Nanjing China State Key Laboratory of Software Engineering Wuhan University of China Wuhan China Department of Computer Science De Montfort University UK

ISBN: (纸本)0769513875

With more and more concurrent programs being used in practice, technique and tools to analyze such programs are urgently needed. Due to the schedule, race conditions and synchronization among processes (threads), some statements may never be executed. Such statements are dead statements and have no influence on the programs except make them more difficult to analyze and understand. Therefore, the paper develops a data flow approach to detect dead statements for concurrent programs. With this method concurrent programs are represented by concurrent control flow graphs in a simple and precise way, and detecting rules are extracted by analyzing program behavior. Based on these rules, we propose a dead statement-detecting algorithm.

关键词： Yarn System recovery computer science Flow graphs Data mining Laboratories software engineering Scheduling algorithm Processor scheduling Petri nets

来源：评论

学校读者我要写书评

暂无评论

Use of categorization and structuring of messages in order to organize the discussion and reduce information overload in asynchronous textual communication tools

Use of categorization and structuring of messages in order t...

引用

International Workshop on Groupware

作者： M.A. Gerosa H. Fuks C.J.P. De Lucena Department R. M. S. Software Engineering Laboratory — Computer Science Rio de Janeiro RJ Brazil PUC-Rio Software Engineering Laboratory-Computer Science Department Catholic University of Rio de Janeiro Rio de Janeiro Rio de Janeiro Brazil

This paper shows how the use of categorization and structuring of messages in asynchronous textual communication tools could be useful in course delivery via the Internet in order to facilitate the argumentation and to guide the participants to reflect about their messages. Although the use of categorization caused an increase in the total number of messages, there was a reduction of the information overload and an increase in the quality of the discussion. We also show how the message categorization was used in a distance course delivered through the AulaNet environment, showing how we defined and improved the set of categories, and how it helped the students.

关键词： Internet software engineering Laboratories computer science Scattering Instruments Data mining Context Organizing Writing

来源：评论

学校读者我要写书评

暂无评论

An active and adaptive reuse repository system

An active and adaptive reuse repository system

引用

Annual Hawaii International Conference on System sciences (HICSS)

作者： Y. Ye Department of Computer Science University of Colorado Boulder Boulder CO USA Software Engineering Laboratory Software Research Associates Inc. Shinjuku Tokyo Japan

ISBN: (纸本)0769509819

Although software reuse repository systems have been an active research area for more than a decade, one important aspect has not been given enough attention: if software developers make no attempt to reuse, repository systems offer no help and reuse will not happen. Active information delivery, which presents information without being given explicit queries can motivate software developers to reuse. Critical challenges for active delivery systems are the contextualization of delivered information to the development task, and the adaptation of the information to each developer. This paper discusses how to address these challenges and demonstrates the feasibility of implementation through a prototype system.

关键词： Adaptive systems software reusability Programming software prototyping Prototypes Productivity software tools Switches software engineering Laboratories

来源：评论

学校读者我要写书评

暂无评论

Speculative precomputation: long-range prefetching of delinquent loads

Speculative precomputation: long-range prefetching of delinq...

引用

Annual International Symposium on computer Architecture, ISCA

作者： J.D. Collins Hong Wang D.M. Tullsen C. Hughes Yong-Fong Lee D. Lavery J.P. Shen Department of Computer Science and Engineering University of California San Diego La Jolla CA Microprocessor Research Laboratory Intel Corporation Santa Clara CA USA Microprocessor Research Lab Department of Computer Science and Engineering University of California San Diego La Jolla CA USA Department of Computer Science University of Illinois Urbana-Champaign Urbana IL USA Microcomputer Software Lab Intel Corporation Santa Clara CA Microcomputer Software Laboratory Intel Corporation Santa Clara CA USA Department of Computer Science University of Illinois at Urbana-Champaign Urbana IL

ISBN: (纸本)0769511627

This paper explores Speculative Precomputation, a technique that uses idle thread contexts in a multithreaded architecture to improve performance of single-threaded applications. It attacks program stalls from data cache misses by pre-computing future memory accesses in available thread contexts, and prefetching these data. This technique is evaluated by simulating the performance of a research processor based on the Itanium/sup TM/ ISA supporting Simultaneous Multithreading. Two primary forms of Speculative Precomputation are evaluated. If only the non-speculative thread spawns speculative threads, performance gains of up to 30% are achieved when assuming ideal hardware. However, this speedup drops considerably with more realistic hardware assumptions. Permitting speculative threads to directly spawn additional speculative threads reduces the overhead associated with spawning threads and enables significantly more aggressive speculation, overcoming this limitation. Even with realistic costs for spawning threads, speedups as high as 169% are achieved, with an average speedup of 76%.

关键词： Prefetching Yarn Bandwidth Hardware Surface-mount technology computer science Multithreading Delay Microprocessors Microcomputers

来源：评论

学校读者我要写书评

暂无评论

Compression of indoor video sequences using homography-based segmentation 8

Compression of indoor video sequences using homography-based...

引用

8th Pacific Conference on computer Graphics and Applications

作者： Park, TJ Fleishman, S Cohen-Or, D Lischinski, D Computer Software Technology Laboratory Electronics and Telecommunications Research Institute South Korea Computer Science Department Tel-Aviv University Israel School of Computer Science and Engineering Hebrew University of Jerusalem Israel

ISBN: (纸本)0769508685

We present a new compression algorithm for video sequences of indoor scenes, or more generally: sequences containing mostly planar and near-planar surfaces. Our approach utilizes edge and optical flow information in order to segment selected keyframes into regions of general shape, such that the motion of each region is predicted well by a planar homography. With this kind of motion prediction, the errors between the predicted intermediate frames and the actual ones are very small, and can be compactly encoded. Our results demonstrate significant improvements in the accuracy of the compressed video sequences, compared to standard general purpose video compression.

关键词： video compression planar homography edge detection image segmentation optical flow motion prediction image-based rendering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共289页 << < 268 269 270 271 272 273 274 275 276 277 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：