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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

166 篇 会议
15 册 图书
5 篇 期刊文献

馆藏范围

186 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

129 篇 工学
- 119 篇 计算机科学与技术...
- 85 篇 软件工程
- 5 篇 电气工程
- 5 篇 信息与通信工程
- 5 篇 控制科学与工程
- 4 篇 电子科学与技术（可...
- 2 篇 农业工程
- 2 篇 生物医学工程（可授...
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 仪器科学与技术
- 1 篇 矿业工程
- 1 篇 石油与天然气工程
- 1 篇 生物工程
- 1 篇 网络空间安全
22 篇 理学
- 16 篇 数学
- 3 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 物理学
- 1 篇 化学
- 1 篇 生物学
15 篇 管理学
- 8 篇 图书情报与档案管...
- 5 篇 管理科学与工程(可...
- 4 篇 工商管理
- 1 篇 公共管理
2 篇 农学
- 2 篇 作物学
1 篇 经济学
- 1 篇 应用经济学
1 篇 法学
- 1 篇 社会学
1 篇 教育学
- 1 篇 教育学
1 篇 医学
- 1 篇 护理学（可授医学、...

主题

18 篇 computer languag...
12 篇 database languag...
12 篇 query languages
10 篇 logic programmin...
9 篇 database systems
9 篇 software enginee...
9 篇 artificial intel...
9 篇 functional progr...
8 篇 parallel program...
8 篇 computer program...
7 篇 xml
7 篇 programming lang...
6 篇 computer science
6 篇 software enginee...
6 篇 mathematical log...
6 篇 costs
6 篇 semantics
6 篇 computer program...
6 篇 relational datab...
6 篇 logics and meani...

机构

2 篇 univ valladolid ...
2 篇 carleton univ sc...
2 篇 imdea software
2 篇 department of co...
2 篇 tallinn universi...
2 篇 univ aarhus dept...
2 篇 univ calabria di...
2 篇 vienna univ tech...
1 篇 philipps univ ma...
1 篇 xian technol uni...
1 篇 ibm corp almaden...
1 篇 mechanical engin...
1 篇 university paris...
1 篇 department of in...
1 篇 epfl
1 篇 univ nottingham ...
1 篇 dept. of informa...
1 篇 university of te...
1 篇 department of co...
1 篇 the pennsylvania...

作者

3 篇 schwartzbach mic...
2 篇 bertossi leopold...
2 篇 chakravarty manu...
2 篇 zhao yidan
2 篇 krennwallner tho...
2 篇 moreton-fernande...
2 篇 van gucht dirk
2 篇 gonzalez-escriba...
2 篇 cozman fabio g.
2 篇 carro manuel
2 篇 eiter thomas
2 篇 moller anders
2 篇 ianni giovambatt...
2 篇 steffen bernhard
2 篇 xiao qinkun
2 篇 li kin fun
2 篇 schindlauer roma...
2 篇 brabrand claus
2 篇 hanus michael
2 篇 keller gabriele

语言

183 篇 英文
2 篇 其他
1 篇 中文

检索条件"任意字段=10th International Symposium on Database Programming Languages"

共 186 条记录，以下是171-180 订阅

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

详细简洁

排序：

Modeling and evaluation of control flow prediction schemes using complete system simulation and Java workloads

Modeling and evaluation of control flow prediction schemes u...

引用

international symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS)

作者： Tao Li L.K. John R.H. Bell Department of Electrical and Computer Engineering University of Texas Austin Austin TX USA

Program control flow transfer (branch) prediction is considered to be a performance hurdle and a key design issue for current and future microprocessors. Branch prediction schemes with high prediction accuracy have been proposed to support longer processor pipelines with higher frequency clocks. In the previously published literature, the design and evaluation of branch predictors have been based heavily on the simulation of only user instructions from scientific and commercial workloads written in programming languages such as C or C++. To complement the existing research, the paper presents a case study of the modeling and evaluation of advanced branch predictors using full-system simulation of Java workloads running on a commercial operating system. the contributions of the paper are: (1) the presentation of a full system simulation framework to model, simulate and evaluate the performance of a set of advanced prediction schemes on emerging Java workloads; (2) an analysis of the performance and design complexity of advanced branch predictors in the presence of full system code; (3) an accurate modeling of user/kernel branch aliasing on a wide range of branch predictors.

