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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,139 篇 会议
30 篇 期刊文献
4 册 图书

馆藏范围

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

日期分布

学科分类号

575 篇 工学
- 540 篇 计算机科学与技术...
- 343 篇 软件工程
- 76 篇 控制科学与工程
- 74 篇 信息与通信工程
- 58 篇 电气工程
- 45 篇 电子科学与技术（可...
- 10 篇 化学工程与技术
- 7 篇 机械工程
- 7 篇 材料科学与工程（可...
- 6 篇 力学（可授工学、理...
- 6 篇 动力工程及工程热...
- 5 篇 建筑学
- 5 篇 土木工程
- 5 篇 生物工程
- 4 篇 仪器科学与技术
- 4 篇 交通运输工程
- 4 篇 生物医学工程（可授...
- 4 篇 网络空间安全
182 篇 理学
- 140 篇 数学
- 40 篇 系统科学
- 38 篇 统计学（可授理学、...
- 18 篇 物理学
- 13 篇 化学
- 9 篇 生物学
38 篇 管理学
- 33 篇 管理科学与工程(可...
- 21 篇 工商管理
- 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...
53 篇 analytical model...
52 篇 computer archite...
48 篇 large-scale syst...
47 篇 computer network...
46 篇 costs
43 篇 parallel process...
40 篇 circuit simulati...
36 篇 predictive model...
34 篇 hardware
34 篇 delay
33 篇 runtime

机构

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,161 篇 英文
7 篇 俄文
4 篇 中文
1 篇 其他

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

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

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

详细简洁

排序：

Performance predictions for parallel diagonal-implicitly iterated Runge-Kutta methods 95

Performance predictions for parallel diagonal-implicitly ite...

引用

proceedings of the ninth workshop on parallel and distributed simulation

作者： Thomas Rauber Gudula Rünger Computer Science Department Universität des Saarlandes

ISBN: (纸本)9780818671203

Many simulations in the natural sciences and engineering require the numerical solution of nonlinear differential equations. For this class of numerical methods, we propose an appropriate parallel computation model on distributed memory machines that supports the prediction of execution times. As a case study, we investigate the parallel implementation of the diagonal-implicitly iterated Runge-Kutta method, a solution method for stiff systems of ordinary differential equations. An implementation on the Intel iPSC/860 confirms the accuracy of the prediction model.

关键词： nonlinear differential equations digital simulation performance evaluation Runge-Kutta methods distributed memory machines parallel diagonal-implicitly iterated Runge-Kutta methods simulations Intel iPSC/860 parallel algorithms parallel computation model prediction model

来源：评论

学校读者我要写书评

暂无评论

Efficient simulation of SWN models

Efficient simulation of SWN models

引用

International workshop on Petri Nets and Performance Models (PNPM)

作者： R. Gaeta G. Chiola Dipartimento di Informatica Università di Torino Torino Italy DISI Università di Genova Genoa Italy

Coloured Petri nets are a powerful formalism for the description of complex, asynchronous distributed systems. They can express in a very concise way the behaviour of very large system especially in case these systems are composed of many replications of a few basic components that individually behave in a similar way. The simulation of such models is however difficult to perform in a computationally efficient way. For the specific class of well formed stochastic nets (SWN) we present a set of techniques that allow a very efficient implementation of the event-driven simulation approach. Two approaches are followed to improve simulation efficiency: first, reduction of the amount of work needed to schedule or preempt the occurrence of a transition as a consequence of a marking change, taking into account the restrictions on colour functions for the WN formalism; second, reduction of the average length of the event list in the case of symmetric models where the so called symbolic simulation technique applies. The approach is validated by performance measurements on several large SWN models taken from the literature.

关键词： Discrete event simulation Engines Computational modeling Petri nets Stochastic processes Partitioning algorithms parallel machines Virtual prototyping distributed algorithms parallel architectures

来源：评论

学校读者我要写书评

暂无评论

Comparative analysis of periodic state saving techniques in time warp simulators

Comparative analysis of periodic state saving techniques in ...

引用

workshop on Principles of Advanced and distributed simulation (PADS)

作者： J. Fleischmann P.A. Wilsey Institute of Electronic Design Automation Technical University Munich Munich Germany Department of ECECS Center for Digital Systems Engineering Cincinnati OH USA

Checkpointing in a time warp synchronized parallel simulator is a necessary and potentially expensive operation. In the simple case, a time warp simulator checkpoints every /spl chi/ events, for some fired value /spl chi/. For larger values of /spl chi/, the simulator requires less overhead for saving the state, but incurs an increased latency during rollback. Thus, the problem is to balance the time to save states against the time to coast forward upon rollback. Unfortunately, a static determination of an optimal value for /spl chi/ is very difficult and can vary widely, even between closely related instances of a time warp simulator. Furthermore, the optimal checkpoint interval may actually vary over the lifetime of the simulation. To address these problems, several investigators have proposed dynamically adjusting the checkpoint interval /spl chi/ as the simulation progresses. This paper analyzes three previous techniques for dynamically sizing checkpoint intervals and presents a new, heuristic algorithm for this purpose. All four techniques are implemented in a common application domain (digital system simulation from VHDL descriptions) and a direct comparison between the algorithms is performed. The results show a significant difference in the performance of the implemented algorithms. However, in virtually all cases, the dynamic algorithms performed near or better than the best static value. Furthermore, the best algorithms performed as much as 12% better than the best static value.< >

关键词： Analytical models Time warp simulation Modeling Discrete event simulation Out of order Costs Hardware Checkpointing Heuristic algorithms Digital systems

来源：评论

学校读者我要写书评

暂无评论

XTracker, a graphical tool for parallel simulations 95

XTracker, a graphical tool for parallel simulations

引用

proceedings of the ninth workshop on parallel and distributed simulation

作者： Steven Bellenot Li Duty Department of Mathematics Florida State University Tallahassee FL Department of Computer Science Florida State University Tallahassee FL

ISBN: (纸本)9780818671203

A Motif based graphical tool XTracker is described. XTracker can show Gannt-like charts of the activities on each node or it can show the event messages as traffic between simulation objects. XTracker can take its data from sequential simulation runs and simulate a parallel execution under a number of simulation methods. XTracker can act as a performance modeling tool.

关键词： graphical tool software performance evaluation parallel execution XTracker digital simulation performance modeling tool simulation objects parallel programming parallel simulations

来源：评论

学校读者我要写书评

暂无评论

Dynamic file migration to support parallel database systems

Dynamic file migration to support parallel database systems

引用

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

作者： J.A. McCann N.J. Williams P. Osmon D. Bolton Systems Architecture Research Centre City University London UK

Research into DBMS (Database Management System) parallelism has been carried out to address the performance problems experienced in areas such as Decision Support. distributed shared memory can alleviate the porting of commercial DBMSs to parallel platforms. However, this restricts the scaleability and performance achievable using shared nothing approaches. Consequently we propose the use of dynamic data migration techniques to support such parallel DBMSs. Using simulation techniques, we examine the effects which parameters such as migration threshold, migration block size and degree of data sharing have on file system performance. We present simulation results, providing useful insight into file system design.< >

关键词： Database systems File systems parallel machines Kernel Process design Decision making Degradation Query processing

来源：评论

学校读者我要写书评

暂无评论

Prediction of memory consumption in conservative parallel simulation 95

Prediction of memory consumption in conservative parallel si...

引用

proceedings of the ninth workshop on parallel and distributed simulation

作者： Yung-Chang Wong Shu-Yuen Hwang Department of Computer Science & Information Engineering National Chiao Tung University Hsinchu Taiwan 300 R.O.C.

ISBN: (纸本)9780818671203

This paper proposes a critical path-like analyzer to predict the amount of memory consumed in a specific Chandy-Misra simulation: Segments of code are inserted into the existing sequential simulation program, and this modified simulation program is called a memory analyzer. The amount of memory needed in the corresponding Chandy-Misra simulation is computed along with the execution of the memory analyzer. Experiments to evaluate the analyzer are in groups.

关键词： sequential simulation parallel algorithms Chandy-Misra simulation parallel simulation event precedence graph performance evaluation memory consumption discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

The role of representation in computer architecture

The role of representation in computer architecture

引用

International Conference on Massively parallel Processing Using Optical Interconnections

作者： M.J. Flynn Electrical Engineering Department University of Stanford Stanford CA USA

There are two basic components to an effective computer architecture: the user representation and the base technology. The architecture is a compromise between the two. Current user representations, at least in the scientific arena, have been developed over a period of time before the introduction of large scale computing. Indeed, the form of large scale computers has been largely determined by existing functional mathematical representations. If we wish to make significant advances in the effectiveness of our base technology-our computer hardware-we must reconsider the user representation. An alternative proposal is to solve problems by particle simulation rather than the traditional continuous model using global memory. Particle simulation models can be solved by cellular computers which closely match the 3 dimensional distributed computing models with structured local interconnection available in optical technology.

关键词： Computer architecture Computational modeling distributed computing Costs Large-scale systems Optical computing Differential equations Physics computing Proposals Computer simulation

来源：评论

学校读者我要写书评

暂无评论

On extending parallelism to serial simulators 95

On extending parallelism to serial simulators

引用

proceedings of the ninth workshop on parallel and distributed simulation

作者： David Nicol Philip Heidelberger Department of Computer Science The College of William and Mary Williamsburg VA IBM T.J. Watson Research Center P.O. Box 704 Yorktown Heights NY

ISBN: (纸本)9780818671203

This paper describes an approach to discrete event simulation modeling that appears to be effective for developing portable and efficient parallel execution of models of large distributed systems and communication networks. In this approach, the modeler develops sub-models using an existing sequential simulation modeling tool, using the full expressive power of the tool. A set of modeling language extensions permit automatically synchronized communication between sub-models; however, the automation requires that any such communication must take a non-zero amount of simulation time. Within this modeling paradigm, a variety of conservative synchronization protocols can transparently support conservative execution of sub-models on potentially different processors. A specific implementation of this approach, U.P.S. (Utilitarian parallel Simulator), is described, along with performance results on the Intel Paragon.

关键词： utilitarian parallel simulator protocols discrete event simulation modeling performance discrete event simulation modeling language extensions large distributed systems synchronization protocols synchronisation communication networks Intel Paragon serial simulators

来源：评论

学校读者我要写书评

暂无评论

Partitioning for synchronous parallel simulation 95

Partitioning for synchronous parallel simulation

引用

proceedings of the ninth workshop on parallel and distributed simulation

作者： Pavlos Konas Pen-Chung Yew Silicon Graphics Inc. 2011 N. Shoreline Blvd. Mountain View CA Department of Computer Science University of Minnessota Minneapolis MN

ISBN: (纸本)9780818671203

A new partitioning method for synchronous PDES simulations is proposed. The method exploits characteristics of both the simulation method and of the application domain to arrive at efficient partitionings. A performance study shows that the method outperforms existing partitioning methods in terms of four different performance metrics.

关键词： logic CAD partitioning methods logic partitioning performance study digital simulation partitioning method performance metrics synchronous PDES simulations circuit analysis computing parallel simulation

来源：评论

学校读者我要写书评

暂无评论

Memory management techniques for Time Warp on a distributed memory machine 95

Memory management techniques for Time Warp on a distributed ...

引用

proceedings of the ninth workshop on parallel and distributed simulation

作者： Bruno R. Preiss Wayne M. Loucks Dept. of Elec. and Comp. Eng. University of Waterloo Waterloo ON N2L 3G1

ISBN: (纸本)9780818671203

This paper examines memory management issues associated with Time Warp synchronized parallel simulation on distributed memory machines. The paper begins with a summary of the techniques which have been previously proposed for memory management on various parallel processor memory structures. It then concentrates the discussion on parallel simulation executing on a distributed memory computer—a system comprised of separate computers, interconnected by a communications network. An important characteristic of the software developed for such systems is the fact that the dynamic memory is allocated from a pool of memory that is shared by all of the processes at a given *** paper presents a new memory management protocol, pruneback, which recovers space by discarding previous states. This is different from all previous schemes such as artificial rollback and cancelback which recover memory space by causing one or more logical processes to roll back to an earlier simulation *** paper includes an empirical study of a parallel simulation of a closed stochastic queueing network showing the relationship between simulation execution time and amount of memory available. The results indicate that using pruneback is significantly more effective than artificial rollback (adapted for a distributed memory computer) for this problem. In the study, varying the memory limits over a 2:1 range resulted in a 1:2 change in artificial rollback execution time and almost no change in pruneback execution time.

关键词： memory management protocol memory management techniques distributed memory machine time warp simulation distributed memory systems memory protocols time warp synchronized parallel simulation closed stochastic queueing network pruneback queueing theory communications network storage management

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：