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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

573 篇 工学
- 538 篇 计算机科学与技术...
- 342 篇 软件工程
- 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,158 篇 英文
7 篇 俄文
4 篇 中文
2 篇 其他

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

共 1171 条记录，以下是621-630 订阅

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

详细简洁

排序：

Scheduling critical channels in conservative parallel discrete event simulation

Scheduling critical channels in conservative parallel discre...

引用

workshop on Principles of Advanced and distributed simulation (PADS)

作者： Z. Xiao B. Unger R. Simmonds J. Cleary Computer Science Department University of Calgary Canada Comuter Science Department University of Waikato New Zealand

This paper introduces the Critical Channel Traversing (CCT) algorithm, a new scheduling algorithm for both sequential and parallel discrete event simulation. CCT is a general conservative algorithm that is aimed at the simulation of low-granularity network models on shared-memory multiprocessor computers. An implementation of the CCT algorithm within a kernel called TasKit has demonstrated excellent performance for large ATM network simulations when compared to previous sequential, optimistic and conservative kernels. TasKit has achieved two to three times speedup on a single processor with respect to a splay tree central-event-list based sequential kernel. On a 16 processor (R8000) Silicon Graphics PowerChallenge, TasKit has achieved an event-rate of 1.2 million events per second and a speedup of 26 relative to the sequential kernel for a large ATM network model. Performance is achieved through a multi-level scheduling scheme that supports the scheduling of large grains of computation even with low-granularity events. Performance is also enhanced by supporting good cache behavior and automatic load balancing. The paper describes the algorithm and its motivation, proves its correctness and briefly presents performance results for TasKit.

关键词： Kernel Processor scheduling Scheduling algorithm Computational modeling Discrete event simulation Computer simulation Computer networks Tree graphs Silicon Graphics

来源：评论

学校读者我要写书评

暂无评论

Optimism: not just for event execution any more

Optimism: not just for event execution any more

引用

workshop on Principles of Advanced and distributed simulation (PADS)

作者： C.H. Young R. Radhakrishnan P.A. Wilsey Department of ECECS University of Cincinnati Cincinnati OH USA

Optimism is a technique used by the Time Warp paradigm to make decisions about event execution under uncertainty. While the benefits of throttling the optimism of Time Warp have been studied, the benefits of extending optimism to operations besides event execution are presented. Specifically, we discuss how optimism can be mapped to fossil collection which has traditionally been assumed to be a non-recoverable operation that must be performed under global control. Optimistic Fossil Collection (OFC) is a technique for fossil collection that does not require global control. However, as states are fossil collected optimistically, a recovery mechanism is required to recover from errors. Performance results show that Time Warp using OFC can improve the performance of simulations on a network of workstations. Another benefit of OFC is that the simulation checkpoints provide for fault tolerance in more than just fossil collection.

关键词： Time warp simulation Uncertainty Optimization methods Protocols Workstations Fault tolerant systems Discrete event simulation Contracts Checkpointing Memory management

来源：评论

学校读者我要写书评

暂无评论

Exploiting temporal uncertainty in parallel and distributed simulations 99

Exploiting temporal uncertainty in parallel and distributed ...

引用

proceedings of the thirteenth workshop on parallel and distributed simulation

作者： Richard M. Fujimoto College of Computing Georgia Institute of Technology Atlanta GA

ISBN: (纸本)9780769501550

parallel discrete event simulation algorithms are usually based on time stamp ordering of events. distributed virtual environment (DVE) applications such as DIS typically use unordered event delivery. A partial order called approximate time (AT) is proposed to order events in both domains, facilitating reuse of simulations across DVE and analysis applications. A variation on AT-order called approximate time causal (ATC) order is also described. Synchronization algorithms to realize these orderings are presented as well as performance measurements on a workstation cluster. A long-term goal of this work is to use AT and ATC order to exploit temporal uncertainty in the model to achieve efficient conservative parallel simulation despite little or no lookahead, a longstanding problem in the field.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On the performance of nearest-neighbors load balancing algorithms in parallel systems

On the performance of nearest-neighbors load balancing algor...

引用

Euromicro workshop on parallel and distributed Processing

作者： A. Cortes A. Ripoll M.A. Senar P. Pons E. Luque Computer Architectures and Operating Systems Group Universitat Autònoma Barcelona Barcelona Spain