关键词： Predictive models Java Analytical models Microprocessors Accuracy Pipelines Frequency Clocks Computer languages Operating systems

来源：评论

学校读者我要写书评

暂无评论

Disparity map using suboptimal cost with dynamic programming

Disparity map using suboptimal cost with dynamic programming

引用

IEEE international symposium on Signal Processing and Information Technology (ISSPIT)

作者： Eman F. Sawires Alaa M. Hamdy Fathy Z. Amer E.M. Bakr Electronics Communication and Computer Department Helwan University Helwan Egypt Mechanical Engineering Department Helwan University Helwan Egypt

1D optimization methods based on dynamic programming (DP) stereo are of practical interest because it can reconstruct an observed 3D optical surface very quickly and thus has potential for real-time applications. While being efficient, its performance is far from the state of the art because the vertical consistency between the scanlines is not enforced. 1D optimization based on dynamic programming for stereo correspondence is re-examined by applying it to the vertical consistency between the scanlines as opposed to the individual scanlines. To do this, a pixel is allowed to have a disparity with possibly sub-optimal cost for it in two directions. thus, the proposed algorithm is a truly global optimization method because disparity estimate at one pixel depends on the disparity estimates at all the other pixels, unlike the scanline based methods. Proposed algorithm is evaluated on the benchmark Middlebury database. the algorithm is very simple, so the proposed algorithm should be a good candidate for real time implementation. the results are considerably better than that of the scanline based methods. While the results are not the state of the art, the proposed algorithm offers a good trade off in terms of accuracy and computational efficiency.

关键词： Pixel Optimization methods Heuristic algorithms Mathematical model Equations Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

A controlled experiment for evaluating a metric-based reading technique for requirements inspection

A controlled experiment for evaluating a metric-based readin...

引用

international symposium on Software Metrics

作者： B. Bernardez M. Genero A. Duran M. Toro Department of Computer Languages and Systems University of Seville Seville Spain ALARCOS Research Group Department of Computer Science University of Castilla La Mancha Ciudad Real Spain

ISBN: (纸本)0769521290

Natural language requirements documents are often verified by means of some reading technique. Some recommendations for defining a good reading technique point out that a concrete technique must not only be suitable for specific classes of defects, but also for a concrete notation in which requirements are written. Following this suggestion, we have proposed a metric-based reading (MBR) technique used for requirements inspections, whose main goal is to identify specific types of defects in use cases. the systematic approach of MBR is basically based on a set of rules as "if the metric value is too low (or high) the presence of defects of type de fType/sub 1/,...de fType/sub n/ must be checked". We hypothesised that if the reviewers know these rules, the inspection process is more effective and efficient, which means that the defects detection rate is higher and the number of defects identified per unit of time increases. But this hypotheses lacks validity if it is not empirically validated. For that reason the main goal is to describe a controlled experiment we carried out to ascertain if the usage of MBR really helps in the detection of defects in comparison with a simple checklist technique. the experiment result revealed that MBR reviewers were more effective at detecting defects than checklist reviewers, but they were not more efficient, because MBR reviewers took longer than checklist reviewers on average.

关键词： Inspection Concrete Computer languages Computer science Natural languages programming Proposals Bioreactors System testing Error analysis

来源：评论

学校读者我要写书评

暂无评论

Platform-Based Inference System Design Using FML and Fuzzy Technology for Healthcare

Platform-Based Inference System Design Using FML and Fuzzy T...

引用

international symposium on Parallel Architectures, Algorithms and Networks (ISPAN)

作者： Chen-Yu Chen Mingzoo Wu Chi-Lu Yang Shing-Hua Ho Chin-Yuan Hsu Institute for Information Innovative Digitech-Enabled Applications and Services Institute Kaohsiung Taiwan

