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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

573 篇 工学
- 538 篇 计算机科学与技术...
- 341 篇 软件工程
- 75 篇 控制科学与工程
- 73 篇 信息与通信工程
- 58 篇 电气工程
- 45 篇 电子科学与技术（可...
- 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,158 篇 英文
7 篇 俄文
4 篇 中文
2 篇 其他

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

共 1171 条记录，以下是1041-1050 订阅

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

详细简洁

排序：

Design of a communication scheme for a distributed controller architecture using stochastic Petri nets

Design of a communication scheme for a distributed controlle...

引用

workshop on parallel and distributed Real-Time Systems

作者： C. Kelling J. Henz G. Hommel Institut fur Technische Informatik Technische Universitat Berlin Berlin Germany

This paper describes a modeling project which was established to support the design of a distributed controller system. An anthropomorphic robot hand is the target system. Stochastic Petri net models for different communication schemes were developed in order to predict the performance of the considered systems. For a given workload a bus communication can not be used, but two alternative ring structures are able to meet the predefined timing requirements. Design and performance evaluation of the models were realized using the new Petri net tool TimeNET, which allows the modeling with non-Markovian Petri nets and combines a graphical user interface with powerful solution and simulation methods.< >

关键词： distributed control Communication system control Power system modeling Control system synthesis Anthropomorphism Robots Stochastic systems Predictive models Timing Petri nets

来源：评论

学校读者我要写书评

暂无评论

Clustered time warp and logic simulation

Clustered time warp and logic simulation

引用

workshop on Principles of Advanced and distributed simulation (PADS)

作者： H. Avril C. Tropper School of Computer Science McGill University Montreal Canada

We present, in this paper, a hybrid algorithm which makes use of Time Warp between clusters of LPs and a sequential algorithm within the cluster. Time Warp is, of course, traditionally implemented between individual LPs. The algorithm was implemented in a digital logic simulator, and its performance compared to that of Time Warp. Resting upon this platform we develop a family of three checkpointing algorithms, each of which occupies a different point in the spectrum of possible trade-offs between memory usage and execution time. The algorithms were implemented on several digital logic circuits and their speed, number of states saved and maximal memory consumption were compared to those of Time Warp. One of the algorithms saved between 35 and 50% of the maximal memory consumed by Time Warp (depending upon the number of processors used), while the other two decreased the maximal usage up to 30%. The latter two algorithms exhibited a speed comparable to Time Warp, while the first algorithm was 30-60% slower. These algorithms are also simpler to implement than optimal checkpointing algorithms.< >

关键词： Time warp simulation Computational modeling Circuit simulation Clustering algorithms Logic circuits Checkpointing Protocols Computer science System recovery Memory management

来源：评论

学校读者我要写书评

暂无评论

Design issues and the system architecture of TICOM-IV, a highly parallel commercial computer

Design issues and the system architecture of TICOM-IV, a hig...

引用

Euromicro workshop on parallel and distributed Processing

作者： Yang-Woo Kim Sei-Woong Oh Jin-Won Park Computer Division Electronics and Telecommunications Research Institute TaeJon South Korea

ISBN: (纸本)0818670312

We describe design issues and preliminary considerational factors for highly parallel commercial computer design. The design issues described in this paper include application area analysis, scalability, availability, network topology and memory hierarchy. We explain how these issues are related to each other and how they affect the system performance. We then describe the system architecture of TICOM-IV, a highly parallel commercial computer, and show how the design issues and the trade-offs are taken into consideration in the course of the system design. Then the architectural model is simulated in order to optimize the system performance. The simulation result shows that TICOM-IV has good performance scalability. This paper also includes some findings in the development trend for parallel computer systems from a survey of 11 commercialized parallel computers.< >

关键词： Computer architecture Concurrent computing parallel processing Application software Computational modeling Decision support systems Scalability System performance Electronic equipment testing Multiprocessing systems

来源：评论

学校读者我要写书评

暂无评论

Buffer management in shared-memory time warp systems

Buffer management in shared-memory time warp systems

引用

workshop on Principles of Advanced and distributed simulation (PADS)

作者： R.M. Fujimoto K.S. Panesar College of Computing Georgia Institute of Technology Atlanta GA USA

Mechanisms for managing message buffers in Time Warp parallel simulations executing on cache-coherent shared-memory multiprocessors are studied. Two simple buffer management strategies called the sender pool and receiver pool mechanisms are examined with respect to their efficiency, and in particular, their interaction with multiprocessor cache-coherence protocols. Measurements of implementations on a Kendall Square Research KSR-2 machine using both synthetic workloads and benchmark applications demonstrate that sender pools offer significant performance advantages over receiver pools. However, it is also observed that both schemes, especially the sender pool mechanism, are prone to severe performance degradations due to poor locality of reference in large simulations using substantial amounts of message buffer memory. A third strategy called the partitioned buffer pool approach is proposed that exploits the advantages of sender pools, but exhibits much better locality. Measurements of this approach indicate that the partitioned pool mechanism yields substantially better performance than both the sender and receiver pool schemes for large-scale, small-granularity parallel simulation applications. The central conclusions from this study are: (1) buffer management strategies play an important role in determining the overall efficiency of multiprocessor-based parallel simulators, and (2) the partitioned buffer pool organization offers significantly better performance than the sender and receiver pool schemes. These studies demonstrate that poor performance may result if proper attention is not paid to realizing an efficient buffer management mechanism.< >

