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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,044 篇 会议
100 篇 期刊文献
54 册 图书

馆藏范围

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

日期分布

学科分类号

2,152 篇 工学
- 1,675 篇 计算机科学与技术...
- 964 篇 软件工程
- 340 篇 电气工程
- 251 篇 控制科学与工程
- 196 篇 信息与通信工程
- 101 篇 机械工程
- 67 篇 电子科学与技术（可...
- 47 篇 化学工程与技术
- 47 篇 生物工程
- 46 篇 动力工程及工程热...
- 44 篇 仪器科学与技术
- 43 篇 石油与天然气工程
- 41 篇 材料科学与工程（可...
- 40 篇 生物医学工程（可授...
- 30 篇 交通运输工程
- 27 篇 土木工程
633 篇 理学
- 460 篇 数学
- 96 篇 物理学
- 79 篇 生物学
- 76 篇 系统科学
- 71 篇 统计学（可授理学、...
- 46 篇 化学
291 篇 管理学
- 219 篇 管理科学与工程(可...
- 103 篇 工商管理
- 83 篇 图书情报与档案管...
92 篇 教育学
- 92 篇 教育学
63 篇 医学
- 49 篇 临床医学
- 35 篇 基础医学(可授医学...
41 篇 法学
- 36 篇 社会学
28 篇 经济学
- 28 篇 应用经济学
19 篇 文学
19 篇 农学
2 篇 军事学
2 篇 艺术学

主题

220 篇 linear programmi...
212 篇 programming
170 篇 dynamic programm...
120 篇 logic programmin...
96 篇 integer programm...
76 篇 functional progr...
75 篇 optimization
72 篇 computer program...
67 篇 object oriented ...
65 篇 programming prof...
65 篇 computer program...
64 篇 genetic programm...
64 篇 parallel program...
64 篇 software
50 篇 quadratic progra...
48 篇 education
47 篇 software enginee...
44 篇 computational mo...
36 篇 computer science
36 篇 hardware

机构

10 篇 univ british col...
7 篇 lakhshya cyber s...
7 篇 univ edinburgh e...
6 篇 lakhshya cyber s...
6 篇 amrita vishwa vi...
4 篇 graduate school ...
4 篇 ural fed univ ek...
4 篇 center for compu...
4 篇 univ minho ctr a...
4 篇 naval systems an...
4 篇 univ manchester ...
4 篇 faculty of engin...
4 篇 school of electr...
4 篇 russian acad sci...
4 篇 department of in...
4 篇 chalmers univ te...
3 篇 electric dispatc...
3 篇 school of inform...
3 篇 school of electr...
3 篇 nanjing research...

作者

8 篇 schaub torsten
8 篇 de meuter wolfga...
8 篇 cheney james
8 篇 tompits hans
7 篇 woltran stefan
7 篇 pradeep menon
6 篇 r vinayakumar
6 篇 gebser martin
6 篇 soman k. p.
6 篇 vinayakumar r.
6 篇 kp soman
6 篇 menon pradeep
5 篇 liu yang
5 篇 t.t. shannon
5 篇 eiter thomas
5 篇 binder walter
5 篇 wadler philip
4 篇 leone nicola
4 篇 jun zhang
4 篇 de araújo costa ...

语言

3,133 篇 英文
48 篇 其他
12 篇 中文
3 篇 俄文
2 篇 西班牙文
1 篇 意大利文

检索条件"任意字段=9th International Conference on Functional Programming"

共 3198 条记录，以下是3011-3020 订阅

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

详细简洁

排序：

the design of the DUPLEX machine

The design of the DUPLEX machine

引用

IEEE Region 10 international conference TENCON

作者： Wai Lung Loh Department of Information Systems and Computer Science National University of Singapore Singapore

ISBN: (纸本)0780318625

As computers become less expensive, interest in using CPUs to build novel parallel systems has increased. the goal is to achieve high parallelism at low cost. We first examine the reasons why we need the graph reduction machine for the support of declarative languages to achieve high parallelism. We survey recent development in graph reduction machines, to point out their strengths and weaknesses. then we introduce a dual unit processing node architecture for the graph reduction machine that carefully separates the work load, as such one unit is responsible for network message handling and the other for supercombinator execution. Finally, we demonstrate that a highly parallel novel computer architecture is feasible at low cost.< >

关键词： Parallel processing functional programming Computer architecture Cost function Lungs Information systems Computer science Concurrent computing Application software Finishing

来源：评论

学校读者我要写书评

暂无评论

A compiler for BSP-L, a programming language for the Bulk Synchronous Parallel model

A compiler for BSP-L, a programming language for the Bulk Sy...

引用

IEEE Region 10 international conference TENCON

作者： T. Cheatham A. Fahmy D. Stefanescu Harvard University Cambridge MA USA

this paper describes a compiler environment for BSP-L, an experimental programming language based on the Bulk Synchronous Parallel model of computation whose goal is to enable the generation of highly efficient, archi... 详细信息

关键词： Program processors Computer languages Concurrent computing High performance computing Computer architecture Parallel processing Computational modeling Yarn Computational efficiency Synchronous generators

来源：评论

学校读者我要写书评

暂无评论

Inheritance anomaly in true concurrent object oriented languages: a proposal

Inheritance anomaly in true concurrent object oriented langu...

引用

IEEE Region 10 international conference TENCON

作者： L. thomas Department of Information Science Faculty of Science University of Tokyo Bunkyo Tokyo Japan

Concurrency in object oriented languages seems natural. However well known problems arise when we try to define such concurrent object oriented languages. these problems deal with the interferences between expressing true concurrency inside objects and expressing reuse. the paper presents a concurrent object model and illustrates through various examples how it solves these interferences.< >

关键词： Proposals Concurrent computing programming profession Information science Object oriented modeling Interference Object oriented programming Yarn Design methodology Terminology

来源：评论

学校读者我要写书评

暂无评论

Towards collaborative programming environment: a case study on visualization system

Towards collaborative programming environment: a case study ...

引用

IEEE Region 10 international conference TENCON

作者： Lin Feng Seah Hock Soon Lee Yong Tsui Chong Man Nang D.T.H. Tan D. Flyn P. Mack Centre for Graphics and Imaging Technology Nanyang Technological University Singapore School of Applied Science Nanyang Technological University Singapore School of Electrical and Electronic Engineering Nanyang Technological University Singapore Department of Surgery Singapore General Hospital Singapore

the concept of groupware is not new. this paper discusses issues about realizing it and proposes a collaborative programming environment as an approach. To explain how to establish such an environment, various aspects of collaborative programming such as modules, data templates and wrappers are introduced. We also examine the syntax and semantics of visual languages and show how programming becomes straightforward, yet flexible in visual programming with these modules. Collaborative programming is illustrated by the different phases of the development of an application system. Some advanced topics are discussed, and the paper is concluded by indicating that great effort should be made towards a sophisticated collaborative programming environment.< >

关键词： Collaboration programming environments Computer aided software engineering Graphics Data visualization Computed tomography Collaborative work Surgery Hospitals User interfaces

来源：评论

学校读者我要写书评

暂无评论

Probabilistic concurrent programming using multiset transactions

Probabilistic concurrent programming using multiset transact...

引用

IEEE Region 10 international conference TENCON

作者： V.K. Murthy E.V. Krishnamurthy School of Information Systems Queensland University of Technology Brisbane QLD Australia Research School of Information Sciences and Engineering Australian National University Canberra ACT Australia

the GAMMA parallel programming model, based on the multiset data structure and a succession of chemical reactions consuming the elements of the multiset and producing new elements according to specific rules, is a very useful new paradigm. this paper extends GAMMA model to its probabilistic version called P-GAMMA model. the P-GAMMA model can realise probabilistic, classifier, bucket-brigade, and genetic algorithms. We also describe how concurrency in GAMMA paradigm can be supported using transaction processing facilities provided with multilevel atomicity, consistency, isolation and durability features.< >

关键词： Chemical elements Parallel programming Concurrent computing Fires Educational institutions Information systems Chemical technology Genetic algorithms Evolutionary computation Data engineering

来源：评论

学校读者我要写书评

暂无评论

Service partition model for programming interactive distributed applications

Service partition model for programming interactive distribu...

引用

IEEE Region 10 international conference TENCON

作者： Ching-Shine Hwang Shang-Rong Tsai Computer System Laboratory Department of Electrical Engineering National Cheng Kung University Tainan Taiwan

ISBN: (纸本)0780318625

We propose a service partition model as a design methodology of distributed applications, especially in interactive distributed applications. We developed a set of communication mechanisms for linking each module of interactive distributed applications. Mapping an interactive distributed application into service partition model is much easier than mapping it into a client server model. Implementing distributed applications with the mechanisms we supported for the service partition programming model is relatively easy.< >

关键词： Independent component analysis Application software Peer to peer computing Displays Network servers Monitoring Scanning probe microscopy Distributed computing Cities and towns Design methodology

来源：评论

学校读者我要写书评

暂无评论

An investigation into functions as processes 9th

An investigation into functions as processes

引用

9th international conference on the Mathematical Foundations of programming Semantics, 1993

作者： Sangiorgi, Davide Department of Computer Science University of Edinburgh JCMB Mayfield road EdinburghEH9 3JZ United Kingdom

ISBN: (纸本)9783540580270

In [Mil90] Milner examines the encoding of the λ-calculus into the π-calculus [MPW92]. the former is the universally accepted basis for computations with functions, the latter aims at being its counterpart for computations with processes. the primary goal of this paper is to continue the study of Milner’s encodings. We focus mainly on the lazy λ-calculus [Abr87]. We show that its encoding gives rise to a λ-model, in which a weak form of extensionality holds. However the model is not fully abstract: To obtain full abstraction, we examine both the restrictive approach, in which the semantic domain of processes is cut down, and the expansive approach, in which λ-calculus is enriched with constants to obtain a direct characterisation of the equivalence on λ-terms induced, via the encoding, by the behavioural equivalence adopted on the processes. Our results are derived exploiting an intermediate representation of Milner’s encodings into the Higher-Order π-calculus, an ω-order extension of π-calculus where also agents may be transmitted. For this, essential use is made of the fully abstract compilation from the Higher-Order π-calculus to the π-calculus studied in [San92a]. © 1994, Springer Verlag. All rights reserved.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

the design and implementation of active class in C++

The design and implementation of active class in C++

引用

IEEE Region 10 international conference TENCON

作者： Sang-Hoon Kim Se-Man Oh Department of Computer Engineering DongGuk University Seoul South Korea

ISBN: (纸本)0780318625

Sequential object-oriented languages have many constraints that cannot properly represent the real world with concurrency and execution on multiprocessor computers. We present a mechanism to support the concurrency in an object-oriented language. By doing so, the programming power and adaptabilities in various applications can be improved. the underlying concept of the mechanism is to unify the notions of object and process to the active object. So, the object and process can be treated in a consistent manner. We also try to improve the encapsulation and reusability that are advantages of object-oriented programming languages. We suggest an implementation method of the concurrent object-oriented programming language. the message passing mechanism used in this work supports both synchronous and asynchronous method calls. the object model is based on a single threaded one. We implemented the concurrent object-oriented system by using Lex/Yacc and Task library.< >

关键词： Concurrent computing Robot programming Yarn Object oriented modeling Message passing Power engineering computing Encapsulation Computer languages Libraries Operating systems

来源：评论

学校读者我要写书评

暂无评论

Representation and description of software documents

Representation and description of software documents

引用

IEEE Region 10 international conference TENCON

作者： Jun Han School of Computing and Information Technology Monash University Frankston VIC Australia

ISBN: (纸本)0780318625

A software development environment maintains all the documents produced in the software development process. the representation of the software documents should capture not only the individual documents but also their relationships and structural properties. In this paper, we present an approach to the representation and description of software documents. Syntax trees, structural relations and structural constraints are introduced to capture the syntactic structures of documents, their inter- and intra-document relationships, and the structural properties of these documents and relationships.< >

关键词： programming Software maintenance Reactive power Information technology Australia Software testing Documentation Application software Specification languages

来源：评论

学校读者我要写书评

暂无评论

Configuration-level programming of distributed applications using implicit invocation

Configuration-level programming of distributed applications ...

引用

IEEE Region 10 international conference TENCON

作者： Chen Chen J.M. Purtilo Computer Science Department University of Maryland College Park MD USA

Concerns the technology and methods for integrating an application that is event-based, whether that application is being constructed from scratch or is a synthesis of existing event-based systems. Developing an event-based application is a complex task for programmers, who must address several issues not found in traditional systems, and, currently, must do so without much assistance. In this paper, we broaden the technology for integration to encompass event-based programming. A method is presented for separating event-based interaction properties from the implementation of the application modules, so that system integration can be performed using only the abstractions. then, based upon the abstract aggregate, all interface software needed to validly implement the system is generated automatically. A software bus model is enhanced to accommodate the models which drive event-based distributed applications. In this way, designers may define complex event-based interaction abstractly, making it easier to integrate and experiment with event-based distributed applications.< >

关键词： Application software programming profession Computer languages Computer science Educational institutions Aggregates Drives Prototypes Network synthesis Software engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共320页 << < 298 299 300 301 302 303 304 305 306 307 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：