this study presents a framework of platform-based inference system design to provide specific field experts/users developing customized fuzzy inference system efficiently and effectively. the framework is composed of three major components: FML editor, FML parser and FML inference engine. First, the FML editor can let field experts compile knowledge base and rule base with friendly user interface. the composed FML documents are then sent to our inference system platform through the Internet. the FML parser is used to transform the predefined knowledge and rule bases into object-oriented database. the inferred results eventually can be derived by FML inference engine with testing data collected by a user and the interpreted object-oriented database. Besides, users also can directly use our inference system platform if related FML-based knowledge and rule bases defined by other experts. the convenience and practicability for developing a fuzzy expert system in a specific field have been demonstrated by its application to health-care and abnormal diagnosis of cogen systems.

关键词： Fuzzy systems Medical services Application software Fuzzy neural networks Search engines Object oriented databases Fuzzy control Markup languages Artificial intelligence Inference algorithms

来源：评论

学校读者我要写书评

暂无评论

Test framework for IPv6 conformance testing

Test framework for IPv6 conformance testing

引用

Asia-Pacific Conference on Communications

作者： Yujun Zhang Zhongcheng Li Institute of Computing Technology Chinese Academy and Sciences Beijing China

ISBN: (纸本)0780386019

It is necessary to perform IPv6 testing at present. the standard test framework isn't appropriate for IPv6 testing in test packet description and complicated algorithm implementation. Based on analyzing IPv6 features and test requirements, IPv6 test framework is proposed. Test packet description notation (TPDN) is defined. Complicated algorithms are implemented in test system by high-level programming language. Test suite can invoke algorithm modules by algorithm property. Test practice is performed to prove the validity of the framework. IPv6 test framework can also be applied to other protocol testing that has packets with structural features and complicated algorithms.

关键词： Protocols Internet Performance evaluation ISO standards IEC standards Costs Plugs Quality of service System testing Computer languages

来源：评论

学校读者我要写书评

暂无评论

Storage Planning and Management Using a Web-Based Management Service

Storage Planning and Management Using a Web-Based Management...

引用

IFIP/IEEE international symposium on Integrated Network Management

作者： V. Gogate V. K. Naik I. Narang U. Sharma P. Varma Almaden Research Center IBM San Jose USA T.J. Watson Research Center IBM Yorktown Heights NY USA India Research Laboratory IBM New Delhi India

ISBN: (纸本)1424407982

We describe a novel approach for the on-line scheduling of storage network access in shared application-hosting environments. Our storage resource management and reservation service (RMRS) dynamically makes advance reservation of storage bandwidth for various accesses while resolving the potential for conflict unutilized storage network capacity is maintained at an optimal level for being able to support unexpected load/contingencies, while preventing any capacity underutilization. Among the novelties offered by our work are: (l)a Web-service architecture (2) an application domain of storage accesses for normal database workload, backup, replication, migration and recovery, while supporting business objectives, QoS, and service-level commitments (3) a formulation of the scheduling problem as a practical linear programming (LP) problem comprising a reshaping linearization and integer relaxation of the modeled non linear bandwidth constraints.

关键词： Resource management Bandwidth Job shop scheduling Storage area networks Protection Environmental management Channel allocation Processor scheduling databases Linear programming

来源：评论

学校读者我要写书评

暂无评论

An exception handling mechanism for developing dependable object-oriented software based on a meta-level approach

An exception handling mechanism for developing dependable ob...

引用

international symposium on Software Reliability Engineering (ISSRE)

作者： A.F. Garcia D.M. Beder C.M.F. Rubira Institute of Computing State University of Campinas-UNICAMP Brazil

the current lack of effective error-handling techniques for developing dependable object-oriented software produces software components which are usually difficult to understand, to change and to maintain in the presence of faults. Ideally, such components should incorporate their exceptional activity in a structured and transparent manner so that the abnormal code would not be amalgamated into the normal code. In this context, we propose the design and implementation of an object-oriented exception handling mechanism based on a meta-level approach. the goal of our work is twofold: (i) to define an exception handling model which supports a clear and transparent separation of the normal activity of a component from its exceptional activity, and (ii) to provide a meta-level architecture which implements such mechanism. this mechanism does not require any special language support and was implemented within the Java programming language without any changes to the language itself by means of a meta-object protocol.

关键词： Electrical capacitance tomography Software systems Software maintenance Computer architecture Java Computer languages Protocols Costs Reflection Object oriented modeling

来源：评论

学校读者我要写书评

暂无评论

Developing a high-quality software tool for fault tree analysis

Developing a high-quality software tool for fault tree analy...

