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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是3061-3070 订阅

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

详细简洁

排序：

Stacklessness: Compiling recursion for a distributed architecture 89

Stacklessness: Compiling recursion for a distributed archite...

引用

4th international conference on functional programming Languages and Computer Architecture, FPCA 1989

作者： Lester, David R. GEC Hirst Research Centre East Lane Wembley MiddlesexHA9 7PP United Kingdom

ISBN: (纸本)0897913280

Compiling general programming languages to run efficiently on a distributed architecture is hard. One of the problems that confronts the potential implementor, is how to store the stack. this is normally used in two ways: firstly it is used to hold the arguments and temporary variables of a function or procedure, and secondly it is used to hold a previous state on entry to a new function or procedure. One way to represent such a stack is as a contiguous array. An alternative is to hold the arguments and temporary variables in a stack frame, with a back-link to the previous stack frame. In a parallel machine each task will require a separate stack. We implement each of these stacks as a linked list of stack frames, each of which resides in a garbage collected heap. Using the stacklessness analysis, a node which requires evaluation can be created with a stack frame large enough to evaluate all tail recursive calls i liat may occur in the reduction sequence. It is therefore unnecessary to provide an extension mechanism which enlarges stack frames. the stacklessness analysis involves giving a nonstandard semantics to a typed functional language. the technique may be applied to any resource with a stacklike pattern of consumption. the paper includes a proof that an approximation to the fixpoint of a combinator in the abstract interpretation is computable. the LATEX source of the paper is also an executable Orwell program to find this approximation. the problem is particularly difficult when higher order functions are used. the stacklessness analysis is able to deal with this case. the analysis is used in the HDG-machine, a compiler and abstract machine for a Transputer based implementation of distributed graph reduction. © 1989 ACM.

关键词： Transputers

来源：评论

学校读者我要写书评

暂无评论

Distributed algorithm for minimum weight spanning trees based on echo algorithms

Distributed algorithm for minimum weight spanning trees base...

引用

9th international conference on Distributed Computing Systems

作者： Ahuja, Mohan Zhu, Yahui Ohio State Univ Columbus OH USA

A distributed algorithm based on echo algorithms is presented which constructs the minimum-weight spanning tree in a general undirected graph. In the worst case, the algorithm needs at most (2m + 2(n-1) log (n/2)) messages and (2d log n) time, where d is the diameter of the network. In the best case, it needs only 2m messages and 2d time. the algorithm works in phases, and each phase consists of a down wave and an up wave. When the number of fragments is cut by at least one half in each phase, it needs at most O(log n) phases. On average, the algorithm needs only O(m) messages and O(d) time. the algorithm itself is simple, so that other distributed algorithms based on it can be derived more easily.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Toolkit for automated support of Ada tasking analysis

Toolkit for automated support of Ada tasking analysis

引用

9th international conference on Distributed Computing Systems

作者： Shatz, S.M. Mai, K. Moorthi, D. Woodward, J. Univ of Illinois Chicago IL USA

A discussion is presented of research on the development of a toolkit that supports general static analysis using a Petri net framework for Ada tasking. the toolkit integrates some custom and general-purpose tools. the custom tools were defined and implemented specifically for research in Ada tasking analysis;the general-purpose tools are Petri net tools developed to support arbitrary Petri-net-based research. the analysis toolkit is divided into two major subsystems. the first is the front-end translator subsystem, which translates Ada source (or design-level source specified in a design language called Ada Tasking Language) into a Petri net format. the translation allows one to base current and future analysis techniques on a model that is both theoretically mature and actively investigated. the second is the back-end information display subsystem, which receives user queries and presents tasking analysis results. Example Ada tasking programs are used to demonstrate the utility of the tools individually as well as collectively.

关键词： Computer programming Languages

来源：评论

学校读者我要写书评

暂无评论

the Camelot library: A C language extension for programming a general purpose distributed transaction system

The Camelot library: A C language extension for programming ...

引用

international conference on Distributed Computing Systems

作者： J.J. Bloch School of Computer Science Carnegie Mellon University Pittsburgh PA USA

the Camelot library extends the programming language to provide a high-level programming interface to Camelot, a general-purpose distributed transaction system. the Camelot library is implemented as a collection of C functions and macros. the interface presented by the library also provides a concise high-level model of the services offered by a general-purpose transaction system. A broad overview of the interface is given, and implementation experience is briefly summarized.< >

关键词： Power system modeling Operating systems Computer crashes Computer languages Software libraries Computer science Storage automation Access protocols programming profession Costs

来源：评论

学校读者我要写书评

暂无评论

A shared dataspace model of concurrency-language and programming implications

A shared dataspace model of concurrency-language and program...

引用

international conference on Distributed Computing Systems

作者： G.-C. Roman H.C. Cunningham Department of Computer Science Washington University Saint Louis MO USA

A language paradigm called shared dataspace is defined that causes computations to be performed using an anonymous, content-addressable communication medium acted upon by atomic transactions. To probe the essence of this paradigm, a relatively simple shared dataspace language called Swarm is defined. An overview is presented of the Swarm language. A formal operational model for the language is given and some of the programming implications and distinctive features of the model and language are discussed. Swarm programming strategies are examined using a series of related example programs.< >

关键词： Concurrent computing Data structures Computer science Vehicles Computer languages Technology management Parallel processing Logic programming Knowledge based systems Database languages

来源：评论

学校读者我要写书评

暂无评论

Marionette: a system for parallel distributed programming using a master/slave model

Marionette: a system for parallel distributed programming us...

