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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

544 篇 会议
28 篇 期刊文献
16 册 图书

馆藏范围

588 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

415 篇 工学
- 360 篇 计算机科学与技术...
- 303 篇 软件工程
- 44 篇 电气工程
- 41 篇 信息与通信工程
- 34 篇 控制科学与工程
- 16 篇 电子科学与技术（可...
- 14 篇 机械工程
- 8 篇 建筑学
- 8 篇 安全科学与工程
- 7 篇 动力工程及工程热...
- 6 篇 力学（可授工学、理...
- 6 篇 材料科学与工程（可...
- 5 篇 仪器科学与技术
- 4 篇 光学工程
- 4 篇 环境科学与工程（可...
- 4 篇 生物工程
- 3 篇 化学工程与技术
110 篇 理学
- 76 篇 数学
- 15 篇 系统科学
- 12 篇 化学
- 11 篇 物理学
- 8 篇 生物学
- 7 篇 统计学（可授理学、...
68 篇 管理学
- 49 篇 管理科学与工程(可...
- 24 篇 图书情报与档案管...
- 23 篇 工商管理
10 篇 教育学
- 10 篇 教育学
6 篇 经济学
- 6 篇 应用经济学
6 篇 法学
- 6 篇 社会学
4 篇 医学
- 4 篇 临床医学
1 篇 历史学
1 篇 农学
1 篇 艺术学

主题

46 篇 software enginee...
26 篇 distributed comp...
20 篇 application soft...
19 篇 distributed comp...
16 篇 parallel program...
16 篇 software design
15 篇 parallel process...
14 篇 parallel process...
13 篇 concurrent compu...
11 篇 computer communi...
11 篇 computer aided s...
11 篇 software
10 篇 message passing
10 篇 computational mo...
8 篇 information syst...
8 篇 object oriented ...
8 篇 computer network...
7 篇 parallel algorit...
7 篇 computer archite...
7 篇 grid computing

机构

4 篇 rwth aachen univ...
4 篇 universidad carl...
3 篇 vienna universit...
3 篇 tennessee tech u...
3 篇 inria rennes
3 篇 inria rennes - b...
3 篇 tu vienna austri...
3 篇 university magna...
2 篇 universitat jaum...
2 篇 imdea software i...
2 篇 duke univ durham...
2 篇 parallel and dis...
2 篇 department of so...
2 篇 university of na...
2 篇 academic compute...
2 篇 universitat poli...
2 篇 specification of...
2 篇 ibm haifa resear...
2 篇 capgemini munich
2 篇 tu münchen garch...

作者

4 篇 michael alexande...
4 篇 alexandru costan
4 篇 vittorio scarano
4 篇 stephen l. scott
4 篇 laura ricci
3 篇 pflüger dirk
3 篇 dustdar schahram
3 篇 hochstein lorin
3 篇 gabor kecskemeti
3 篇 mario cannataro
3 篇 siegfried benkne...
3 篇 sascha hunold
3 篇 stefan lankes
3 篇 damian daniela
2 篇 parashar m
2 篇 paasivaara maria
2 篇 wang lei
2 篇 marta garcia-gas...
2 篇 sarah neuwirth
2 篇 morris k.

语言

585 篇 英文
2 篇 其他
1 篇 中文

检索条件"任意字段=2nd International Workshop on Software Engineering for Parallel and Distributed Systems"

共 588 条记录，以下是561-570 订阅

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

详细简洁

排序：

distributed object interoperability via a network type system 2

Distributed object interoperability via a network type syste...

引用

2nd international workshop on Object Orientation in Operating systems, IWOOOS 1992

作者： Russo, Vincent F. Muckelbauer, Patrick A. Minnear, Robert E. Dept. of Comput. Sci. Purdue Univ. West LafayetteIN47907 United States

ISBN: (纸本)0818630159

Object-oriented programming techniques are increasingly gaining attention as a solution to some of the software engineering problems plaguing the construction of large software projects. Unfortunately, object-oriented interfaces are usually only enforced and usable through language mechanisms making it impossible for disjoint components to interact in a loosely coupled distributed environment. The authors' investigate the possibility of creating a runtime notion of an object's interface and allow the dynamic querying of objects for their conformance to that interface. The project provides a mechanism to dynamically generate proxies to objects in different protection domains so that once this conformance is confirmed, operations can be invoked on the object in a mechanism compatible with the programming language in question. This is done without violating the encapsulation and enforced interfaces provided by the distributed objects. © 1992 IEEE.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

parallel proto - A prototyping tool for analyzing and validating sequential and parallel processing software requirements 2

Parallel proto - A prototyping tool for analyzing and valida...

引用

2nd international workshop on Rapid System Prototyping, RSP 1991

作者： Burns, Carla Rome Laboratory RL/C3CB Griffiss AFBNY*** United States

ISBN: (纸本)081863040X

software prototyping is one approach which may be used early on in the software lifecycle to analyze and validate software requirements. parallel Proto is a software prototyping tool for analyzing and validating functional requirements which are targeted to either sequential, parallel or distributed architecture environments. Currently, most parallel processing computer-aided software engineering (CASE) tools focus on the identification and simulation of parallelism during the coding stage of the software lifecycle. Such an approach does not take into account any explicit specification of parallelism inherent in the application or an associated paralleloriented design. Using parallel Proto, parallelism can be explicitly identified and modeled in the requirements and high level design stages of software development. The tool provides facilities for graphically constructing data-flow-like software functional specifications and parallel and distributed hardware architectures, associating the software functions with the hardware components and interactively executing the functional prototype. Performance modeling statistics are available after prototype execution. Such capabilities support the early analysis of high level software and hardware architecture trade-offs. This paper discusses the capabilities of parallel Proto along with an associated methodology for using the tool. © 1992 IEEE.

关键词： software prototyping

来源：评论

学校读者我要写书评

暂无评论

Durra: An integrated approach to software specification, modeling and rapid prototyping 2

Durra: An integrated approach to Software specification, mod...

引用

2nd international workshop on Rapid System Prototyping, RSP 1991

作者： Barbacci, Mario R. Lichota, Randall W. Software Engineering Institute PittsburghPA15213 United States Hughes Aircraft Company FullertonCA92634 United States

ISBN: (纸本)081863040X

software specification, modeling and prototyping activities are often performed at different stages in a software development project by individuals who use different specialized notations. The need to manually interpret and transform information passed between stages can significantly decrease productivity and can serve as a potential source of error. The recent development of commercial executable specification tools represents a potential semi-automated link between specification, modeling and prototyping activities. Many of these tools use a graphical notation based on real-time structured analysis to represent software models and provide a built-in simulation capability. Unfortunately, these tools can be inadequate for analyzing the performance of complex real-time systems. Moreover, the prototypes generated from realistic software specifications tend to be much too inefficient for these applications. We believe that these problems are largely due to the fact that the formalisms upon which most executable specification tools are based represent too high a level of abstraction. We feel that to effectively link specification, modeling, and prototyping activities, integration must occur at the level of a technical architecture. This corresponds to a software architecture augmented to include formal descriptions of task behavior. We believe that Durra, currently under development at the software engineering Institute, can provide this integration. Durra is a non-procedural language designed to support the development of distributed applications consisting of multiple, concurrent, largegrained tasks executing in a heterogeneous network. Durra provides a framework through which one can specify the structure of an application in conjunction with its behavior, timing, and implementation dependencies. These specifications may be validated by passing This work is sponsored by the Department of Defense. The views and conclusions contained in this document are solely those

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Proceedings. Second IEEE workshop on Future Trends of distributed Computing systems

Proceedings. Second IEEE Workshop on Future Trends of Distri...

引用

Proceedings of the 2nd IEEE workshop on Future Trends of distributed Proceedings of the 2nd IEEE workshop on Future Trends of distributed Computing systems - Future Trends 90 Computing systems - Future Trends 90

ISBN: (纸本)0818620889

This conference procedings consists of 73 papers. The following topics are dealt with: multimedia systems;fault tolerance;protocols for MANs/WANs;distributed real-time systems;real-time communication;software design;media access protocols;distributed operating systems;networking experience;parallel and multiprocessing;protocol engineering;distributed bases;multiprocessor systems;distributed software;broadband ISDN;formal techniques;modeling;and programming distributed applications.

关键词： Computer systems, Digital

来源：评论

学校读者我要写书评

暂无评论

A knowledge-driven methodology for eliciting and restructuring software requirements for distributed design

A knowledge-driven methodology for eliciting and restructuri...

引用

Proceedings of the 2nd international IEEE Conference on Tools for Artificial Intelligence

作者： Bobbie, Patrick O. Urban, Joseph E. Div of Comput Sci Univ of West Florida Pensacola FL USA

ISBN: (纸本)0818620846

Some important issues in engineering the requirements of a distributed software system and methods that facilitate software system design for distributed or parallel implementations are discussed. The issues are presented from a knowledge engineering perspective and are divided into four levels: acquisition;representation;structuring;and design. The acquisition level entails the methods for eliciting system requirements data (attributes and relationships of software entities) from the end-user group using a model of context classes. The representation level deals with the language paradigm for representing the attributes and relationships of the software entities. The structuring level addresses methods for rearranging and grouping the software objects of the context classes into related clusters. The design level deals with methods for mapping or transforming the clusters of software objects into specification modules to facilitate distributed design. To this end, the design level uses an object-based paradigm for specifying the attributes and abstract behavior of the objects within the modules.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

A knowledge-driven methodology for eliciting and restructuring software requirements for distributed design

A knowledge-driven methodology for eliciting and restructuri...

引用

international Conference on Tools for Artificial Intelligence (ICTAI)

作者： P.O. Bobbie J.E. Urban Division of Computer Science University of West Florida Pensacola FL USA Computer Sciences and Engineering Department Arizona State University Tempe AZ USA

Some important issues in engineering the requirements of a distributed software system and methods that facilitate software system design for distributed or parallel implementations are discussed. The issues are presented from a knowledge engineering perspective and are divided into four levels: acquisition; representation; structuring; and design. The acquisition level entails the methods for eliciting system requirements data (attributes and relationships of software entities) from the end-user group using a model of context classes. The representation level deals with the language paradigm for representing the attributes and relationships of the software entities. The structuring level addresses methods for rearranging and grouping the software objects of the context classes into related clusters. The design level deals with methods for mapping or transforming the clusters of software objects into specification modules to facilitate distributed design. To this end, the design level uses an object-based paradigm for specifying the attributes and abstract behavior of the objects within the modules.< >

关键词： software systems Artificial intelligence software design Knowledge acquisition parallel programming parallel processing Computer science Design engineering Knowledge engineering Object oriented modeling

来源：评论

学校读者我要写书评

暂无评论

ALADDIN LAMP - CONFIGURATION MANAGEMENT TOOLS FOR distributed COMPUTER CONTROL-systems 89

ALADDIN LAMP - CONFIGURATION MANAGEMENT TOOLS FOR DISTRIBUTE...

引用

2nd international workshop ON software CONFIGURATION MANAGEMENT ( SCM2 )

作者： PAKSTAS, A Institute of Mathematics and Cybermetics Academy of Sciences of the Lithuanian SSR Vilnius 232600 Pozeeos 54 USSR Lithuanian SSR

ISBN: (纸本)0897913345

The problem of the automation of the development of distributed software configuration (DSC) in the distributed computer control systems (DCCS) is discussed. The present paper deals with the building technology of the organisation of the interactions environment of applicational programs through the constructions like “information transport port” (ITP); On the basis of the DCCS structural model the system architects' language ALADDIN is developed. It is designated for the control of ITP work and for the linkage of DSC. The ALADDIN/LAMP software development system is described.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

2nd international workshop on Object-Oriented Database systems, 1988

2nd International Workshop on Object-Oriented Database Syste...

引用

2nd international workshop on Object-Oriented Database systems, 1988

ISBN: (纸本)9783540503453

The proceedings contain 38 papers. The special focus in this conference is on Object-Oriented Database systems. The topics include: The design and implementation of O, an object-oriented database system;abstract object types for databases;rule execution in CPLEX: A persistent objectbase;constraint analysis: A tool for explaining the semantics of complex objects;providing uniform access to heterogeneous information bases;the object shell: An extensible system to define an object-oriented view of an existing database;an adaptive derived data manager for distributed databases;mapping object-oriented concepts into relational concepts by meta-compilation in a logic programming environment;foundations of relational object management systems;the COMAndOS integration system: An object oriented approach to the interconnection of heterogeneous applications;a learning-based approach to meta-data evolution in an object-oriented database;zEITGEIST: Database support for object-oriented programming;views, data abstraction, and inheritance in the FUGUE data model;vodak kernel data model;a model for an object management system for software engineering environments;multiple inheritance and genericity for the integration of a database management system in an object-oriented approach;instance inheritance mechanisms for object oriented databases;identification of database objects by key;the design of dynamo: A general-purpose information processing model with a time dimension;a uniform concept for storing and manipulating engineering objects;managing persistent data with mneme: Designing a reliable, shared object interface;integration of database management with an object-oriented programming language;a distributed object server;on dynamically defined complex objects and SQL;common object-oriented repository system;identity, equality and query optimization;optimization of object-retrieval queries.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An adaptive derived data manager for distributed databases 2nd

An adaptive derived data manager for distributed databases

引用

2nd international workshop on Object-Oriented Database systems, 1988

作者： Hudson, Scott King, Roger Department of Computer Science University of Arizona TucsonAZ85721 United States Department of Computer Science University of Colorado BoulderCO80309 United States

ISBN: (纸本)9783540503453

Cacti is a distributed system designed to support derived data in distributed database environments. A series of novel access and optimization policies are used to reduce I/O costs, support the transparent distribution of data, automatically migrate and replicate data, execute computations in parallel, cluster or reblock data, and perform speculative evaluation of derived data. The behavior of the system is dynamically modified on the basis of heuristics, predictive metrics, and user-supplied hints which form a central theme of self-adaptive optimization. In general, Cacti alters its behavior — both locally at a single node and globally across the distributed system — according to the current usage of resources, and typical usage patterns over time. © 1988, Springer-Verlag.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

The fast Fourier transform as a test case for a systolic data flow machine

The fast Fourier transform as a test case for a systolic dat...

引用

Frontiers of Massively parallel Computation

作者： D. Tal J. Comfort M. Martinez School of Computer Science Florida International University Miami FL USA

A fast Fourier transform (FFT) algorithm is mapped onto a suggested processing element topology in order to demonstrate the utility of the systolic data flow machine (SDFM) approach. The SDFM is based on the partitioning of dataflow programs (graphs) into subgraphs that are small enough that they can be loaded into programmable systolic arrays, called processing elements. Mapability and performance criteria are suggested, such as the number of allocated primitive processors (in a systolic array) and the number of primitive processors and systolic arrays that are active at any one time. Conclusions about system attributes, such as the ratio of local to global communication, granularity, instruction execution and communication time, parallelism, processor utilization, are also presented.< >

关键词： Fast Fourier transforms Testing Computer aided software engineering Systolic arrays Partitioning algorithms Computer architecture Flow graphs parallel processing Topology distributed computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共59页 << < 50 51 52 53 54 55 56 57 58 59 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：