DASUD (Diffusion Algorithm Searching Unbalanced Domains) is a totally distributed load-balancing algorithm which belongs to the nearest-neighbors class. DASUD detects unbalanced domains (a processor and its immediate neighbors) and corrects this situation by allowing load movements between non-connected processors. DASUD has been evaluated by comparison with two well-known nearest-neighbors load balancing strategies, namely, the GDE (Generalized Dimension Exchange) and the SID (Sender Initiated Diffusion) by considering a large set of initial load distributions. These distributions were applied to ring, tents and hypercube topologies, and the number of processors ranged from 8 to 128. From these experiments we have observed that DASUD outperforms the other strategies used in the comparison as it provides the best trade-off between the balance degree obtained at the final state and the number of iterations required to reach this state.

关键词： Load management Iterative algorithms Concurrent computing Computer architecture Operating systems Topology parallel processing Plasma simulation Partial differential equations distributed computing

来源：评论

学校读者我要写书评

暂无评论

Fast-software-checkpointing in optimistic simulation: embedding state saving into the event routine instructions

Fast-software-checkpointing in optimistic simulation: embedd...

引用

workshop on Principles of Advanced and distributed simulation (PADS)

作者： F. Quaglia Dipartimento di Informatica e Sistemistica Università di Roma La Sapienza Roma Italy

We present a software approach, namely fast-software-checkpointing (FSC), to reduce the running time of the state saving protocol in optimistic parallel discrete event simulation. The idea behind FSC is to use the instructions performed during the execution of an event as part of the state saving protocol, hence the total number of instructions due to state saving is reduced. Under FSC the time for saving the state of a logical process prior to the execution of an event E requires an amount of time proportional to the amount of state variables not updated by E's execution, as only these variables must be copied. This outlines that FSC shows some dualism with respect to incremental state saving. We show, however that there exists a basic difference between the two solutions as in FSC some of the state saving instructions are actually event routine instructions, while in incremental state saving they are only added and mixed to the latter ones. We also present a simple software architecture to support FSC and simulation results to demonstrate the effectiveness of such solution. The obtained data show that FSC, combined with a sparse state saving strategy may represent the best checkpointing solution in case of both medium/small state granularity simulations and large state granularity simulations even with small (but non-minimal) portions of the state updated by event execution. FSC may result therefore suited for a wide class of simulation problems.

关键词： Discrete event simulation Power capacitors Checkpointing Protocols Remuneration

来源：评论

学校读者我要写书评

暂无评论

distributed airport simulation using CORBA and DIS

Distributed airport simulation using CORBA and DIS

引用

IEEE International workshop on Software Engineering for parallel and distributed Systems

作者： Rackl de Stefani Heran Pasquarelli Ludwig LRR-TUM Institut für Informatik Technische Universität Munich Germany ALENIA MARCONI Systems Rome Italy Division Electronique SOGITEC Suresnes France

This paper presents the SEEDS simulation environment for the evaluation of distributed traffic control systems. Starting with an overview of the general simulator architecture, the software modules and the derived hardware architecture of the simulation environment are described with respect to performance requirements. The communication architecture of the SEEDS simulator is based on the CORBA standard and the DIS simulation protocol. With the SEEDS prototype simulating airport ground-traffic, performance measurements evaluating critical design and implementation decisions are described. The main aspects of the performance analysis are the attained application performance using CORBA and DIS as communication middleware, and the scalability of the overall approach. The evaluation shows the appropriateness of the design of the simulation environment and the derived hard- and software architecture, which is flexible and open to further extensions. Moreover the combination of CORBA and DIS provides a suited platform for distributed interactive simulation purposes because of the adequate performance, high scalability, and the high-level programming model which allows to rapidly develop and maintain complex distributed applications with high-performance requirements.

关键词： Air transportation

来源：评论

学校读者我要写书评

暂无评论

Dynamic coupling of grid-based multidisciplinary applications

Dynamic coupling of grid-based multidisciplinary application...

引用

Euromicro workshop on parallel and distributed Processing

作者： Yun Ding M. Munch M. Laux Institute of Parallel and Distributed High-Performance Systems (IPVR) University of Stuttgart Germany IBM High Performance Support Center Heidelberg Germany

