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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

59 篇 会议
1 册 图书

馆藏范围

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

日期分布

学科分类号

48 篇 工学
- 46 篇 计算机科学与技术...
- 37 篇 软件工程
- 4 篇 信息与通信工程
- 3 篇 控制科学与工程
- 2 篇 仪器科学与技术
- 2 篇 生物工程
- 1 篇 机械工程
- 1 篇 电气工程
- 1 篇 航空宇航科学与技...
- 1 篇 生物医学工程（可授...
- 1 篇 安全科学与工程
14 篇 理学
- 11 篇 数学
- 2 篇 生物学
- 1 篇 海洋科学
- 1 篇 地质学
6 篇 管理学
- 4 篇 图书情报与档案管...
- 2 篇 管理科学与工程(可...
- 2 篇 工商管理
1 篇 法学
- 1 篇 社会学

主题

12 篇 computer program...
4 篇 software enginee...
4 篇 functional progr...
3 篇 modeling languag...
3 篇 logic programmin...
3 篇 computer languag...
3 篇 computer program...
2 篇 object oriented ...
2 篇 computer science
2 篇 programming prof...
2 篇 filters
2 篇 libraries
2 篇 programming
2 篇 algorithms
2 篇 parallel program...
2 篇 humans
2 篇 assembly
1 篇 software systems
1 篇 query languages
1 篇 computing and ed...

机构

2 篇 departamento de ...
1 篇 artificial intel...
1 篇 lig lab saint ma...
1 篇 univ nottingham ...
1 篇 department of co...
1 篇 japan science an...
1 篇 tartan laborator...
1 篇 univ hong kong p...
1 篇 central institut...
1 篇 sch of electr en...
1 篇 computer science...
1 篇 university of co...
1 篇 univ tartu dept ...
1 篇 department of co...
1 篇 cnrs f-75205 par...
1 篇 univ pisa dipart...
1 篇 univ paris 12 la...
1 篇 univ aix marseil...
1 篇 department of co...
1 篇 advanced technol...

作者

2 篇 lam monica s.
2 篇 mittal saurabh
1 篇 oliveira bruno c...
1 篇 fahringer thomas
1 篇 gronmo roy
1 篇 r. lo
1 篇 alvaro peter
1 篇 tauber tomas
1 篇 han taisook
1 篇 huang zhexue
1 篇 itabashi kazumas...
1 篇 hoole quinton
1 篇 riley graham
1 篇 bes alexis
1 篇 loh andres
1 篇 carlos canal
1 篇 vachharajani man...
1 篇 nichols mark a.
1 篇 kang hyun-goo
1 篇 barry matthew

语言

56 篇 英文
3 篇 葡萄牙文
1 篇 西班牙文

检索条件"任意字段=3rd Asian Symposium on Programming Languages and Systems"

共 60 条记录，以下是31-40 订阅

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

详细简洁

排序：

Testing the efficiency of JADE agent platform

Testing the efficiency of JADE agent platform

引用

3rd International symposium on Parallel and Distributed Computing (ISPDC 2004)/3rd International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks (HeteroPar 04)

作者： Chmiel, K Tomiak, D Gawinecki, M Karczmarek, P Szymczak, M Paprzycki, M Adam Mickiewicz Univ Dept Math & Comp Sci Poznan Poland

ISBN: (纸本)0769522106

Agent oriented programming is often described as the next breakthrough in development and implementation of large-scale complex software system. At the same time it is rather difficult to find successful applications of agent technology, in particular precisely when large-scale systems are considered. The aim of this paper is to investigate if one of the possible limits may be the scalability of existing agent technology. We have picked JADE agent platform as technology of choice and investigated its efficiency in a number of test cases. Results of our experiments are presented and discussed.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

State controlled execution for agent-object hybrid languages

引用

3rd International School and symposium on Advanced Distributed systems, ISSADS 2004

作者： Hernandez, Ivan Romero Koning, Jean-Luc Inpg-CoSy 50 rue Laffemas BP 54 Valence cedex 926902 France

ISBN: (纸本)3540221727

This paper explores some ideas about the implementation of state controlled execution for a language centered on agent interaction protocols. Such an approach could be useful because there an increasingly strong interest on the notion of role in the multiagent system domain. The strong recurrence role and the almos spontaneous appearance of interactio protocols in most practical applications of MAS, and the strong similarities this situation has with the pre-existing notion of class on the object oriented sense, suggest the high relevance of roles and the need of having adequate notational and programming artifacts to represent them. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Efficient type inference for record concatenation and subtyping

Efficient type inference for record concatenation and subtyp...

引用

17th Annual IEEE symposium on Logic in Computer Science held in Conjunction with the 3rd Federated Logic Conference

作者： Palsberg, J Zhao, T Purdue Univ Dept Comp Sci W Lafayette IN 47907 USA

ISBN: (纸本)0769514839

Record concatenation, multiple inheritance, and multiple-object cloning are closely related and part of various language designs. For example, in Cardelli's untyped Obliq language, a new object can be constructed from several existing objects by cloning followed by concatenation;an error is given in case of field name conflicts. Type systems for record concatenation have been studied by Wand, Harper and Pierce, Remy, and others;and type inference for the combination of record concatenation and subtyping has been studied by Sulzmann and by Pottier. In this paper we present the first polynomial-time type inference algorithm for record concatenation, subtyping, and recursive types. Our example language is the Abadi-Cardelli object calculus extended with a concatenation operator. The type inference algorithm runs in O(n(5)) time where n is the size of the program. Our algorithm enables efficient type checking of Obliq programs without changing the programs at all.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

An a-prolog decision support system for the space shuttle 1

引用

3rd International symposium on Practical Aspects of Declarative languages, PADL 2001

作者： Nogueira, Monica Balduccini, Marcello Gelfond, Michael Watson, Richard Barry, Matthew Department of Computer Science The University of Texas at El Paso United States Department of Computer Science Texas Tech University United States Advanced Technology Development Lab United Space Alliance United States

ISBN: (数字)9783540452416

ISBN: (纸本)9783540417682

The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be successfully applied to the development of medium size knowledge-intensive applications. We report on a successful design and development of such a system controlling some of the functions of the Space Shuttle. © Springer-Verlag Berlin Heidelberg 2001

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

State generation in the parmc model checker 3rd

引用

3rd International symposium on Practical Aspects of Declarative languages, PADL 2001

作者： Kaser, Owen University of New Brunswick Saint John Canada

ISBN: (纸本)9783540417682

The PARMC system performs modelc hecking for systems described in the XL language, a variant of CCS. Extending previous work by Dong and Ramakrishnan that compiled XL specifications into an optimized transition relation, we take their transition relation and compile it into S-code, producing instructions for a new lightweight engine S that was custom designed for PARMC. Difficult constructs are handled by the XSB logic programming engine, enabling both generality (from XSB) and speed (from S). States are maintained in a compressed representation, also improving memory utilization. Experiments were performed and showed that the anticipated speed and memory improvements were achieved. © Springer-Verlag Berlin Heidelberg 2001

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Practical software reuse (panel position paper) 3

Practical software reuse (panel position paper)

引用

3rd IEEE symposium on Application-Specific systems and Software Engineering Technology

作者： Frakes, WB Virginia Tech Dept Comp Sci Falls Church VA USA

This paper argues that software reuse is practical and ever evolving to accommodate programming with higher level assets and to allow more direct modeling of domains.

ISBN: (纸本)0769505597

This paper argues that software reuse is practical and ever evolving to accommodate programming with higher level assets and to allow more direct modeling of domains.

关键词： Algorithms Assembly Computer languages Computer science Filters Functional programming Humans Libraries programming profession Software engineering

来源：评论

学校读者我要写书评

暂无评论

Practical software reuse

Practical software reuse

引用

IEEE Workshop on Application-Specific Software Engineering Technolog (ASSET)

作者： W.B. Frakes Computer Science Department Virginia Polytechnic Institute and State University Falls Church USA

The article argues that software reuse is practical and ever evolving to accommodate programming with higher level assets and to allow more direct modeling of domains. It is concluded that there is a lot of industrial data that shows that reuse can significantly improve software quality and productivity (W. Lim, 1998). Reuse is part of the process by which programming is done with larger and larger units and with more domain specificity.

关键词： Libraries programming profession Humans Computer languages Assembly Functional programming Computer science Software engineering Algorithms Filters

来源：评论

学校读者我要写书评

暂无评论

On performance modeling for HPF applications with ASL 3rd

On performance modeling for HPF applications with ASL

引用

3rd International symposium on High Performance Computing, ISHPC 2000

作者： Fahringer, Thomas Gerndt, Michael Riley, Graham Träff, Jesper Larsson Institute for Software Science University of Vienna Austria Central Institute for Applied Mathematics Research Centre Juelich Germany Department of Computer Science University of Manchester United Kingdom C and C Research Laboratories NEC Europe Ltd United Kingdom

ISBN: (纸本)9783540411284

Multiprocessor systems are increasingly being used to handle large-scale scientific applications that demand high-performance. However, performance analysis is not as mature for multiprocessor systems as for uniprocessor systems, and improved ways of automatic performance analysis are needed to reduce the cost and complexity of developing distributed/ parallel applications. Performance analysis is commonly a cyclic process of measuring and analyzing performance data, identifying and possibly eliminating performance bottlenecks in slow progression. Currently this process is controlled manually by the programmer. We believe that the implicit knowledge applied in this cyclic process should be formalized in order to provide automatic performance analysis for a wider class of programming paradigms and target architectures. This article describes the performance property specification language (ASL) developed in the APART Esprit IV working group which allows specifying performance-related data by an object-oriented model and performance properties by functions and constraints defined over performance-related data. Performance problems and bottlenecks can then be identified based on user-or tool-defined thresholds. In order to demonstrate the usefulness of ASLw e apply it to HPF (High Performance Fortran) by successfully formalizing several HPF performance properties. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

PLANET: An open mobile object system for open network 1

PLANET: An open mobile object system for open network

引用

1st International symposium on Agent systems and Applications and 3rd International symposium on Mobile Agents, ASA/MA 1999

作者： Kato, Kazuhiko Matsubara, Katsuya Someya, Yuuichi Itabashi, Kazumasa Moriyama, Yutaka Institute of Information Sciences and Electronics University of Tsukuba Tennoudai 1-1-1 Tsukuba Ibaraki305-8573 Japan Japan Science and Technology Corporation Japan

ISBN: (纸本)0769503403

Mobile objects (or mobile agents) attract the attention of many researchers in many network-related research areas. Despite the broad attraction, the implementation schemes of mobile object systems are inclined to adopt programming language- centric approach;that is, the functionality of mobile object computing is so tightly incorporated into the design of a brand-new programming language that users are obliged to use the single programming language. Besides the programming-language-centricity, there is another trend in most current mobile object systems: byte code interpretation- basis, whereby the state of objects and/or computation activity can be handled in a straightforward and neat way, the platform-heterogeneity can be easily dealt with, and security-handling is not so difficult in principle.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Nomadic pict: Language and infrastructure design for mobile agents 1

Nomadic pict: Language and infrastructure design for mobile ...

引用

1st International symposium on Agent systems and Applications and 3rd International symposium on Mobile Agents, ASA/MA 1999

作者： Wojciechowski, Pawel T. Sewell, Peter Computer Laboratory University of Cambridge United Kingdom

ISBN: (纸本)0769503403

We study the distributed infrastructures required for location-independent communication between migrating agents. These infrastructures are problematic: different applications may have very different patterns of migration and communication, and require different performance and robustness properties;algorithms must be designed with these in mind. To study this problem we introduce an agent programming language - Nomadic Pict. It is designed to allow infrastructure algorithms to be expressed as clearly as possible, as translations from a high-level language to a low level. The levels are based on rigorously-defined process calculi, they provide sharp levels of abstraction. In this paper we describe the language and use it to develop an infrastructure for an example application. The language and examples have been implemented;we conclude with a description of the compiler and runtime.

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共6页 << < 1 2 3 4 5 6 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：