引用

international conference on Distributed Computing Systems

作者： M. Sullivan D. Anderson Computer Science Division Depamnent of Electrical Engineering and Computer Sciences University of California Berkeley CA USA

Marionette, a software package for distributed parallel programming in an environment of networked heterogeneous computer systems is described. It uses a master/slave model in which otherwise sequential application programmes can invoke worker operations (asynchronous remote procedure calls executed by slave processes) and context operations (updates to slaves' process states). the master and slaves also interact through shared data structures that can be modified only by the master. the Marionette runtime system is a heterogeneous remote procedure call package. It maintains the consistency of shared data structures, recovers transparently from slave processor failure, and assigns operations to slaves. the Marionette system includes tools for debugging, automated compilation of program binaries for multiple architectures, and distributing binaries to remote file systems. Measurements of a UNIX-based implementation to Marionette and a parallel ray-tracing renderer are presented.< >

关键词： Parallel programming Master-slave Data structures Software packages Computer networks Concurrent computing Distributed computing Context modeling Application software Packaging

来源：评论

学校读者我要写书评

暂无评论

Performance of a decentralized knowledge base system

Performance of a decentralized knowledge base system

引用

international conference on Distributed Computing Systems

作者： C. Lee L. Bic Department of Information and Computer Science University of California Irvine USA

the binary predicate execution model (BPEM) is a computational model that combines logic programming, semantic nets, and message-driven computation into a paradigm for the construction of highly parallel knowledge-base systems. Simulation results are presented that demonstrate the ability of BPM to exploit effectively the resources of a loosely coupled computer network consisting of large numbers of independent processing elements. these simulations suggest performance on the order of 10/sup 5/ logical inferences per second for 256 processing elements in an n-cube configuration. A very important feature of the BPEM is that it scales-up linearly under simple OR-parallelism and AND-parallelism. Hence, the BPEM can scale-up to exploit parallelism efficiently in very large semantic networks and knowledge bases.< >

关键词： Object oriented modeling Computational modeling Logic programming Computer networks Concurrent computing Computer science Computer simulation Parallel processing Data mining Distributed computing

来源：评论

学校读者我要写书评

暂无评论

programming the twisted-cube architectures

Programming the twisted-cube architectures

引用

international conference on Distributed Computing Systems

作者： K. Efe The Center for Advanced Computer Studies University of Southwestern Louisiana Lafayette LA USA

A network is proposed that preserves all of the properties of the hypercube, but has a diameter which is only about half of that of the hypercube. this network is self-routing, in the sense that there is a simple distributed routing algorithm which guarantees optimal paths between any pair of vertices. this fact, together with other properties such as regularity, symmetry, high connectivity, and a simple recursive structure, implies that the multiply twisted cube is an alternative to the ordinary hypercube for massively parallel architectures. Single-input multiple-data stream algorithm were developed which utilize the new architecture. the multiply-twisted hypercube architecture can be used to profitably emulate the ordinary hypercube. Some of the basic properties of this network are discussed, the programming issues are emphasized, and it is shown that any hypercube algorithm can be mapped to run on the new architecture. In many cases this mapping results in a substantial reduction in the running time due to more efficient routing of data between processors.< >

关键词： Hypercubes Concurrent computing Network topology Computer architecture Parallel architectures Routing Computer networks Delay Terminology

来源：评论

学校读者我要写书评

暂无评论

Implementing location independent invocation

Implementing location independent invocation

引用

international conference on Distributed Computing Systems

作者： A.P. Black Y. Artsy Distributed Systems Advanced Development Digital Equipment Corporation Germany

A brief overview is presented of work on building a highly distributed office application based on mobile objects. the authors explain the techniques used to find the target of an invocation and describe how the technique is implemented. Location-independent invocation (LII) is presented as a conceptual service that is independent of any particular application, operating system, or programming language. LII completely removes remote call processing buildings from the view of application programmer. It is shown how LII can be implemented without language or system support in any environment that provides reliable interprocess communication. the indications for LII are studied, i.e. under what circumstances the proposed abstractions are beneficial. A description is given of an application domain in which LII is useful and the core services that support it. An object-finding algorithm is described. the relationship of LII to earlier work on object-finding and location independence is included.< >

关键词： Operating systems programming profession Computer languages File servers File systems Buildings Protocols Electronic mail Data structures Algorithms

来源：评论

学校读者我要写书评

暂无评论

CONCERT: a high-level-language approach to heterogeneous distributed systems

CONCERT: a high-level-language approach to heterogeneous dis...

引用

international conference on Distributed Computing Systems

作者： S.A. Yemini G.S. Goldszmidt A.D. Stoyenko Y.-H. Wei L.W. Beeck IBM Thomas J. Watson Research Center Yorktown Heights NY USA IBM Santa Teresa Laboratory San Jose CA USA

Concert, a high-level-language approach to programming heterogeneous distributed systems, is described. the Concert model introduces a small set of language extensions into conventional procedural languages. these language extensions support a cooperative peer process model which addresses in the distributed environment the same issues addressed by language semantics in the conventional environment. the Concert implementation provides layered support for these language extensions, bridging a different source of heterogeneity at each layer. A prototype Concert system currently includes C programs running on OS/2 on multiple PS/2s communicating via calls with one another as well as with PL/I programs running on VM/370.< >

关键词： Operating systems Protocols programming profession Multitasking Writing Laboratories Prototypes Virtual manufacturing Workstations Computational Intelligence Society

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共320页 << < 303 304 305 306 307 308 309 310 311 312 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：