The GRISSLi coupling interface is a runtime library designed for the coupled computation of grid-based multidisciplinary applications. Established simulation programs, which are devoted to a single discipline, can be interconnected to a complex simulation system via the GRISSLi coupling interface without recoding the participating programs. We introduce a data model to establish the links between the (dynamic) grids and the attached coupling values in a single application program and to establish the mappings between grids and coupling values among different application programs. The user-specified consistency model is realized using asynchronous communication based on the MPI message passing standard. Efficient communication is achieved by pre-computing an optimized communication schedule and overlapping communication with computation. Flexible coupling algorithms with adaptive grids and branches are supported in GRISSLi. We have developed a prototype implementation, which provides language bindings in ANSI C and Fortran, and runs currently on IBM RS/6000 SP, Gray T3E, SGI Origin/Octane and HP-V Class. We verify the functionality and evaluate the performance of our library using an industry relevant pilot application, the steel strip production process.

关键词： Computational modeling Runtime library Computer interfaces Grid computing Data models Asynchronous communication Message passing Communication standards Job shop scheduling Processor scheduling

来源：评论

学校读者我要写书评

暂无评论

Specification and simulation of a concurrent real-time system

Specification and simulation of a concurrent real-time syste...

引用

IEEE International workshop on Software Engineering for parallel and distributed Systems

作者： Xiaoshan Li Faculty of Science and Technology University of Macau Macau Macao China

Interval temporal logic (ITL) is a real-time logic for specifying and verifying real-time systems. In this paper, ITL is used to specify a concurrent real-time system: an assembly line which is an abstract model of industrial robot control systems. We can specify the abstract properties of the system in ITL as well as the system design using the executable subset of ITL, Tempura. Compared with other approaches, the first advantage of this methodology is that the concurrent real-time systems can be naturally specified in a true concurrent model rather than an interleaving model. The second is that the specification of the system design is executable so that the simulation can be obtained in the same formal framework. Therefore, both the properties of the system and the consistency of the specification can be checked before verification.

关键词： distributed computing

来源：评论

学校读者我要写书评

暂无评论

Experience in retrofitting a large sequential Ada simulator to two versions of time warp

Experience in retrofitting a large sequential Ada simulator ...

引用

workshop on Principles of Advanced and distributed simulation (PADS)

作者： R. Smith R. Andress G.M. Parsons TRFV Systems and Information Technology Group USA U.S. Army Space and Missile Defense Command USA

The Extended Air Defense Testbed (EADTB), is a comprehensive, high- and mixed-level-of-detail, environment for modeling weapon system entities and interactions. Due to the complexity of the models and large scenario sizes, in its current single-threaded form, EADTB is limited in run-time speed. Our goal is to speed up the simulation without re-architecture or re-implementation of the models which comprise 1.76 million lines of Ada code, and without altering model behavior or compromising repeatability and causality. Our work demonstrates that the use of optimistic scheduling techniques and its derivatives, offers the best alternative for object-based systems like EADTB. Specifically we have retrofitted and integrated the same representative pseudo-EADTB prototype with two different object-oriented optimistic scheduling engines (SPEEDES and TEMPO/Thema). We discuss the required architectural and behavioral features of a simulation to allow this retrofit, the issues of C++ to Ada language interfaces, and the employment of the basic services of the optimistic scheduling engines in this environment. Experimental results suggest that order-of-magnitude speed-up is feasible through parallelization, and is scalable to larger experiments simply by adding hardware.

关键词： Time warp simulation Military computing Engines Computational modeling Information technology Missiles Weapons Runtime Space technology Tellurium

来源：评论

学校读者我要写书评

暂无评论

Performance prediction of a parallel simulator 99

Performance prediction of a parallel simulator

引用

proceedings of the thirteenth workshop on parallel and distributed simulation

作者： Jason Liu David Nicol Brian J. Premore Anna L. Poplawski Department of Computer Science Dartmouth College Hanover NH

ISBN: (纸本)9780769501550

There are at least three major obstacles thwarting wide-spread adoption of parallel discrete-event simulation (a) lack of need, (b) lack of tools, (c) lack of predictability in behavior and performance. The plain truth is that most simulation studies can be adequately done on ordinary serial computers. parallel simulation tools are products of re-search efforts, and simply don't stand up to the demands of modern software engineering. The results of 20 years of research in parallel simulation reveal it to be a highly complex endevour, with performance results very much dependent on implementation details and model characteristics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共118页 << < 59 60 61 62 63 64 65 66 67 68 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：