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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,417 篇 会议
986 篇 期刊文献
72 册 图书

馆藏范围

3,475 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,005 篇 工学
- 1,564 篇 计算机科学与技术...
- 1,285 篇 软件工程
- 398 篇 信息与通信工程
- 337 篇 控制科学与工程
- 182 篇 生物工程
- 179 篇 电气工程
- 142 篇 电子科学与技术（可...
- 129 篇 生物医学工程（可授...
- 128 篇 机械工程
- 89 篇 安全科学与工程
- 86 篇 动力工程及工程热...
- 84 篇 光学工程
- 73 篇 化学工程与技术
- 71 篇 仪器科学与技术
- 71 篇 建筑学
- 67 篇 土木工程
880 篇 理学
- 481 篇 数学
- 207 篇 生物学
- 165 篇 系统科学
- 161 篇 物理学
- 141 篇 统计学（可授理学、...
- 73 篇 化学
591 篇 管理学
- 409 篇 管理科学与工程(可...
- 234 篇 图书情报与档案管...
- 230 篇 工商管理
132 篇 医学
- 121 篇 临床医学
- 102 篇 基础医学(可授医学...
92 篇 法学
- 68 篇 社会学
69 篇 经济学
- 69 篇 应用经济学
66 篇 教育学
- 66 篇 教育学
27 篇 农学
12 篇 文学
7 篇 军事学
4 篇 艺术学

主题

193 篇 software enginee...
166 篇 computer science
97 篇 application soft...
93 篇 computational mo...
87 篇 laboratories
75 篇 computer archite...
75 篇 machine learning
74 篇 software systems
74 篇 software
71 篇 artificial intel...
70 篇 deep learning
69 篇 distributed comp...
68 篇 accuracy
66 篇 wireless sensor ...
63 篇 quality of servi...
61 篇 resource managem...
59 篇 training
57 篇 grid computing
56 篇 cloud computing
54 篇 systems engineer...

机构

31 篇 beijing key labo...
26 篇 grid computing a...
22 篇 department of co...
22 篇 school of electr...
22 篇 seventh research...
21 篇 software enginee...
20 篇 college of compu...
18 篇 department of sy...
18 篇 state key labora...
17 篇 software enginee...
12 篇 department of el...
12 篇 department of so...
12 篇 max planck insti...
12 篇 department of co...
12 篇 school of inform...
11 篇 institute for so...
11 篇 sri lanka instit...
10 篇 school of softwa...
10 篇 department of so...
10 篇 school of intell...

作者

66 篇 rajkumar buyya
37 篇 buyya rajkumar
36 篇 junping du
31 篇 yingmin jia
24 篇 ismail leila
21 篇 fashan yu
18 篇 xenofon koutsouk...
16 篇 m. parashar
15 篇 song houbing
15 篇 zamli kamal z.
15 篇 gautam biswas
14 篇 biswas gautam
13 篇 choo kim-kwang r...
13 篇 materwala huned
12 篇 jafer shafagh
12 篇 veera boonjing
11 篇 philippe charlan...
11 篇 dustdar schahram
11 篇 ahmed bestoun s.
11 篇 zander carol

语言

3,358 篇 英文
90 篇 其他
22 篇 中文
3 篇 日文
2 篇 德文
2 篇 俄文
1 篇 法文
1 篇 斯洛文尼亚文
1 篇 土耳其文

检索条件"机构=Department of Software Engineering for Distributed Computer Systems"

共 3475 条记录，以下是3321-3330 订阅

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

详细简洁

排序：

Augmented inherited multi-index structure for maintenance of materialized path query views

Augmented inherited multi-index structure for maintenance of...

引用

International Workshop on Research Issues in Data engineering

作者： H.A. Kuno E.A. Rundensteiner Department of Elect. Engineering and Computer Science Software Systems Research Laboratory University of Michigan Ann Arbor MI USA

Materialized complex object-oriented views are a promising technique for the integration of heterogeneous databases and the development of powerful data warehousing systems. Path query views are virtual classes formed from selection queries that specify a predicate upon the value of an aggregation hierarchy path. The primary difference between previous work regarding OODB indexing and the efficient implementation of materialized path query views addressed in this paper lies in the nature of their usage. For OODB indexing, query usage is the primary purpose of index structures. Because the materialized view data itself can be used to answer queries, the primary use of index structures with regard to materialized path query views is for the incremental maintenance of views in the face of updates. We have developed an augmented inherited multi-index (AIM) strategy that is specifically tailored for the maintenance of materialized path query views. We find that we can improve update performance by augmenting traditional inherited multi-indices with structured representations of the path queries that use them. This enables us to use class hierarchy relationships to prune the number of aggregation paths that must be re-instantiated during update propagation and also to support complex path queries that include cycles.

关键词： Object oriented databases Warehousing Indexing distributed databases Workflow management software computer science software systems Laboratories Information technology Database systems

来源：评论

学校读者我要写书评

暂无评论

Consistent view removal in transparent schema evolution systems

Consistent view removal in transparent schema evolution syst...

引用

International Workshop on Research Issues in Data engineering

作者： V. Crestana-Taube E.A. Rundensteiner Department of Elect. Engineering and Computer Science Software Systems Research Laboratory University of Michigan Ann Arbor MI USA

We have developed the transparent schema evolution (TSE) system that, simulating schema evolution using object-oriented views, allows for the interoperability of applications with diverse and even changing requirements. TSE relieves users of the risk of making existing application programs obsolete when run against the modified schema, because the old view schema is maintained while a new view schema is generated to capture the changes desired by the user. However TSE may be generating a large number of schema versions (object-oriented view schemata) over time, resulting in an excessive build-up of classes and underlying object instances-some of which may potentially no longer be in use. We propose to solve this problem by developing techniques for effective and consistent schema removal. First, we characterize four potential problems of schema consistency that could be caused by removal of a single virtual class; and then outline our solution approach for each of these problems. Second, we demonstrate that view schema removal is sensitive to the order in which individual classes are processed. Our solution to this problem is the development of a dependency graph model for capturing the class relationships, used as a foundation for selecting among removal sequences. Designed to optimize the performance of the TSE system by effective schema version removal, the proposed techniques will enable more effective interoperability among evolving software applications.

关键词： Application software Object oriented modeling computer science software systems Laboratories Computational modeling Marine vehicles Design optimization software performance Veins

来源：评论

学校读者我要写书评

暂无评论

Extended real-time logic for hybrid systems controller design

Extended real-time logic for hybrid systems controller desig...

引用

IEE Colloquium on Hybrid Control for Real-Time systems

作者： J.G. Hall R. de Lemos High Integrity Systems Engineering Group Department of Computer Science University of York UK Centre for Software Reliability Department of Computing Science University of Newcastle UK

Summary form only given. Hybrid systems are systems which combine both continuous variable and discrete event dynamics. Their complexity has risen to the extent that traditional approaches which dealt separately with the continuous and discrete aspects of such systems have become obsolete. Instead of proposing a novel formal notation for the specification of controllers for hybrid systems we have developed extended real time Logic (ERTL) as a formal notation for the modelling and analysis of relative and absolute timing properties of hybrid systems. ERTL embeds the discrete system model of the real time logic (RTL) of Jahanian and Mok (1986, 1988) into continuous time, and adds the ability to reason about piecewise continuous functions using predicates over real valued variables. While RTL is able to formally describe the behaviour of computational entities in the time domain, ERTL also permits the formal description of the behaviour of physical entities in both value and time domains.

关键词： Discrete time systems

来源：评论

学校读者我要写书评

暂无评论

ERTL: an extension to RTL for the specification, analysis and verification of hybrid systems

ERTL: an extension to RTL for the specification, analysis an...

引用

Euromicro Conference on Real-Time systems

Real time logic (RTL) was introduced as a formalism for reasoning about the relative and absolute timing properties of computational tasks of discrete real-time systems. Extended real time logic (ERTL) is a formalism for the modelling and analysis of relative and absolute timing properties of hybrid systems (systems that combine continuous variables and discrete event dynamics). The extensions provided by ERTL enable the modelling of system behaviour ranging from activities of the physical entities that form part of the environment of a computing system, to the temporal ordering of the computational tasks of the computing system itself thus providing a formal notation that can be used in all stages of software development.

关键词： Real time systems Timing Logic Physics computing systems engineering and theory computer science software reliability Equations Hardware design languages Production systems

来源：评论

学校读者我要写书评

暂无评论

ASPECT-an Architecture SPECification Technique a report on work in progress

ASPECT-an Architecture SPECification Technique a report on w...

引用

International Conference and Workshop on engineering of computer-Based systems

作者： V. Kirova W. Rossak Department of Computer and Information Science Department of Computer and Information Science New Jersey Institute of Technology Newark NJ USA Department of Computer and Information Science Department of Computer and Information Science Software and Systems Engineering Laboratory New Jersey Institute of Technology Newark NJ USA

We discuss ASPECT, a first step towards a generic specification technique for software architectures. We present and discuss an abstract grammar for ASPECT that lists and relates to each other all the architectural elements that form ASPECT's vocabulary. After elaborating on the characteristics of these architectural elements, we illustrate their application in a small example.

关键词： computer architecture software systems systems engineering and theory Laboratories software architecture Information science Open systems Costs Decision support systems Standardization

来源：评论

学校读者我要写书评

暂无评论

Integration of a relational database with multimedia data

Integration of a relational database with multimedia data

引用

IEEE Annual International computer software and Applications Conference (COMPSAC)

作者： S.M. Chung P.S. Mah J.L. Kim Department of Computer Science and Engineering Wright State University Dayton OH USA Software Engineering Division Systems Engineering Research Institute Daejeon South Korea Software R & D Center Hyundai Electronics Industrial Company Limited Seoul South Korea

We propose a method for integrating a preexisting conventional database system with a multimedia server in a multidatabase environment. In the multidatabase environment, changes to the preexisting database system are not allowed because such changes are too expensive. For the integration, high-level semantic description of multimedia data is modeled using the enhanced entity-relationship (EER) model to support content-based retrieval of multimedia data. The EER design is translated into a schema of the preexisting database system and then the translated schema is integrated with the preexisting database schema. The content description can be used to locate pertinent multimedia data, and the identifiers are used to access the multimedia data stored in the multimedia server. However, with only a simple schema representation of the semantic description of multimedia data, high levels of recall and precision of queries may not be obtained because conventional database systems provide only exact matching answers to the query. Thus, we extended the conventional query processing mechanism by providing a modified cooperative query answering mechanism.

关键词： Relational databases Multimedia databases Database systems Information retrieval Videos Data engineering Content based retrieval systems engineering and theory Graphics Sprites (computer)

来源：评论

学校读者我要写书评

暂无评论

Virtual memory versus file interfaces for large, memory-intensive scientific applications 96

Virtual memory versus file interfaces for large, memory-inte...

引用

Proceedings of the 1996 ACM/IEEE conference on Supercomputing

作者： Yoonho Park Ridgway Scott Stuart Sechrest High Performance Computing Center University of Houston Houston TX Software Systems Research Laboratory Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI

ISBN: (纸本)9780897918541

Scientific applications often require some strategy for temporary data storage to do the largest possible simulations. The use of virtual memory for temporary data storage has received criticism because of performance problems. However, modern virtual memory found in recent operating systems such as Cenju-3/DE give application writers control over virtual memory policies. We demonstrate that custom virtual memory policies can dramatically reduce virtual memory overhead and allow applications to run out-of-core efficiently. We also demonstrate that the main advantage of virtual memory, namely programming simplicity, is not lost.

关键词： custom policies

来源：评论

学校读者我要写书评

暂无评论

Fast simulation of tandem networks using importance sampling and stochastic gradient techniques

Fast simulation of tandem networks using importance sampling...

引用

IEEE International Conference on Communications (ICC)

作者： J.A. Freebersyser M. Devetsikiotis W.A. Al-Qaq J.K. Townsend U. S Army Research Ofice NC USA Department of Systems & Computer Engineering Carleton University Ottawa ONT Canada Compact Software Inc. Paterson NJ USA Department of Electrical & Computer Engineering North Carolina State University Raleigh NC USA

To obtain large speed-up factors in Monte Carlo simulation using importance sampling (IS), the modification, or bias of the underlying probability measures must be carefully chosen. In this paper, we utilize the stochastic gradient descent (SGD) algorithm, which uses stochastic gradient optimization techniques, to arrive at favorable IS bias parameter settings for the simulation of tandem queues with bursty traffic, geometric service times and a finite buffer. We describe in detail the experimental method associated with applying the SGD algorithm. Speed-up factors of 1 to 8 orders of magnitude over conventional Monte Carlo estimation of the cell loss probability are achieved for the examples presented.

关键词： Monte Carlo methods Stochastic processes Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Incorporation of relational modeling method into object-oriented analysis

Incorporation of relational modeling method into object-orie...

引用

IEEE International Conference on Communications (ICC)

作者： Chung-Horng Lung J.E. Urban G.T. Mackulak Software Engineering Analysis Laboratory Nortel Technologies Inc. Ottawa ONT Canada Department of Computer Science Arizona State University Tempe AZ USA Systems Simulation Laboratory Industrial & Management Systems Engineering Arizona State University Tempe AZ USA

It is a generally accepted concept that multiple views are needed in object-oriented analysis or domain analysis techniques. Three commonly adopted models for requirements analysis include object model, functional model and dynamic model. This paper introduces and incorporates the concept of relational modeling into the analysis techniques. Relational modeling mainly deals with two tasks: classification of semantic relations and identification of higher-order system causal relations. Classification of semantic relations supports comparison and evaluation of various relations, which in turn can be used to select suitable methods to process the relations. A higher-order relation depicts the relations between different relations as opposed to the relations between objects often discussed in object modeling. A network of higher-order relations reveals the cause-effect dependency relationships and can facilitate understanding and reasoning of application systems. Furthermore, incorporation of relational modeling techniques can support software reuse in an application domain or across domains.

关键词： Object oriented modeling Application software Lungs computer science Computational modeling Analytical models computer simulation Laboratories Seals software engineering

来源：评论

学校读者我要写书评

暂无评论

Virtual Memory versus File Interface for Large, Memory-Intensive Scientific Applications

Virtual Memory versus File Interface for Large, Memory-Inten...

引用

Supercomputing Conference

作者： Yoonho Park R. Scott S. Sechrest High performance computing center University of Houston Houston TX USA Software Systems Research Laboratory Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA

关键词： Memory Operating systems Control systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共348页 << < 329 330 331 332 333 334 335 336 337 338 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：