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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,136 篇 会议
31 篇 期刊文献
5 册 图书

馆藏范围

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

日期分布

学科分类号

574 篇 工学
- 539 篇 计算机科学与技术...
- 343 篇 软件工程
- 76 篇 控制科学与工程
- 73 篇 信息与通信工程
- 59 篇 电气工程
- 46 篇 电子科学与技术（可...
- 10 篇 化学工程与技术
- 7 篇 机械工程
- 7 篇 材料科学与工程（可...
- 6 篇 力学（可授工学、理...
- 6 篇 动力工程及工程热...
- 5 篇 建筑学
- 5 篇 土木工程
- 5 篇 生物工程
- 4 篇 仪器科学与技术
- 4 篇 交通运输工程
- 4 篇 生物医学工程（可授...
- 4 篇 网络空间安全
182 篇 理学
- 140 篇 数学
- 40 篇 系统科学
- 38 篇 统计学（可授理学、...
- 18 篇 物理学
- 13 篇 化学
- 9 篇 生物学
37 篇 管理学
- 32 篇 管理科学与工程(可...
- 20 篇 工商管理
- 7 篇 图书情报与档案管...
8 篇 教育学
- 8 篇 教育学
7 篇 经济学
- 7 篇 应用经济学
4 篇 法学
- 4 篇 社会学
4 篇 军事学
2 篇 医学
1 篇 农学

主题

241 篇 computational mo...
218 篇 computer simulat...
206 篇 discrete event s...
115 篇 concurrent compu...
82 篇 distributed comp...
79 篇 computer science
72 篇 parallel process...
69 篇 protocols
53 篇 time warp simula...
52 篇 analytical model...
51 篇 computer archite...
48 篇 large-scale syst...
47 篇 computer network...
46 篇 costs
43 篇 parallel process...
40 篇 circuit simulati...
36 篇 predictive model...
34 篇 hardware
33 篇 runtime
33 篇 educational inst...

机构

18 篇 college of compu...
12 篇 school of comput...
9 篇 georgia inst tec...
9 篇 department of co...
8 篇 dipartimento di ...
8 篇 department of co...
7 篇 school of comput...
6 篇 coll of william ...
6 篇 department of co...
6 篇 georgia inst of ...
6 篇 univ roma la sap...
6 篇 computer science...
5 篇 gintic institute...
5 篇 rensselaer polyt...
5 篇 school of applie...
5 篇 school of comput...
5 篇 georgia institut...
4 篇 mitre corporatio...
4 篇 georgia inst of ...
4 篇 department of el...

作者

23 篇 wentong cai
17 篇 fujimoto richard...
13 篇 d.m. nicol
13 篇 cai wentong
12 篇 nicol david m.
12 篇 r.m. fujimoto
10 篇 f. quaglia
10 篇 r. bagrodia
9 篇 rajive bagrodia
9 篇 s.j. turner
9 篇 bagrodia rajive
8 篇 r. fujimoto
8 篇 b. unger
8 篇 david m. nicol
7 篇 p.a. wilsey
7 篇 shell ying huang
7 篇 quaglia f
7 篇 richard m. fujim...
7 篇 yu-an chen
7 篇 wilsey philip a.

语言

1,159 篇 英文
7 篇 俄文
4 篇 中文
2 篇 其他

检索条件"任意字段=Proceedings of the sixteenth workshop on Parallel and distributed simulation"

共 1172 条记录，以下是1051-1060 订阅

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

详细简洁

排序：

Conservative circuit simulation on shared-memory multiprocessors 96

Conservative circuit simulation on shared-memory multiproces...

引用

proceedings of the tenth workshop on parallel and distributed simulation

作者： Jörg Keller Thomas Rauber Bernd Rederlechner Universität des Saarlandes FB 14 Informatik Postfach 151150 66041 Saarbrücken Germany

ISBN: (纸本)9780818675393

We investigate conservative parallel discrete event simulations for logical circuits on shared-memory multiprocessors. For a first estimation of the possible speedup, we extend the critical path analysis technique by partitioning strategies. To incorporate overhead due to the management of data structures, we use a simulation on an ideal parallel machine (PRAM). This simulation can be directly executed on the SB-PRAM prototype, yielding both an implementation and a basis for data structure optimizations. One of the major tools to achieve these is the SB-PRAM's hardware support for parallel prefix operations. Our reimplementation of the PTHOR program on the SB-PRAM yields substantially higher speedups than before.

关键词： multiprefix operation speedup estimation parallel random access machine (PRAM) circuit simulation shared memory multiprocessor conservative simulation

来源：评论

学校读者我要写书评

暂无评论

A parallel object-oriented manufacturing simulation language 01

A parallel object-oriented manufacturing simulation language

引用

proceedings of the fifteenth workshop on parallel and distributed simulation

作者： Ye Zhang Wentong Cai Stephen J. Turner School of Computer Engineering Nanyang Technological University Nanyang Avenue Singapore 639798

ISBN: (纸本)9780769511047

When used to simulate manufacturing systems, most existing parallel simulation languages cannot easily implement some features of those systems, such as the scheduling rules of a machine or the sharing of operators by multiple machines. This paper presents the design and implementation of a parallel Object-oriented Manufacturing simulation Language, called POMSim. A POMSim simulation is developed by using the concept of classes (entity-types) and inheritance to support iterative design of efficient simulation models. POMSim completely hides all the details of parallel simulation, and provides simple and direct constructs to efficiently model the scheduling rules in manufacturing simulation. It also provides asynchronous method invocation and synchronous function call. Pomsim libraries predefine a set of basic classes for manufacturing simulation, each of which represents a particular component in the physical manufacturing system.

关键词： POMSim object-oriented simulation Sematech Data Modeling Standard parallel simulation languages semiconductor manufacturing PARSEC

来源：评论

学校读者我要写书评

暂无评论

Dynamic load balancing of a multi-cluster simulator on a network of workstations 95

Dynamic load balancing of a multi-cluster simulator on a net...

引用

proceedings of the ninth workshop on parallel and distributed simulation

作者： Rolf Schlagenhaft Martin Ruhwandl Christian Sporrer Herbert Bauer Institute of Electronic Design Automation Department of Electrical Engineering Technical University of Munich 80290 Munich Germany Newbridge Networks 600 March Road P.O. Box 13600 Kanata Ontario Canada K2K 2E6

ISBN: (纸本)9780818671203

Performance of Time Warp simulation systems are often measured on exclusively available parallel computing resources. In distributed systems exclusive use is normally not feasible. Instead, due to the multi-tasking operating systems, many users share the workstations and their availability for parallel simulation purposes varies extensively. Time Warp has been found to be very sensitive to variations in available processing power. This paper presents two methods for a Time Warp VLSI simulation system to reduce the negative effect of a non-ideal environment on the execution of parallel simulations. A dynamic load balancing algorithm which adapts to the change of available processing power is presented. This mechanism, together with a multi-cluster partitioning technique significantly improve the performance of Time Warp based simulation systems on heterogeneous computing resource.

关键词： logic CAD multi-cluster simulator workstations network multi-tasking operating systems resource allocation time warp VLSI simulation system circuit analysis computing time warp simulation logic design time warp simulation systems multi-cluster partitioning technique discrete event simulation dynamic load balancing dynamic load balancing algorithm distributed processing heterogeneous computing resources distributed systems integrated circuit design VLSI

来源：评论

学校读者我要写书评

暂无评论

Hierarchical modeling and distributed simulation with HIT 97

Hierarchical modeling and distributed simulation with HIT

引用

proceedings of the eleventh workshop on parallel and distributed simulation

作者： A. M. Warda M. Sczittnick CompuNet Computer Vertriebs-GmbH Severinstraβe 42 D-45127 Essen Germany Lehrstuhl Informatik IV Universität Dortmund D-44221 Dortmund Germany

ISBN: (纸本)9780818679650

The Hierarchical Tool HIT is a software tool for hierarchical modeling and performance evaluation of discrete event systems. Besides analytical and numerical solution techniques HIT provides the evaluation of models by sequential simulation. Here we present concepts for optimistic distributed simulation of HIT-models by partitioning them with respect to subhierarchies. The main goals of the concept being presented are the preservation of model structure even in lower levels of the realization (e.g. use of the process view of simulation throughout all levels of abstraction) and distribution transparency on the modeling level (homogeneous model specification for all solution techniques).

关键词：

来源：评论

学校读者我要写书评

暂无评论

simulation of heterogeneous networks of workstations

Simulation of heterogeneous networks of workstations

引用

International Symposium on Modeling, Analysis and simulation of Computer and Telecommunication Systems (MASCOTS)

作者： Zhichen Xu Computer Sciences Department University of Wisconsin Madison Madison WI USA

ISBN: (纸本)0818672358

A network of workstations (NOW) has become an important distributed platform for large-scale scientific computations. A practical NOW system is heterogeneous and nondedicated, where computing power varies among the workstations and multiple jobs may interact with each other during execution. I present the design and implementation of a simulation system for a nondedicated heterogeneous NOW. This simulator provides many options to users to specify and quantify system architectures, network heterogeneity and time-sharing factors, such as speeds of different processors, memory organizations, network topology, communication structures, and workload distributions. The simulator also supports execution of message-passing parallel programs written in C and the PVM library. The software structure of the simulator is well-modularized and highly extensible, which makes it easy to integrate other existing processor, memory and network simulators.

关键词： Workstations Computational modeling distributed computing Computer networks Time sharing computer systems Computer architecture Network topology Software libraries High performance computing Scheduling

来源：评论

学校读者我要写书评

暂无评论

Modelling of object based systems with hidden sorted ECATNets

Modelling of object based systems with hidden sorted ECATNet...

引用

International Symposium on Modeling, Analysis and simulation of Computer and Telecommunication Systems (MASCOTS)

作者： M. Bettaz M. Maouche Institute of Computing Science University of Constantine Algeria

ECATNets are a kind of high-level net/data model, combining the strengths of Petri nets with those of abstract data types, used for modeling parallel and distributed systems. Their most distinctive feature is that their semantics is defined in terms of rewriting logics, thus allowing us to analyse the built models by prototyping. However a major drawback of this approach is that the achieved prototypes suffer from a lack of efficiency during their execution. The objective of this paper is to palliate this lack by introducing the concept of hidden sorted ECATNets, a combination of net/object model allowing to "hide" (object) internal states, and then to get more rapid prototypes.< >

关键词： Prototypes Concurrent computing distributed computing Data models Data structures Logic design Petri nets Formal specifications

来源：评论

学校读者我要写书评

暂无评论

Queueing models and stability of message flows in distributed simulators of open queueing networks 96

Queueing models and stability of message flows in distribute...

引用

proceedings of the tenth workshop on parallel and distributed simulation

作者： Manish Gupta Anurag Kumar Rajeev Shorey Electrical Communication Engineering Indian Institute of Science Bangalore Bangalore India 560012

ISBN: (纸本)9780818675393

In this paper we study message flow processes in distributed simulators of open queueing networks. We develop and study queueing models for distributed simulators with maximum lookahead sequencing. We characterize the "external'' arrival process, and the message feedback process in the simulator of a simple queueing network with feedback. We show that a certain "natural'' modelling construct for the arrival process is exactly correct, whereas an ``obvious'' model for the feedback process is wrong; we then show how to develop the correct model. Our analysis throws light on the stability of distributed simulators of queueing networks with feedback. We show how the stability of such simulators depends on the parameters of the queueing network.

关键词： distributed simulation Stability Discrete Event simulation Queueing Networks Maximum Lookahead

来源：评论

学校读者我要写书评

暂无评论

SQTW: a mechanism for state-dependent parallel simulation. Description and experimental study 97

SQTW: a mechanism for state-dependent parallel simulation. D...

引用

proceedings of the eleventh workshop on parallel and distributed simulation

作者： Alessandro Fabbri Lorenzo Donatiello Dipartimento di Scienze dell'Informazione Università di Bologna Mura Anteo Zamboni 7 I-40127 Bologna Italy

ISBN: (纸本)9780818679650

In this paper we address the problem of efficiently performing parallel discrete-event simulation in the case that events elaboration is dependent of other processes' local states. We propose a parallel simulation policy, called State Query Time Warp (SQTW), based on the Time Warp mechanism. We present experiments performed by means of a SQTW-based parallel simulator on a T-800 transputer machine for solving performance models based on state-dependent routing queueing network models. The experiments are used for assessing overheads and efficiency involved by SQTW; results show that high efficiency is achievable, and surprisingly reveal SQTW is able to globally reduce rollback overheads with respect to corresponding Time Warp simulations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Performance analysis of time warp simulation with cascading rollbacks 98

Performance analysis of time warp simulation with cascading ...

引用

proceedings of the twelfth workshop on parallel and distributed simulation

作者： Seng Chuan Tay Yong Meng Teo Rassul Ayani Department of Information Systems & Computer Science National University of Singapore Lower Kent Ridge Road Singapore 119260 Royal Institute of Technology Stockholm Sweden and Department of Information Systems & Computer Science National University of Singapore Lower Kent Ridge Road Singapore 119260

来源：评论

学校读者我要写书评

暂无评论

The APOSTLE simulation language: granularity control and performance data 96

The APOSTLE simulation language: granularity control and per...

引用

proceedings of the tenth workshop on parallel and distributed simulation

作者： Paul Wonnacott David Bruce Defence Research Agency Malvern Worcestershire WR14 3PS United Kingdom

ISBN: (纸本)9780818675393

A simulation-oriented language can significantly enhance the usability of parallel Discrete Event simulation (PDES) by hiding the complexities of the synchronization protocol used to ensure that events are processed in the correct order. The higher-level interface presented to the user by such a language also allows optimizations to be performed that are difficult and cumbersome with current parallel simulators, such as granularity control. APOSTLE is a new high-level simulation-oriented language for PDES, and in this paper we report that the APOSTLE granularity control mechanism reduced simulation run-times by as much as 80%. We also report that APOSTLE achieved a parallel speed-up of around 9 on 16 processors relative to its optimized sequential implementation and a parallel speed-up of around 6 on 16 processors relative to MODSIM II. Overall, we believe that the widespread success of PDES can only be achieved using a simulation-oriented language, and that APOSTLE has made a significant contribution towards this goal.

关键词： discrete event simulation languages parallel discrete event simulation granularity control

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共118页 << < 102 103 104 105 106 107 108 109 110 111 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：