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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

994 篇 会议
37 篇 期刊文献
3 册 图书

馆藏范围

1,034 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

505 篇 工学
- 476 篇 计算机科学与技术...
- 282 篇 软件工程
- 64 篇 电气工程
- 34 篇 信息与通信工程
- 23 篇 控制科学与工程
- 16 篇 电子科学与技术（可...
- 10 篇 机械工程
- 7 篇 环境科学与工程（可...
- 7 篇 生物医学工程（可授...
- 7 篇 生物工程
- 6 篇 光学工程
- 6 篇 化学工程与技术
- 5 篇 力学（可授工学、理...
- 5 篇 建筑学
- 5 篇 网络空间安全
- 4 篇 仪器科学与技术
- 4 篇 动力工程及工程热...
- 4 篇 测绘科学与技术
91 篇 理学
- 60 篇 数学
- 15 篇 物理学
- 10 篇 系统科学
- 8 篇 生物学
- 5 篇 化学
- 5 篇 地球物理学
- 5 篇 统计学（可授理学、...
80 篇 管理学
- 53 篇 管理科学与工程(可...
- 29 篇 图书情报与档案管...
- 13 篇 工商管理
6 篇 医学
- 5 篇 临床医学
4 篇 经济学
- 4 篇 应用经济学
3 篇 教育学
2 篇 法学
1 篇 文学
1 篇 农学
1 篇 艺术学

主题

206 篇 object oriented ...
149 篇 distributed comp...
130 篇 concurrent compu...
105 篇 application soft...
103 篇 object oriented ...
93 篇 computer archite...
89 篇 java
86 篇 parallel program...
83 篇 computational mo...
79 篇 parallel process...
76 篇 real time system...
59 篇 middleware
53 篇 hardware
52 篇 programming prof...
51 篇 computer science
41 篇 computer network...
40 篇 prototypes
39 篇 runtime
38 篇 grid computing
37 篇 message passing

机构

4 篇 department of co...
4 篇 department of co...
4 篇 arizona state un...
4 篇 ibm corp thomas ...
4 篇 univ cyprus dept...
3 篇 school of scienc...
3 篇 nanchang institu...
3 篇 school of comput...
3 篇 graduate school ...
3 篇 university of au...
3 篇 state key labora...
3 篇 shanghai jiao to...
3 篇 octopath corpora...
2 篇 department of co...
2 篇 inspur electroni...
2 篇 microsoft corp r...
2 篇 los alamos natl ...
2 篇 school of comput...
2 篇 dipartimento di ...
2 篇 stmicroelectroni...

作者

7 篇 jeong chang-sung
6 篇 chen yinong
5 篇 jie xu
5 篇 kuonen pierre
4 篇 chatterjee s
4 篇 p. banerjee
4 篇 ryu so-hyun
4 篇 a. makinouchi
4 篇 sinnen oliver
4 篇 yinong chen
4 篇 a.s. grimshaw
4 篇 joosen wouter
4 篇 nguyen tuan-anh
4 篇 giacaman nasser
3 篇 caromel d
3 篇 wang cho-li
3 篇 budimlic z
3 篇 f. baude
3 篇 nasser giacaman
3 篇 paul townend

语言

1,027 篇 英文
6 篇 其他
1 篇 中文

检索条件"任意字段=International Symposium on Computing in Object Oriented Parallel Environment"

共 1034 条记录，以下是911-920 订阅

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

详细简洁

排序：

Synergies between object-oriented programming language design and implementation research 2nd

引用

2nd international symposium on object Technologies for Advanced Software, ISOTAS 1996

作者： Chambers, Craig Department of Computer Science and Engineering University of Washington Box 352350 SeattleWA98195-2350 United States

ISBN: (纸本)3540609547

By pursuing language design and language implementation research in parallel, interactions between the two research areas can be exploited to make faster, better progress in both. We report on our experiences working on the Cecil language design project and the Vortex optimizing compiler project, highlighting how each project has encouraged and challenged the other. © Springer-Verlag Berlin Heidelberg 1996.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

international symposium on Design and Implementation of Symbolic Computation Systems, DISCO 1996

International Symposium on Design and Implementation of Symb...

引用

4th international symposium on Design and Implementation of Symbolic Computation Systems, DISCO 1996

ISBN: (纸本)3540616977

The proceedings contain 35 papers. The special focus in this conference is on Design and Implementation of Symbolic Computation Systems. The topics include: Problem-oriented applications of automated theorem proving;a strongly-typed embeddable computer algebra library;a general framework for implementing calculi and strategies;equality elimination for the tableau method;towards lean proof checking;high performance equational theorem proving;a reflective language based on conditional term rewriting;term rewriting systems;generative geometric modeling in a functional environment;exploiting SML for experimenting with algebraic algorithms;conditional categories and domains;parameterizing object specifications;analyzing the dynamics of a Z specification;integer and rational arithmetic on maspar;parallel 3-primes FFT algorithm;a master-slave approach to parallel term rewriting on a hierarchical multiprocessor;concepts and applications;document-centered presentation of computing software;animating a non-executable formal specification with a distributed symbolic language;uniform representation of basic algebraic structures in computer algebra;integrating computer algebra with proof planning;structures for symbolic mathematical reasoning and computation;an approach to class reasoning in symbolic computation;an intelligent interface to numerical routines;computer algebra and the world wide web;software architectures for computer algebra;a deductive database for mathematical formulas;a system for computer aided constructive algebraic geometry;making systems communicate and cooperate;a database for number fields;compiling residuation for a multiparadigm symbolic programming language and pluggability issues in the multi protocol.

关键词：

来源：评论

学校读者我要写书评

暂无评论

2nd international Euro-Par Conference, Euro-Par 1996

引用

2nd international European Conference on parallel Processing, Euro-Par 1996

ISBN: (纸本)9783540616269

The proceedings contain 110 papers. The special focus in this conference is on Programming environment and Tools. The topics include: High-performance distributed computing;design and implementation of a parallel architecture for biological sequence comparison;dynamic load balancing in parallel database systems;distributed array query and visualization for high performance fortran;annai scalable run-time support for interactive debugging and performance analysis of large-scale parallel programs;on the implementation of a replay mechanism;concepts and functionalities of the DOSMOS-trace monitoring tool;an open monitoring system for parallel and distributed programs;an adaptive cost system for parallel program instrumentation;a performance tuning tool for DSM-based parallel computers;cautious, machine-independent performance tuning for shared-memory multiprocessors;an environment for parallel programming on networks of heterogeneous workstations;an integrated environment to design parallel object-oriented applications;extending the message-passing interface;a refinement methodology for developing data-parallel applications;efficient block cyclic data redistribution;optimal grain size computation for pipelined algorithms;dynamic redistribution on heterogeneous parallel computers;supporting distributed sparse matrix objects;low-latency communication over fast ethernet;a comparison of input and output driven routers;a pattern-associative router for interconnection network adaptive algorithms and on stack-graph OPS-based lightwave networks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Programming with communicating nondeterministic logic objects

Programming with communicating nondeterministic logic object...

引用

international symposium on parallel Architectures, Algorithms and Networks (ISPAN)

作者： Man-Lai Tse Wing-Hang Wong Ho-Fung Leung Department of Computer Science and Engineering Chinese University of Hong Kong Sha Tin Hong Kong China

ISBN: (纸本)0818674601

object-oriented logic programming (OOLP) is a hybrid of object-orientation and logic programming paradigms. In this paper, we present a new object-oriented logic programming language P&P. P&P supports programming with communicating nondeterministic objects and stream parallelism for communication among objects. Intuitively, each object has a Parlog 'shell' with Prolog 'contents'. One concern in our design is to integrate Prolog's backtracking, sequential search with Parlog's concurrent execution. Hence P&P supports committed inter-object message passing via the Parlog 'shell' of the objects. Also, object-oriented features are added to provide encapsulation and code reuse.

关键词： Logic programming Concurrent computing Computer science Natural languages Message passing Encapsulation parallel processing Logic design Real time systems Prototypes

来源：评论

学校读者我要写书评

暂无评论

Automatic software generation in the OORHS distributed computing framework

Automatic software generation in the OORHS distributed compu...

引用

international symposium on parallel Architectures, Algorithms and Networks (ISPAN)

作者： D.S. Yeung A.K.Y. Wong Department of Computing Hong Kong Polytechnic University Hong Kong China

Software generation in the OORHS (object-oriented reciprocative hypercomputing system) is user-transparent. It addresses the issue of ease of use by minimizing the number of steps leading to a programming solution. The OORHS requires from the user only a high level APPL program, which is, in effect, a specification. For every APPL program, the system automatically performs all the necessary distributed computing steps. The precompiler, based on the object-oriented paradigm, instantiates the encapsulated program objects embedded in an APPL program. These program objects are distributed at the source level. They are compiled and then executed at the allocated sites. This unique approach, known as local compilation, eliminates the need to store the compilers used by other machines locally. It enhances the compatibility between the compiled program and the host processor. The precompiler generates a program objects dictionary for every APPL program. The contents in the dictionary facilitates program visualization.

关键词： Distributed computing Dictionaries Software libraries Load management parallel programming Visualization Embryo Fault tolerance Global communication parallel processing

来源：评论

学校读者我要写书评

暂无评论

object-oriented modeling in Metaview

Object-oriented modeling in Metaview

引用

international symposium on Assessment of Software Tools and Technologies

作者： Yong Zhuang P. Findeisen P. Sorenson Nortel Technology Limited Ottawa ONT Canada Department of Computing Science University of Alberta AB Canada

We investigate the capability of Metaview, a meta CASE system, to define object oriented CASE environments. An innovative feature of Metaview is the use of aggregation as a mechanism for linking method fragments. This approach is illustrated in the specification of our environment to support OMT, one of the most popular object oriented development methods.

关键词： object oriented modeling Aggregates Computer aided software engineering Joining processes Programming Data models Hierarchical systems Software tools Software prototyping Prototypes

来源：评论

学校读者我要写书评

暂无评论

Theoretical and empirical results on dynamic load balancing in an object-based distributed environment

Theoretical and empirical results on dynamic load balancing ...

引用

international Conference on Distributed computing Systems

作者： W. Golubski D. Lammers W.M. Lippe FB 12 Elektrotechnik & Informatik Universität-GH Siegen Siegen Germany Institut für Informatik Westfaelische Wilhelms-Universität Miinster Germany

We present theoretical and empirical investigations to explore the potential of dynamic load balancing for homogeneous systems. We introduce the object-based programming environment MOM. Then we define an own load balancing algorithm called Gating and compare it with other well known algorithms, theoretically, in a simulation and in the MOM system. The obtaining results are discussed.

关键词： Load management Message-oriented middleware object oriented modeling Hardware object oriented programming parallel processing Power system reliability Runtime Multitasking Programming environments

来源：评论

学校读者我要写书评

暂无评论

Automatic exploitation of dual level parallelism on a network of multiprocessors 96

Automatic exploitation of dual level parallelism on a networ...

引用

international symposium on High Performance Distributed computing

作者： S. Kumaran M.J. Quinn IBM Thomas J. Watson Research Center Yorktown Heights NY USA Department of Computer Science Oregon State University Corvallis OR USA

ISBN: (纸本)9780818675829

We describe a software environment for high performance distributed computing on a network of multiprocessor workstations. In designing this environment, we have used a problem oriented approach as opposed to the traditional algorithm oriented approach. This paradigm shift enables us to generate efficient programs automatically for a well defined class of problems. Thus, our system frees the users from the esoteric tasks of algorithm design and implementation. An important feature of our system is its ability to handle the large variation in granularity-we call this dual level parallelism-in a hybrid processing environment. This feature is the key to the superior efficiency delivered by the system. We give preliminary results from a case study in which our system is used to generate programs automatically for a scientific application, with a network of multiprocessors as the target platform.

关键词： parallel processing Algorithm design and analysis parallel algorithms Runtime Distributed computing Workstations Local area networks Computer science Corporate acquisitions Availability

来源：评论

学校读者我要写书评

暂无评论

Support for extensibility and reusability in a concurrent object-oriented programming language

Support for extensibility and reusability in a concurrent ob...

引用

international symposium on parallel Processing

作者： R. Pandey J.C. Browne Computer Science Department University of California Davis CA USA Department of Computer Sciences University of Texas Austin Austin TX USA

In many concurrent programming languages programs are difficult to extend and modify. This is because changes in a concurrent program (either through modification or extension) require re-implementation of some or all components. This paper presents the design of a concurrent object-oriented programming language based upon separate specifications of computations and interactions of programs. Separate specification of computations and interactions allows each to be separately modified and extended. We show that separation also facilitates extension of other language composition mechanisms such as class, inheritance, and template in order to define concurrent program abstractions. The resulting language supports extensibility and modifiability of concurrent programs as well as reusability of specifications of computations and interactions.

关键词： Concurrent computing Computer languages object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Conjoint simulation-a technique for the combined performance and dependability analysis of large-scale computer systems

Conjoint simulation-a technique for the combined performance...

引用

international Computer Performance and Dependability symposium

作者： A. Hein K.K. Goswami Institute for Computer Science III University of Erlangen Nuremberg Erlangen Germany Tandem Computers Inc.orporated Cupertino CA USA

In this paper we propose an approach which seamlessly integrates two modeling techniques to facilitate the simulation and analysis of performance and dependability of large-scale parallel computer systems. The approach, called Conjoint Simulation, combines object-oriented, process-based simulation with Petri net modeling. The approach splits a system into a performance model and a dependability model. The models are developed independently but interact at run time to provide both performance and dependability metrics. This separation facilitates model representation, development, and maintenance.

关键词： Analytical models Performance analysis object oriented modeling Computational modeling Concurrent computing Large scale integration Petri nets Computer science Computer architecture Design optimization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共104页 << < 88 89 90 91 92 93 94 95 96 97 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：