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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

661 篇 工学
- 620 篇 计算机科学与技术...
- 359 篇 软件工程
- 84 篇 信息与通信工程
- 79 篇 控制科学与工程
- 72 篇 电气工程
- 47 篇 电子科学与技术（可...
- 10 篇 化学工程与技术
- 7 篇 力学（可授工学、理...
- 7 篇 机械工程
- 7 篇 材料科学与工程（可...
- 7 篇 土木工程
- 6 篇 仪器科学与技术
- 6 篇 动力工程及工程热...
- 6 篇 建筑学
- 6 篇 生物医学工程（可授...
- 6 篇 生物工程
- 5 篇 网络空间安全
- 4 篇 交通运输工程
192 篇 理学
- 145 篇 数学
- 43 篇 系统科学
- 40 篇 统计学（可授理学、...
- 20 篇 物理学
- 13 篇 化学
- 10 篇 生物学
41 篇 管理学
- 35 篇 管理科学与工程(可...
- 23 篇 工商管理
- 8 篇 图书情报与档案管...
8 篇 经济学
- 8 篇 应用经济学
8 篇 教育学
- 8 篇 教育学
4 篇 法学
- 4 篇 社会学
4 篇 医学
4 篇 军事学
1 篇 农学

主题

279 篇 computational mo...
238 篇 computer simulat...
220 篇 discrete event s...
135 篇 concurrent compu...
106 篇 distributed comp...
94 篇 computer science
85 篇 parallel process...
74 篇 protocols
67 篇 computer archite...
62 篇 analytical model...
62 篇 computer network...
57 篇 costs
56 篇 large-scale syst...
54 篇 application soft...
54 篇 time warp simula...
48 篇 hardware
46 篇 delay
43 篇 parallel process...
42 篇 predictive model...
41 篇 circuit simulati...

机构

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...
7 篇 univ roma la sap...
7 篇 computer science...
6 篇 coll of william ...
6 篇 school of comput...
6 篇 department of co...
6 篇 georgia inst of ...
6 篇 georgia institut...
5 篇 gintic institute...
5 篇 rensselaer polyt...
5 篇 school of applie...
4 篇 mitre corporatio...
4 篇 georgia inst of ...
4 篇 department of el...

作者

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

语言

1,346 篇 英文
7 篇 俄文
5 篇 中文
2 篇 其他

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

共 1360 条记录，以下是771-780 订阅

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

详细简洁

排序：

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A generic framework for parallelization of network simulations

A generic framework for parallelization of network simulatio...

引用

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

作者： G.F. Riley R.M. Fujimoto M.H. Ammar Georgia Institute of Technology College of Computing Georgia Institute of Technology Atlanta GA USA

Discrete event simulation is widely used within the networking community for purposes such as demonstrating the validity of network protocols and architectures. Depending on the level of detail modeled within the simulation, the running time and memory requirements can be excessive. The goal of our research is to develop and demonstrate a practical, scalable approach to parallel and distributed simulation that will enable widespread reuse of sequential network simulation models and software. We focus on an approach to parallelization where an existing network simulator is used to build models of subnetworks that are composed to create simulations of larger networks. Changes to the original simulator care minimized, enabling the parallel simulator to easily track enhancements to the sequential version. We describe our lessons learned in applying this approach to the publicly available ns software package (McCanne and Floyd, 1997) and converting it to run in a parallel fashion on a network of workstations. This activity highlights a number of important problems, from the standpoint of how to parallelize an existing serial simulation model and achieving acceptable parallel performance.

关键词： Computational modeling Discrete event simulation Analytical models Workstations Educational institutions Computer networks Protocols Computer architecture Performance analysis Next generation networking

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Optimizing message aggregation for parallel simulation on high performance clusters

Optimizing message aggregation for parallel simulation on hi...

引用

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

作者： C.D. Pham C. Albrecht RHDAC Université Claude Bernard Lyon I France Institut für Technische Informatik Medizinische Universität zu Lübeck Germany

High performance clusters (HPCs) based on commodity hardware are becoming more and more popular in the parallel computing community. These new platforms offer hardware capable of a very low latency and a very high throughput at an unbeatable cost, making them attractive for a large variety of parallel and distributed applications. With adequate communication software, HPCs have the potential to achieve a level of performance similar to massively parallel computers. However for parallel applications that present a high communication/computation ratio, it is still essential to provide the lowest latency in order to minimize the communication overhead. We are investigating message aggregation techniques to improve parallel simulations of fine-grain ATM communication network models. Even if message aggregation is a well-known solution for improving the communication performance of high latency interconnection networks, the complex interaction between message aggregation and the underlying communication software is often ignored. We show that message aggregation must carefully take into account the characteristics of the communication software to be efficient on an HPC. This methodology can be applied as a preliminary step to tune a message aggregation algorithm for a given combination of hardware architecture and communication software layer.

关键词： Hardware Delay Computational modeling Application software Software performance Concurrent computing parallel processing Throughput Costs Communication networks

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Efficient optimistic parallel simulations using reverse computation 99

Efficient optimistic parallel simulations using reverse comp...

引用

proceedings of the thirteenth workshop on parallel and distributed simulation

作者： Christopher D. Carothers Kaylan S. Perumalla Richard M. Fujimoto Department of Computer Science Rensselaer Polytechnic Institute 110 8th Street Troy New York College of Computing Georgia Institute of Technology Atlanta GA

来源：评论

学校读者我要写书评

暂无评论

Case study: parallelizing a sequential simulation model 99

Case study: parallelizing a sequential simulation model

引用

proceedings of the thirteenth workshop on parallel and distributed simulation

作者： Lokesh Bajaj Rajive Bargrodia Richard Meyer Computer Science Department University of California Los Angeles Los Angeles CA

ISBN: (纸本)9780769501550

Most successful examples of parallel simulation models were developed for parallel execution, from the beginning. A number of simulation models are designed only for sequential simulation, even in languages like PARSEC, that support both sequential and parallel simulation algorithms. Converting such simulation models to a form that yields good performance with a parallel implementation can be non-trivial. In this paper we describe a case study showing this conversion process for a simulation model of replicated file systems. The details of the major steps taken in converting the simulation into a parallel simulation are presented: correctness changes; performance changes such as communication topology simplification and lookahead specification; and modeling changes to eliminate performance bottlenecks. The details and performance improvements of each step are presented in this paper.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共136页 << < 74 75 76 77 78 79 80 81 82 83 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：