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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,774 篇 工学
- 1,140 篇 计算机科学与技术...
- 929 篇 软件工程
- 332 篇 信息与通信工程
- 193 篇 电气工程
- 182 篇 控制科学与工程
- 174 篇 生物工程
- 166 篇 电子科学与技术（可...
- 147 篇 仪器科学与技术
- 129 篇 光学工程
- 117 篇 生物医学工程（可授...
- 108 篇 机械工程
- 97 篇 核科学与技术
- 91 篇 化学工程与技术
- 76 篇 土木工程
- 72 篇 动力工程及工程热...
- 70 篇 安全科学与工程
- 60 篇 建筑学
- 58 篇 航空宇航科学与技...
1,016 篇 理学
- 406 篇 数学
- 394 篇 物理学
- 200 篇 生物学
- 121 篇 统计学（可授理学、...
- 120 篇 化学
- 102 篇 地球物理学
- 72 篇 系统科学
421 篇 管理学
- 268 篇 管理科学与工程(可...
- 178 篇 图书情报与档案管...
- 111 篇 工商管理
120 篇 医学
- 111 篇 临床医学
- 85 篇 基础医学(可授医学...
61 篇 法学
28 篇 教育学
27 篇 经济学
27 篇 农学
11 篇 军事学
9 篇 艺术学
8 篇 文学
2 篇 哲学
1 篇 历史学

主题

106 篇 hadron colliders
55 篇 software
54 篇 computer science
53 篇 computer archite...
52 篇 training
49 篇 semantics
46 篇 deep learning
46 篇 computational mo...
43 篇 machine learning
40 篇 software enginee...
40 篇 feature extracti...
34 篇 accuracy
33 篇 laboratories
32 篇 wireless sensor ...
32 篇 hardware
31 篇 optimization
29 篇 neutrons
28 篇 w & z bosons
28 篇 application soft...
27 篇 monitoring

机构

150 篇 centro brasileir...
149 篇 national and kap...
149 篇 istanbul technic...
149 篇 yerevan physics ...
148 篇 university of sp...
147 篇 universidad iber...
145 篇 brunel universit...
145 篇 indian institute...
145 篇 charles universi...
143 篇 academy of scien...
138 篇 università di to...
138 篇 imperial college...
138 篇 university of de...
136 篇 zhejiang univers...
136 篇 rwth aachen univ...
135 篇 infn sezione di ...
130 篇 department of ph...
128 篇 department of ph...
123 篇 università di ca...
121 篇 infn sezione di ...

作者

129 篇 ardid m.
128 篇 ferrara g.
111 篇 g. tonelli
111 篇 d. barney
111 篇 l. valencia palo...
110 篇 t. liu
110 篇 c. hensel
110 篇 a. garcia-bellid...
110 篇 a. steen
110 篇 n. cartiglia
110 篇 n. colino
110 篇 f. moortgat
110 篇 b. clerbaux
110 篇 g. sultanov
110 篇 m. a. ciocci
110 篇 k. lamichhane
110 篇 s. maselli
110 篇 e. migliore
109 篇 a. babaev
109 篇 v. karjavine

语言

2,390 篇 英文
307 篇 其他
42 篇 中文
1 篇 德文
1 篇 日文
1 篇 朝鲜文

检索条件"机构=Research Institute for Computer Architecture and Software Technology"

共 2742 条记录，以下是2601-2610 订阅

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

详细简洁

排序：

Quality-for-ASlS: A portable testing facility for ASIS 3rd

引用

3rd International Conference on Reliable software Technologies, Ada-Europe 1998

作者： Strohmeier, Alfred Fofanov, Vasiliy Rybin, Sergey Barbey, Stéphane Swiss Federal Institute of Technology Department of Computer Science Software Engineering Laboratory Lausanne1015 Switzerland Scientific Research Computer Center Moscow State University Vorob’evi Gori Moscow119899 Russia

ISBN: (纸本)3540645365

This paper describes the project Quality-for-ASIS, aiming at the development of an extensive testing facility for ASIS implementations. First the specific problems and requirements are presented. After a section about the basic concepts of ASIS and after a short introduction to testing, the designs and implementations for testing important subsets of ASIS are described. Finally, adequacy coverage statistics for a test set based on the ACVC compiler validation suite are provided. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Black-box testing

来源：评论

学校读者我要写书评

暂无评论

Design of a system to support security communication between a Web proxy and a CGI program based on PKI

Design of a system to support security communication between...

引用

International Conference on Parallel and Distributed Systems (ICPADS)

作者： Junseok Lee Kisong Yoon Computer and Software Technology Laboratory Electronic and Telecommunication Research Institute Daejeon Lithuania

ISBN: (纸本)0818686030

This paper discusses the design of a system to support security communications between a Web browser and a CGI program using PKI (public key infrastructure). TLS (transport layer security) supports security communications between a Web browser and a Web server, but this system supports security communications between a Web server and a CGI program as well as between a Web browser and a Web server. This system uses GSS (generic security service) API to communicate with PKI, and offers a Web user a Web proxy, and offers three library functions for CGI applications related to security. This makes it easier for a CGI developer to write a CGI program.

关键词： Communication system security Web server Information security Data security Protection Cryptography Context computer security Protocols Authentication

来源：评论

学校读者我要写书评

暂无评论

Detection of exclusive OR global predicates

Detection of exclusive OR global predicates

引用

IEEE International Conference on Automated software Engineering (ASE)

作者： Eunjung Lee Chang-Soon Park Dan-Hyung Lee Electronics and Telecommunication Research Institute Computer and Software Technology Laboratory South Korea

ISBN: (纸本)0818687509

Detecting global predicates in a distributed program is a useful tool for debugging and testing the program. Past research has considered several restricted forms of predicates, including conjunctive predicates and linked predicates, and their detection algorithms. The authors introduce an exclusive OR global predicates to describe exclusive usages of shared resources in distributed programs. An exclusive OR global predicate holds for a given run only when one or zero local predicate is true at every consistent global state during the run. One exclusive OR global predicate is enough to describe the mutual exclusion condition of n processes, while it takes O(n/sup 2/) conjunctive predicates. Moreover, the exclusive OR condition is easily detectable by sequentializing all true events in a given run. A centralized algorithm of detecting exclusive OR global predicates is presented.

关键词： Debugging Electronic equipment testing Detection algorithms Distributed computing Telecommunication computing Laboratories Event detection Automatic testing Clocks

来源：评论

学校读者我要写书评

暂无评论

Techniques for systematically generating framework diagram based on UML

Techniques for systematically generating framework diagram b...

引用

Asia-Pacific Conference on software Engineering

作者： Dong Kwan Kim Kyo Taeg Jung Chae Kyu Kim Computer Software Technology Laboratory Electronics and Telecommunications Research Institute Taejon South Korea

ISBN: (纸本)0818691832

As gradually increasing the complexity of the software, it is very important to improve the quality and the development productivity using the software reuse techniques. From the existing reuse research about functions, classes and design patterns, some framework reuse techniques have been introduced and developed. The framework is a mechanism for modeling the data and functions that various applications generally use in the specific domain and is the reusable component implemented partially. However, most of the current software development methodologies do not provide effective methods and instructions for modeling frameworks. Therefore, effective framework modeling techniques are needed. In this paper, we use Unified Modeling Language (UML) as the representative object-oriented methodology to provide the framework development techniques. Proposed techniques in this paper show the process for automatically generating framework diagrams from use case models, class diagrams and sequence diagrams provided by the UML. Frameworks are identified as clustering use cases with a common functionality and the structural and dynamic modeling about the identified frameworks are performed. In the framework modeling, the internal classes of frameworks and control flows among classes are defined. Based on the presented mapping process, we may expect to improve the productivity of the framework development by making framework diagrams from UML diagrams.

关键词： Unified modeling language Object oriented modeling Productivity Telecommunication computing Laboratories Reactive power Read only memory software engineering software quality Large-scale systems

来源：评论

学校读者我要写书评

暂无评论

High-performance external stencil computations using user-controllable I/O

High-performance external stencil computations using user-co...

引用

International Conference on Parallel and Distributed Systems (ICPADS)

作者： Jang Sun Lee Myung-Joon Kim Computer & Software Technology Laboratory Data Engineering Department Electronics and Telecommunications Research Institute Daejeon South Korea

ISBN: (纸本)0818686030

The UPIO (User-controllable Parallel I/O) we proposed in (Lee et al., 1996) extends the abstraction of a linear file model into an n-dimensional file model and removes the limitations of the linear file model, allowing users to control the layout of data blocks across disks and aggregating disk bandwidth through UPIO's interfaces. This enables users to plan I/Os, computations, communications, and data reuse effectively in many scientific and engineering applications. These applications can be characterized by the corresponding stencil and implemented using stencil algorithms. We show how well UPIO produces high-performance external stencil codes by designing I/O and communication-efficient external Laplace equation solver algorithms and exploring the effects of UPIO with the codes.

关键词： Application software Data engineering Algorithm design and analysis Laplace equations computer applications Control systems Concurrent computing Sun Communication system control Bandwidth

来源：评论

学校读者我要写书评

暂无评论

Statically checkable design level traits 13

Statically checkable design level traits

引用

13th IEEE International Conference on Automated software Engineering, ASE 1998

作者： Gil, Y. Eckel, Y. IBM T.J. Watson Research Center 30 Saw Mill River Rd. HawthorneNY10532 United States Software Systems Laboratory Faculty of Computer Science Technion-Israel Institute of Technology Technion City Haifa32000 Israel

ISBN: (纸本)0818687509

The paper is concerned with those properties of software that can be statically surmised from the source code. Many such properties have been extensively studied from the perspective of compiler construction technology. However, live variable analysis, alias analysis and the such are too low level to be of interest to the software engineer. The authors identify a family of statically checkable properties that should represent a higher level abstraction, and reach the detailed design level. Properties in this family which is defined by five precise distinguishing criteria are called traits. Some examples of traits include mutability, const correctness, ownership, and pure functions. In fact, in many ways, traits are non-standard types. They argue that traits should bring about similar benefits to these of static typing in terms of clarity, understandability, adherence to design decisions, and robustness. They further argue that traits can be used for better checking of substitutability in inheritance relationships. Having made the case for traits, they proceed to describing a taxonomy for classifying and understanding traits and show how it can be used to better understand previous work on this topic. The paper also discusses the abstract computational complexity of traits and compares previous research from that perspective. © 1998 IEEE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Professional And Ethical Training In Industry And Academia

Professional And Ethical Training In Industry And Academia

引用

Conference on software Engineering Education & Training (CSEE&T)

作者： D. Gotterbarn R. Riser L.H. Werth Software Engineering Ethics Research Institute East Tennessee State University USA Computer & Information Sciences East Tennessee State University USA Computer Science University of Technology USA

来源：评论

学校读者我要写书评

暂无评论

Understanding end-to-end Internet traffic dynamics

Understanding end-to-end Internet traffic dynamics

引用

IEEE Conference and Exhibition on Global Telecommunications (GLOBECOM)

作者： J. Andren M. Hilding D. Veitch Department of Computer Engineering Chalmers University of Technology Gothenburg Sweden Department of Communication System Lund Institute of Technology Lund Sweden Software Engineering Research Centre Carlton VIC Australia

An investigative tool for the direct study of end-to-end Internet traffic is presented, featuring a hybrid timing mechanism allowing high resolution time-stamping of packet departures in a UNIX environment. A method for the elimination of timing artifacts due to variations in clock rates, essential for the study of delay, is also presented. A preliminary report is gives on the detailed structure of end-to-end delay and loss processes using the tool. A number of consistent properties of interest are found including long range dependence in delay and a very simple structure for loss.

关键词： Internet Timing Clocks Protocols Synchronization Fractals State estimation Delay Telecommunication traffic Sampling methods

来源：评论

学校读者我要写书评

暂无评论

Stable transaction management for preserving the global integrity constraints in multidatabase systems

Stable transaction management for preserving the global inte...

引用

International Conference on Cooperative Information Systems

作者： Kyuwoong Lee Seog Park Department of Data Engineering Computer & Software Technology Lab Electronics and Telecommunications Research Institute Taejon South Korea Department of CS Sogang University Seoul South Korea

Multidatabase systems (MDBSs) are an integration of local database systems into a global distributed database system. The objectives of global transaction management are to avoid inconsistent retrieval and to guarantee the global serializability under the existence of indirect conflict which is unknown to the global transaction manager (GTM). research has shown that it is difficult to design the global concurrency control method because of local autonomy. Hence, we adopt the characteristics of global integrity constraints so that inconsistent global schedules can be prohibited and the higher degree of concurrency can be achieved. We propose the transaction model for maintaining the global integrity constraints and define the stable global transaction that cannot have any indirect conflict between global transactions. We also propose the optimistic concurrency control method to guarantee the global serializability and logical consistency.

关键词： Concurrency control Transaction databases Database systems Optimization methods Engineering management Data engineering software Concurrent computing Contracts

来源：评论

学校读者我要写书评

暂无评论

Development of PDM framework and customization environment

Development of PDM framework and customization environment

引用

technology of Object-Oriented Languages and Systems (TOOLS)

作者： Jeong Ah Kim Jin Hong Kim Namkyu Park Computer Education Department Kwandong University Kangneung South Korea SDS Software Research Institute Seoul South Korea Advanced Manufacturing System Division Korea Institute of Industrial Technology Chonan South Korea

ISBN: (纸本)0769500536

Framework is a template for a working program since framework consists of related classes and wired-in interactions among those classes. Reuse by framework is a promising way for improving the productivity and reducing the learning curve of a new domain. So far, many efforts for developing the frameworks have been started and a few real frameworks like CIM framework and domain frameworks were announced. We describe a project for developing a framework in PDM (Product Data Management) domain. PDM can be applied to several application domains, but there are some small differences in each application. Developing the framework is not easy. We discuss the current state and results of our project: 1) the phases of developing our framework, 2) applying design patterns, 3) support environments for customizing the framework, 4) the problems in developing a framework.

关键词： Fitting Programming profession Graphical user interfaces research and development Time to market Concurrent engineering Automatic generation control Monitoring Automatic control Manufacturing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共275页 << < 257 258 259 260 261 262 263 264 265 266 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：