关键词： Computational modeling Circuit simulation Large-scale systems Concurrent computing Discrete event simulation Educational institutions Time sharing computer systems Time warp simulation Protocols Degradation

来源：评论

学校读者我要写书评

暂无评论

Performance comparable design of efficient synchronization protocols for distributed simulation

Performance comparable design of efficient synchronization p...

引用

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

作者： G. Chiola A. Ferscha Dipartimento di Informatica Università di Torino Torino Italy Institut fuür Angewandte Informatik und Informationssysteme Universität Wien Vienna Austria

A large number of variations of distributed simulation protocols have been proposed in the literature. Their performances, however, could not be compared directly, due to different implementation strategies, different optimizations and different software environments as well as parallel hardware platforms. To rank the protocols accurate enough with respect to their execution performance the only practical evaluation, consists in implementing different alternatives and measure their relative performance on significant test cases. In this paper we demonstrate the possibility of simultaneous implementation of the three substantially different protocols starting from a single program skeleton. A clear separation of the simulation part and the synchronisation part of the protocols and reuse of code for more than one variant are the key concepts.< >

关键词： Protocols Discrete event simulation Computational modeling Software performance Hardware Testing parallel processing Constraint optimization distributed computing Proposals

来源：评论

学校读者我要写书评

暂无评论

Dependable parallel computing with agents based on a task graph model

Dependable parallel computing with agents based on a task gr...

引用

Euromicro workshop on parallel and distributed Processing

作者： S. Chabridon E. Gelenbe UFR de Mathématiques et Informatique Université René Descartes Paris Paris France Department of Electrical Engineering Duke University Durham NC USA

We discuss a novel technique for improving the dependability of parallel programs executing on a MIMD shared memory architecture. The idea is to empower certain tasks of each application program to carry out failure detection, and to reschedule the execution of those tasks which are considered to have failed. The technique we propose is based on a task graph representation of the parallel program, in which communications between tasks have been voluntarily isolated to the end of each task which is being considered. We propose and evaluate several algorithms which can detect failures and restart failed tasks. A discrete-event simulator is used to evaluate the performance under the effect of failures, with the use of our detection and restart algorithms, of a specific parallel application: the fast Fourier transform.< >

关键词： parallel processing Discrete event simulation Fast Fourier transforms Concurrent computing Algorithm design and analysis Memory architecture Computational modeling Very large scale integration Computer architecture Hardware

来源：评论

学校读者我要写书评

暂无评论

distributed simulation with locality 95

Distributed simulation with locality

引用

proceedings of the ninth workshop on parallel and distributed simulation

作者： T. D. Blanchard T. W. Lake InterGlossa Ltd. 59 Alexandra Road Reading Berks RG1 5PG UK

ISBN: (纸本)9780818671203

We describe MOSS, a small language of mobile distributed objects and system-wide references, uncommitted to any distributed simulation protocol, but which can be executed as a distributed conservative simulation with automatic deduction of lookahead. We show how the MOSS programmer can control the dynamic distribution and locality of simulation objects by simple means which provide natural modelling functions. Preliminary results show how programmed locality can reduce communication costs in simulation.

关键词： distributed simulation distributed processing MOSS mobile distributed objects digital simulation object-oriented languages simulation objects distributed object oriented language

来源：评论

学校读者我要写书评

暂无评论

parallel gate-level circuit simulation on shared memory architectures 95

Parallel gate-level circuit simulation on shared memory arch...

引用

proceedings of the ninth workshop on parallel and distributed simulation

作者： Rajive Bagrodia Yu-an Chen Vikas Jha Nicki Sonpar Computer Science Department University of California at Los Angeles Los Angeles CA

ISBN: (纸本)9780818671203

This paper presents the results of an experimental study to evaluate the effectiveness of parallel simulation in reducing the execution time of gate-level models of VLSI circuits. Specific contributions of this paper include (i) the design of a gate-level parallel simulator that can be executed, without any changes on both distributed memory and shared memory parallel architectures, (ii) demonstrated speedups with both conservative and optimistic simulation protocols (almost all previous studies on circuit simulation have failed to extract speedups with conservative protocols); in particular we showed that a speedup of about 3 was obtained on 8 processors of Sparc1000 for conservative algorithms and about 2 for optimistic algorithms for circuits in the ISCAS85 benchmark suite; and (iii) performance comparison between shared memory and distributed memory implementations of the simulator.

关键词： parallel simulation logic CAD circuit analysis computing shared memory architectures gate-level parallel simulator optimistic simulation protocols execution time logic design Sparc1000 digital simulation parallel programming ISCAS85 benchmark suite shared memory systems parallel gate-level circuit simulation VLSI circuits VLSI

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：