引用

international symposium on Software Reliability Engineering (ISSRE)

作者： J.B. Dugan K.J. Sullivan D. Coppit Department of Electrical Engineering University of Virginia Charlottesville VA USA Department of Computer Science University of Virginia Charlottesville VA USA

Sophisticated dependability analysis techniques are being developed in academia and research labs, but few have gained wide acceptance in industry. To be valuable, such techniques must be supported by usable, dependable software tools. We present our approach to addressing these issues in developing a dynamic fault tree analysis tool called Galileo. Galileo is designed to support efficient system-level analysis by automatically decomposing fault trees into modules that are solved separately using appropriate techniques. Usability is addressed by a software architecture based on a component-based design technique that we call package-oriented programming. We integrate multiple, volume-priced mass-market software packages to provide the bulk of the tool superstructure. To address tool dependability, we are developing natural language and partial formal specifications of fault tree elements, and we exploit the inherent redundancy associated with multiple analysis techniques as an aid in testing.

关键词： Software tools Fault trees Software packages Usability Software architecture Packaging Natural languages Formal specifications Redundancy Testing

来源：评论

学校读者我要写书评

暂无评论

Software standardization process in Brazil

Software standardization process in Brazil

引用

Software Engineering Standards symposium international

作者： K.C. Weber R.A.R. Almeida D. Scalet V.V. Ortencio Software Standardization Subcommittee Brazilian Association for Technical Standards Curitiba Parana Brazil

the international software standardization effort has contributed to the exceptional development of this sector in the last few years. Brazil has been participating in the software standardization process, through ABNT (Brazilian Association for Technical Standards) as a permanent member of the standardization initiatives of ISO/IEC/JTCI (ISO/IEC Joint Technical Committee for Information Technology). the activities of SC21:10, ABNT's software subcommittee, since its creation in 1992, in Curitiba, capital of the State of Parana, and the contributions of these activities to the dissemination of software standards and software quality concepts in Brazil, are reported in this paper. SC21:10 focuses its work in two areas: software engineering standards; and programming languages, operating systems and database standards. the SC21:10 strategies are focused on two main objectives: the production of Brazilian standards (NBR) on software and the contribution to the international standardization effort on software.

关键词： Standardization Software standards IEC standards ISO standards Software quality Information technology Software engineering Computer languages Operating systems databases

来源：评论

学校读者我要写书评

暂无评论

String Processing and Information Retrieval 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Mario A. Nascimento Edleno S. Moura Arlindo L. Oliveira

ISBN: (数字)9783540399841

ISBN: (纸本)9783540201779

this volume of the Lecture Notes in Computer Science series provides a c- prehensive, state-of-the-art survey of recent advances in string processing and information retrieval. It includes invited and research papers presented at the 10th international symposium on String Processing and Information Retrieval, SPIRE 2003, held in Manaus, Brazil. SPIRE 2003 received 54 full submissions from 17 countries, namely: - gentina(2), Australia(2), Brazil(9),Canada(1),Chile (4),Colombia(2),Czech Republic (1), Finland (10), France (1), Japan (2), Korea (5), Malaysia (1), P- tugal (2), Spain (6), Turkey (1), UK (1), USA (4) – the numbers in parentheses indicate the number of submissions from that country. In the nontrivial task of selecting the papers to be published in these proceedings we were fortunate to count on a very international program committee with 43 members, represe- ing all continents but one. these people, in turn, used the help of 40 external referees. During the review processall but a few papers had four reviewsinstead of the usual three, and at the end 21 submissions were accepted to be p- lished as full papers, yielding an acceptance rate of about 38%. An additional set of six short papers was also accepted. the technical program spans over the two well-de?ned scopes of SPIRE (string processing and information retrieval) with a number of papers also focusing on important application domains such as bioinformatics. SPIRE 2003 also features two invited speakers: Krishna Bharat (Google, Inc. ) and Joa ˜o Meidanis (State Univ. of Campinas and Scylla Bioinformatics).

关键词： Software Engineering/programming and Operating Systems Information Storage and Retrieval Data Structures Data Structures and Information theory Algorithm Analysis and Problem Complexity database Management

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共19页 << < 10 11 12 13 14 15 16 17 18 19 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：