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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

118 篇 会议
34 册 图书
3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

73 篇 工学
- 68 篇 软件工程
- 66 篇 计算机科学与技术...
- 3 篇 电气工程
- 2 篇 控制科学与工程
- 1 篇 电子科学与技术（可...
- 1 篇 信息与通信工程
- 1 篇 建筑学
12 篇 理学
- 10 篇 数学
- 1 篇 大气科学
- 1 篇 系统科学
12 篇 管理学
- 7 篇 管理科学与工程(可...
- 7 篇 工商管理
- 5 篇 图书情报与档案管...
2 篇 教育学
- 2 篇 教育学

主题

27 篇 software enginee...
25 篇 software enginee...
15 篇 operating system...
14 篇 computer languag...
14 篇 programming lang...
13 篇 programming
13 篇 programming tech...
12 篇 mathematical log...
12 篇 logics and meani...
10 篇 artificial intel...
9 篇 computer communi...
8 篇 programming prof...
8 篇 computer program...
7 篇 real time system...
7 篇 hardware
7 篇 algorithm analys...
6 篇 software systems
6 篇 theory of comput...
6 篇 application soft...
5 篇 semantics

机构

2 篇 faculty of scien...
2 篇 metacase yliston...
1 篇 chair for softwa...
1 篇 lucent technol m...
1 篇 rechen- und komm...
1 篇 univ copenhagen ...
1 篇 mohammed v unive...
1 篇 logicblox atlant...
1 篇 politehnica univ...
1 篇 395 dreese labor...
1 篇 university of li...
1 篇 conacyt centroge...
1 篇 the laurels tele...
1 篇 caltech jet prop...
1 篇 natl univ of les...
1 篇 distributed prog...
1 篇 dipartimento di ...
1 篇 microsoft
1 篇 lehrstuhl für wi...
1 篇 universitat poli...

作者

3 篇 gray jeff
3 篇 spinczyk olaf
2 篇 clarke dave
2 篇 friesel daniel
2 篇 rossi matti
2 篇 b.c.p. tang
2 篇 tolvanen juha-pe...
2 篇 sprinkle jonatha...
2 篇 ferguson edward ...
2 篇 michel r. v. cha...
2 篇 ligler george t.
1 篇 dražen drašković
1 篇 gerard allwein
1 篇 h. tokuda
1 篇 fredlund lars-åk...
1 篇 arnd poetzsch-he...
1 篇 handurukande s.b...
1 篇 c. aiswarya
1 篇 hammond l
1 篇 erik proper

语言

154 篇 英文
1 篇 其他

检索条件"任意字段=11th Workshop on Programming Languages and Operating Systems"

共 155 条记录，以下是101-110 订阅

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

详细简洁

排序：

Knowledge management in the SAREL system 11

Knowledge management in the SAREL system

引用

11th International workshop on Database and Expert systems Applications

作者： Castell, N Hernández, A Univ Politecn Catalunya TALP Res Ctr ES-08034 Barcelona Spain

ISBN: (纸本)0769506801

the specification phase is one of the most important and least supported parts of the software development process. SAREL (Assistance System for Writing Software Specifications in Natural Language) has been conceived as a knowledge-based tool to improve the specification phase. the purpose of SAREL is to assist engineers in the creation of software specifications written in Natural Language (NL). the aim of this paper is to present the creation process of the Knowledge Base and the Requirements Base corresponding to a software specification written in NL. this process uses some linguistic engineering tools developed in our department for the pre-processing of the input documents. SAREL is designed to process documents that contain preliminary software specifications. these documents are divided into several parts. We can distinguish the Introduction and the Overall Description as parts that should be used in the Knowledge Base construction. Up to a certain point, these two parts contain all the background information needed to understand the problem as a whole. the information contained in the specific Requirements Section corresponds to the information represented bl the Requirements Base.

关键词： Control systems Documentation Knowledge engineering Knowledge management Natural languages Process design programming Software engineering Software quality Writing

来源：评论

学校读者我要写书评

暂无评论

11th International workshop on Implementation of Functional languages, IFL 1999

11th International Workshop on Implementation of Functional ...

引用

11th International workshop on Implementation of Functional languages, IFL 1999

ISBN: (纸本)3540678646

the proceedings contain 11 papers. the special focus in this conference is on Applications and Compilation Techniques. the topics include: Using clean for platform games;type-inference based short cut deforestation nearly without inlining;weak pointers and stable names in haskell;optimising recursive functions yielding multiple results in tuples in a lazy functional language;on code generation for multi-generator with-loops in SAC;a reversible SEMCD machine;the implementation of interactive local state transition systems in clean;meta information in a functional programming language;haskell-coloured petri nets and algorithmic skeletons in haskell.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Knowledge management in the Sarel system

Knowledge management in the Sarel system

引用

International workshop on Database and Expert systems Applications

作者： N. Castell A. Hernandez TALP Research Center Universitat Poliltècnica de Catalunya Barcelona Spain

the specification phase is one of the most important and least supported parts of the software development process. SAREL (Assistance System for Writing Software Specifications in Natural Language) has been conceived as a knowledge based tool to improve the specification phase. the purpose of SAREL is to assist engineers in the creation of software specifications written in natural language (NL). the aim of the paper is to present the creation process of the knowledge base and the requirements base corresponding to a software specification written in NL. this process uses some linguistic engineering tools developed in our department designed to process documents that contain preliminary software specifications. these documents are divided into several parts. We can distinguish the Introduction and the Overall Description as parts that should be used by the knowledge base construction. Up to a certain point, these two parts contain all the background information needed to understand the problem as a whole. the information contained in the specific requirements section corresponds to the information represented in the requirements base.

关键词： Knowledge management Writing Software quality Natural languages programming Knowledge engineering Control systems Process design Documentation Software engineering

来源：评论

学校读者我要写书评

暂无评论

An adaptable human-agent collaboration information system in manufacturing (HACISM)

An adaptable human-agent collaboration information system in...

引用

International workshop on Database and Expert systems Applications

作者： G.S. Loo B.C.P. Tang L. Janczewski Department of Management Science and Information Systems University of Auckland New Zealand

Intelligent agents are built based on theories, architectures and languages. the basic deliberative agent theories include beliefs, desires and intentions. However the deliberative agents lack flexibility to manage unseen problems. It is because the existing knowledge base does not cover the unanticipated circumstances. this research project extends and enhances the features of the deliberative agents, demonstrating the usefulness applied to the manufacturing industry. this paper focuses on the human-agent interactions and how management can optimise profit for the organisation. the garment manufacturing industry in Hong Kong is selected for demonstrating how an existing industry can utilise different types of agents to enhance its transactions and manufacturing procedures to adapt to a dynamic business environment. these agents learn new facts from the end-users to generate suggestions to assist end-users in decision-making for the quota management and material usage by using rules, fuzzy logic and an artificial neural network. thus, agents can provide flexible human-agent collaboration.

关键词： Collaboration Information systems Clothing Intelligent agent Manufacturing industries Management information systems Artificial neural networks Fuzzy logic programming Application software

来源：评论

学校读者我要写书评

暂无评论

Mobile agent applications in a distributive interactive virtual environment: the Happy Paradise (HAPA)

Mobile agent applications in a distributive interactive virt...

引用

International workshop on Database and Expert systems Applications

作者： G.S.L. Loo D.H.S. Ly B.C.P. Tang Department of Management Science & Information Systems University of Auckland Auckland New Zealand

the Happy Paradise (HAPA) is a means for end-users to explore different worlds, to investigate different businesses in industry, at close range, in a multimedia setting or to learn about kindness and naturalness of our society. It is meant for teens, adults and professionals to investigate the world(s) of their interest. It is constructed using Distributed Interactive Virtual Environment (DIVE, available on the Web), multimedia visual software that supports distributed multi-users on heterogeneous platforms. the research project IMAIS explores the design of mobile agents that travel through the various worlds, using the evolutionary development paradigm in software engineering. this paper shares with new developers the basic approach and knowledge useful for creating a new virtual world, minimising wastage of time and reducing the steep learning curve. HAPA adopts Beliefs, Desires, Intentions (BDI), Goals and Plans modelling to build enhanced deliberative agents. Fuzzy queries from the explorers during their travels are supported. HAPA proposes a simple software engineering approach for new developers to create easily a virtual world for tourism using mobile agents. the tour agent and security agent creations are used in the presentation of the methodology.

关键词： Mobile agents Virtual environment Software engineering programming Software performance Software agents Magnetosphere Application software operating systems Geoscience

来源：评论

学校读者我要写书评

暂无评论

Stampede a programming system for emerging scalable interactive multimedia applications 11th

引用

11th International workshop on languages and Compilers for Parallel Computing, LCPC 1998

作者： Nikhil, Rishiyur S. Ramachandran, Umakishore Rehg, James M. Halstead, Robert H. Joerg, Christopher F. Kontothanassis, Leonidas Compaq Computer Corporation Cambridge Research Laboratory One Kendall Square Bldg. 700 CambridgeMA02139 United States College of Computing Georgia Institute of Technology AtlantaGA30332 United States Curl Corporation 4 Cambridge Center 7th floor CambridgeMA02142 United States

ISBN: (纸本)3540664262

Stampede is a programming system for emerging scalable applications on clusters. the goal is to simplify the programming of applications that are interactive (often using vision and speech), that have highly dynamic computation structures, and that must run on platforms consisting of a mix of front-end machines and high-performance backend servers with a variety of processors and interconnects. We approach this goal by retaining, as far as possible, the well-known POSIX threads model currently in use on SMPs. Stampede offers cluster-wide threads with optional loose temporal synchrony, and consistently-cached distributed shared objects. A higher- level sharing/ communication mechanism called Space-Time Memory, with automatic garbage collection, is particularly suited to the complex buffer management that arises in real-time analysis hierarchies based on video and audio input. In this paper, we describe an example of our target class of applications, and describe features of Stampede that support cluster-based implementations of such applications. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Interactive computer systems

来源：评论

学校读者我要写书评

暂无评论

Gas inlet control system for the stellarator TJ-II

Gas inlet control system for the stellarator TJ-II

引用

IEEE NPSS Conference on Real Time

作者： L. Pacios I. Labrador A. de la Pera R. Carrasco F. Lapayese Asociacion EURATOM-CIEMAT para Fusion Madrid Spain

this paper describes the Gas Inlet Control System for the TJ-II Stellarator, which is currently in operation in Madrid (Spain). this system is an essential control element of the TJ-II, which has been commissioned, designed, and built to provide the appropriate values of gas density during the whole evolution of the experimental pulses. the gas is puffed using a set of 8 piezoelectric valves, which is driven by a preprogrammed voltage signal. Mainly aperture time and the desired density inside the vacuum vessel define the signal profile. this density depends on a complex function of the voltage applied to the valve and the accumulated effect of consecutive inlets during a shot. An arbitrary waveform generator VME module generates the output signal In order to do all this in a friendly environment and with access from different hardware platforms, a graphical user interface has been developed using the JAVA programming language; so, all the parameters in the system can be fully configured using Internet applet viewers. this graphical application interfaces with the control software running on OS9 real time operating system. Specific socket and a web server are used on the VME crate side. Remote access to the system is allowed from computers in the TJ-II control Intranet.

关键词： Control systems Valves Voltage Signal generators Apertures Hardware Graphical user interfaces Java Computer languages Internet

来源：评论

学校读者我要写书评

暂无评论

Abstraction-based misuse detection: High-level specifications and adaptable strategies

Abstraction-based misuse detection: High-level specification...

引用

11th IEEE Computer Security Foundations workshop

作者： Lin, JL Wang, XS Jajodia, S George Mason Univ Ctr Secure Informat Syst Fairfax VA 22030 USA

ISBN: (纸本)0818684895

A typical misuse detections system contains (1) a language for describing: known lt techniques (called misuse signatures) used by attackers to penetrate the target system, and (2) monitoring programs for detecting the presence of all attack based on the given misuse signatures. In most of the systems appeared in the literature, however, the description of misuses is often in terms of a low-level language (i.e., in terms of audit records of the target system), that either has limited expressiveness or is difficult to use. Moreover the monitoring algorithms are often fixed and do not adapt to a changing operating ent environment or to objectives of the site security officer. To ar overcome these limitations, this paper defines a higher et language for abstract misuse signatures (MuSigs). Due to the rise of high-level concepts, a MuSig can represent misuses in a simple form and yet rr with high expressiveness. the paper also introduces a set of system directives provided by the system designer irt support of high-level concepts. the paper then discusses ways to translate MuSigs into monitoring program with the help of the system directives. the adaptability of the system is obtained by the ability for the site security officer to add or delete system directives to change the behavior of the monitoring program.

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

11th International workshop on languages and Compilers for Parallel Computing, LCPC 1998

引用

11th International workshop on languages and Compilers for Parallel Computing, LCPC 1998

ISBN: (纸本)3540664262

the proceedings contain 24 papers. the special focus in this conference is on Java, Locality and Network Computing. the topics include: From flop to megaflops;considerations in HPJava language design and implementation;a loop transformation algorithm based on explicit data layout representation for optimizing locality;an integrated framework for compiler-directed cache coherence and data prefetching;I/O granularity transformations;a programming system for emerging scalable interactive multimedia applications;network-aware parallel computing with remos;object-oriented implementation of data-parallelism on global networks;optimized execution of fortran 90 array language on symmetric shared-memory multiprocessors;a retargetable environment for automatic data layout;automatic parallelization of C by means of language transcription;improving compiler and run-time support for irregular reductions using local writes;container-centric approach for parallelization of real-world symbolic applications;a new framework for generating efficient code for sparse matrix computations;HPF-2 support for dynamic sparse computations;integrated instruction scheduling and register allocation techniques;a spill code placement framework for code scheduling;copy elimination for parallelizing compilers;compiling for SIMD within a register;automatic analysis of loops to exploit operator parallelism on reconfigurable systems;principles of speculative run-time parallelization;the advantages of instance-wise reaching definition analyses in array SSA and dependency analysis of recursive data structures using automatic groups.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Supporting high level programming with high performance: the Illinois Concert system

Supporting high level programming with high performance: The...

引用

2nd International workshop on High-Level Parallel programming Models and Supportive Environments / 11th International Parallel Processing Symposium

作者： Chien, A Dolby, J Ganguly, B Karamcheti, V Zhang, XB Univ of Illinois Urbana United States

ISBN: (纸本)0818678836

Programmers of concurrent applications are faced with a complex performance space in which data distribution and concurrency management exacerbate the difficulty of building large, complex applications. To address these challenges, the Illinois Concert system provides a global namespace, implicit concurrency control and granularity management, implicit storage management, and object-oriented programming features. these features are embodied in a language ICC++ (derived from C++) which has been used to build a number of kernels and applications. As high level features can potentially incur overhead, the Concert system employs a range of compiler and runtime optimization techniques to efficiently support the high level programming model. the compiler techniques include type inference, inlining and specialization;and the runtime techniques include caching, prefetching and hybrid stack/heap multithreading. the effectiveness of these techniques permits the construction of complex parallel applications that are flexible, enabling convenient application modification or tuning. We present performance results for a number of application programs which attain good speedups and absolute performance.

关键词： concurrent languages concurrent object-oriented programming compiler optimization runtime systems object-oriented optimization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共16页 << < 7 8 9 10 11 12 13 14 15 16 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：