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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

65 篇 会议
3 篇 期刊文献

馆藏范围

68 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

36 篇 工学
- 28 篇 计算机科学与技术...
- 24 篇 电气工程
- 14 篇 控制科学与工程
- 4 篇 机械工程
- 4 篇 软件工程
- 3 篇 信息与通信工程
- 2 篇 仪器科学与技术
- 2 篇 动力工程及工程热...
- 2 篇 建筑学
- 2 篇 核科学与技术
- 1 篇 化学工程与技术
17 篇 理学
- 14 篇 系统科学
- 2 篇 物理学
- 1 篇 化学
3 篇 管理学
- 3 篇 管理科学与工程(可...
2 篇 艺术学
- 2 篇 设计学（可授艺术学...

主题

11 篇 simulation
11 篇 computational mo...
6 篇 analytical model...
5 篇 data models
4 篇 protocols
3 篇 computer simulat...
3 篇 simulating
3 篇 computer science
3 篇 intelligent netw...
3 篇 distributed comp...
3 篇 mobile computing
3 篇 delay
3 篇 adaptation model...
2 篇 exergy
2 篇 scalability
2 篇 proposals
2 篇 multi-agent simu...
2 篇 real time system...
2 篇 markov processes
2 篇 ganglia

机构

3 篇 nanyang technol ...
2 篇 edf r&d ecoeffic...
2 篇 univ calif los a...
2 篇 russian res ctr ...
2 篇 mines paristech ...
2 篇 carleton univ de...
1 篇 university of ot...
1 篇 univ nottingham ...
1 篇 sapienza univ ro...
1 篇 kth royal inst t...
1 篇 computer science...
1 篇 muroran inst tec...
1 篇 univ roma tor ve...
1 篇 school of ece un...
1 篇 univ rostock d-1...
1 篇 oak ridge natl l...
1 篇 cesnet z.s.p.o z...
1 篇 laas univ de tou...
1 篇 florida inst hum...
1 篇 department of en...

作者

3 篇 cai wentong
2 篇 marjan sirjani
2 篇 yarovoi tv
2 篇 zoughaib assaad
2 篇 tolmachev sv
2 篇 wainer gabriel
2 篇 assaf khattar
2 篇 vale zita
2 篇 musumeci p
2 篇 rosenzweig j
2 篇 azzedine boukerc...
2 篇 varfolomeev aa
2 篇 ayani rassul
2 篇 clodic denis
2 篇 pinto tiago
2 篇 tang xueyan
2 篇 pellegrini c
1 篇 higashino wilson...
1 篇 klaer benedikt
1 篇 maeda kumiko

语言

60 篇 英文
6 篇 中文
2 篇 其他

检索条件"任意字段=23rd International Workshop on Principles of Advanced and Distributed Simulation"

共 68 条记录，以下是1-10 订阅

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

详细简洁

排序：

2009 ACM/IEEE/SCS 23rd workshop on principles of advanced and distributed simulation, PADS '09

2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced an...

引用

2009 ACM/IEEE/SCS 23rd workshop on principles of advanced and distributed simulation, PADS '09

ISBN: (纸本)9780769537139

The proceedings contain 18 papers. The topics discussed include: an approach for validation of semantic composability in simulation models;symbiotic simulation model validation for radiation detection applications;causal program slicing;a performance evaluation of the lightweight time warp protocol in optimistic parallel simulation of DEVS-based environmental model;scalable time warp on blue gene supercomputers;real-time security exercises on a realistic interdomain routing experiment platform;modeling and evaluation of rescue operations using mobile communication devices;parallelizing SystemC kernel for fast hardware simulation on SMP machines;GPU-based real-time execution of vehicular mobility models in large-scale road network scenarios;an efficient and adaptive mechanism for parallel simulation replication;and using REST web-services architecture for distributed simulation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Using REST Web-Services Architecture for distributed simulation 09

Using REST Web-Services Architecture for Distributed Simulat...

引用

23rd international workshop on principles of advanced and distributed simulation

作者： Al-Zoubi, Khaldoon Wainer, Gabriel Carleton Univ Dept Syst & Comp Engn Ctr Visualizat & Simulat Ottawa ON K1S 5B6 Canada

ISBN: (纸本)9780769537139

In recent years, Web Services technologies have been successfully used for simplifying interoperability while providing scalability and flexibility in multiple applications, including distributed simulation software. The RESTful-CD++ simulation Server provides Web Services according to the REST principles by exposing services as URIs and consumed via HTTP. messages. Therefore, the server becomes a service part of the Web that can be easily mashed-up with other applications and simulation software. In contrast, RPC-style SOAP-based Web Services use the Web as a transmission medium by exposing few URIs and many RPCs. RESTful-CD++ is (to our best knowledge) the only existing RESTful system in this area. Further, this distributed simulation package provides pioneering distributed simulation services using the Web architectural style. We present an overview of the principles, design and implementation of the RESTful-CD++ HTTP server and DCD++ simulation. We show that REST fulfills WS objectives with a much better and easier style than the SOAP-based systems.

关键词： distributed simulation SOA REST Web-Services CD++ DEVS

来源：评论

学校读者我要写书评

暂无评论

Efficient Master/Worker Parallel Discrete Event simulation 09

Efficient Master/Worker Parallel Discrete Event Simulation

引用

23rd international workshop on principles of advanced and distributed simulation

作者： Park, Alfred Fujimoto, Richard M. Georgia Inst Technol Computat Sci & Engn Div Atlanta GA 30332 USA

ISBN: (纸本)9780769537139

The master/worker (MW) paradigm can be used to implement parallel discrete event simulations (PDES) on metacomputing systems. MW PDES applications incur overheads not found in conventional PDES executions executing on tightly coupled machines. We introduce four techniques for reducing these overheads on public resource and desktop grid infrastructures Work unit caching, pipelined state updates, expedited message delivery, and adaptive work unit scheduling mechanisms are described that provide significant reduction in overall overhead when used in tandem. We present performance results showing that an optimized MW PDES system can exhibit performance comparable to a traditional PDES system for a queueing network and a particle physics simulation.

关键词： parallel discrete event simulation conservative synchronization caching PDES metacomputing volunteer computing grid computing simulation desktop grids Master/worker

来源：评论

学校读者我要写书评

暂无评论

GPU-based Real-Time Execution of Vehicular Mobility Models in Large-Scale Road Network Scenarios 09

GPU-based Real-Time Execution of Vehicular Mobility Models i...

引用

23rd international workshop on principles of advanced and distributed simulation

作者： Perumalla, Kalyan S. Aaby, Brandon G. Yoginath, Srikanth B. Seal, Sudip K. Oak Ridge Natl Lab Oak Ridge TN 37831 USA

ISBN: (纸本)9780769537139

A methodology and its associated algorithms are presented for mapping a novel, field-based vehicular mobility model onto graphical processing unit computational platform for simulating mobility in large-scale road networks. Of particular focus is the achievement of real-time execution, on desktop platforms, of vehicular mobility on road networks comprised of millions of nodes and links, and multi-million counts of simultaneously active vehicles. The methodology is realized in a system called GARFIELD, whose implementation details and performance study are described The runtime characteristics of a prototype implementation are presented that show real-time performance in simulations of networks at the scale of a few states of the US road networks.

关键词： GPUs Parallel simulation Vehicular Mobility Models Transportation Networks

来源：评论

学校读者我要写书评

暂无评论

An Approach for Validation of Semantic Composability in simulation Models 09

An Approach for Validation of Semantic Composability in Simu...

引用

23rd international workshop on principles of advanced and distributed simulation

作者： Szabo, C. Teo, Y. M. Natl Univ Singapore Dept Comp Sci Singapore 117417 Singapore

ISBN: (纸本)9780769537139

Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the new composed model. Validation of semantic composability is a non-trivial problem, because reused simulation components are heterogeneous in nature and validation must consider various orthogonal aspects including logical, temporal, and formal. In this paper, we propose a layered approach to semantic composability validation with increasing accuracy and complexity. The first layer exploits model checking for logical properties of component coordination including deadlock, safety;and liveness. Next, we address temporal properties by validating composition safety and liveness through simulation time. The third layer provides a formal composition validation guarantee by determining the behavioral equivalence between the composed model and a perfect model. In contrast to state-of-the-art approaches, we propose time-based,formalisms to describe simulation components and compare the composition behaviors through time using semantically related composition states.

关键词： semantic composability validation simulation component

来源：评论

学校读者我要写书评

暂无评论

Symbiotic simulation Model Validation for Radiation Detection Applications 09

Symbiotic Simulation Model Validation for Radiation Detectio...

引用

23rd international workshop on principles of advanced and distributed simulation

作者： Aydt, Heiko Turner, Stephen John Cai, Wentong Low, Malcolm Yoke Hean Ayani, Rassul Nanyang Technol Univ Sch Comp Engn Singapore 639798 Singapore KTH Royal Inst Technol Sch Informat & Commun Technol Stockholm Sweden

ISBN: (纸本)9780769537139

Detection of radiological dispersal devices (rdDs) is important because of their potential for destruction and psychological impact on the affected population. These devices leave a clear trace which can be followed when using appropriate detection devices. Geiger counter devices provide data regarding the radiation intensity. However, this is not enough information to pinpoint a radiation source. Neither can this information be directly used to classify the radiation source. We describe a method using symbiotic simulation which can be used to classify and localise a radiation source given accurate measurements of radiation intensities at reference points and a detailed model of the environment. Initial classification and localisation, as well as continuous tracking of a moving radiation source, is considered. The effects of a measurement error and a model error are investigated.

关键词： Symbiotic simulation Radiation Detection

来源：评论

学校读者我要写书评

暂无评论

Modeling and Evaluation of Rescue Operations using Mobile Communication Devices 09

Modeling and Evaluation of Rescue Operations using Mobile Co...

引用

23rd international workshop on principles of advanced and distributed simulation

作者： Nakata, Keisuke Maeda, Kumiko Umedu, Takaaki Hiromori, Akihito Yamaguchi, Hirozumi Higashino, Teruo Osaka Univ Grad Sch Informat Sci & Technol Suita Osaka 5650871 Japan

ISBN: (纸本)9780769537139

In this paper, we propose an environment to support evaluation of network-aided emergency support systems. We provide an original language to describe the behavior of rescue teams, medical teams and sufferers in disaster areas. This language allows to describe reactive behavior in which actions are determined depending on their locations, surroundings and information received from emergency support systems via wireless networks. Also we provide a geographical model to represent aid stations, emergency evacuation areas and afflicted areas in disaster areas. We also provide a junction to evaluate a real system running on mobile terminals by the real-time network emulation,function of our MobiREAL simulator. Using these models and functions, we have conducted several simulation experiments, which have proved the capability of our proposed environment.

关键词： Performance Evaluation Emergency support system Network simulation

来源：评论

学校读者我要写书评

暂无评论

Parallelizing SystemC Kernel for Fast Hardware simulation on SMP Machines 09

Parallelizing SystemC Kernel for Fast Hardware Simulation on...

引用

23rd international workshop on principles of advanced and distributed simulation

作者： Ezudheen, P. Chandran, Priya Chandra, Joy Simon, Biju Puthur Ravi, Deepak Natl Inst Technol Calicut Calicut Kerala India Intel Corp Santa Clara CA USA

ISBN: (纸本)9780769537139

SystemC is a system-level modeling language and simulation framework which facilitates design and verification of processor designs at different levels. Recently, SystemC is becoming a popular choice for designers of both System-On-Chip (SoC) and embedded processors, clue to its adaptability at cycle as well as transaction levels, and ability to model concurrent processes. However, the single threaded simulation kernel inherent to SystemC, prevents it froth utilizing the potential computing power of symmetric multiprocessing (SMP) machines to speed up hardware simulation. We present a parallel SystemC simulation kernel, which is implemented using parallel programming techniques and leverages the parallel execution capabilities of multi-core machines to speed up hardware simulation. We discuss the mechanism we use for mapping parallel SystemC modules into different cores. Finally we report the performance of the parallelized SystemC kernel using a linear pipelined performance model and a pipelined performance model tailored to exhibit the behavior of real world simulation. Our results demonstrate that the performance improvement obtained by using parallelized SystemC for simulation of the above models is significant and improves with increasing design complexity of the simulated design and the number of cores in the machine running the simulators.

关键词： SoC TLM SystemC Core affinity OSCI SMP

来源：评论

学校读者我要写书评

暂无评论

Di-DyMeLoR: Logging only Dirty Chunks for Efficient Management of Dynamic Memory Based Optimistic simulation Objects 09

Di-DyMeLoR: Logging only Dirty Chunks for Efficient Manageme...

引用

23rd international workshop on principles of advanced and distributed simulation

作者： Pellegrini, Alessandro Vitali, Roberto Quaglia, Francesco Sapienza Univ Roma DIS Rome Italy

ISBN: (纸本)9780769537139

A recent work has presented the design and implementation of a software library;named DyMeLoR, supporting transparent log/restore facilities for optimistic simulation objects with generic memory layout. This library offers the possibility, to allocate/deallocate memory chunks via standard API, and performs log/restore of the object state via pack/unpack techniques, exploiting ad-hoc meta-data concisely identifying the object state layout at each point in simulation time. In this paper we complement such a library, with a software architecture offering the following additional advantages: (i) run-time identification of chunk updates within the dynamic memory map, (ii) reduced checkpoint latency and increased effectiveness in memory usage thanks to log/restore facilities based on (periodic) snapshots of the whole simulation object state, taken via the incremental copy of the modified (dirty) chunks only. Our approach is based on software instrumentation techniques (suited for LINUX and the ELF format), targeting memory update references performed by the application-level software, and on a lightweight run-time monitoring mechanism providing minimal overhead while tracking the exact memory addresses and the size of memory areas dirtied by the execution of each event. Also, our design has been oriented to portability across 32-bit and 64-bit Intel compliant architectures, thus covering a wide spectrum of off-the-shelf machines.

关键词： Performance optimization Incremental checkpointing Optimistic simulation

来源：评论

学校读者我要写书评

暂无评论

Investigating the Establishment of Architecture principles for Supporting Large-Scale Agile Transformations 23

Investigating the Establishment of Architecture Principles f...

引用

IEEE 23rd international Enterprise distributed Object Computing workshop (EDOCW)

作者： Uludag, Omer Proper, Henderik A. Matthes, Florian Tech Univ Munich Munich Germany Luxembourg Inst Sci & Technol Luxembourg Luxembourg Univ Luxembourg Luxembourg Luxembourg

ISBN: (纸本)9781728127026

The widespread use of agile methods shows a fundamental shift in the way organizations try to cope with unpredictable competitive environments. In large-scale agile settings, multiple development activities need to be coordinated to achieve desirable enterprise-wide effects and agility. A powerful instrument to effectively guide and steer large-scale agile endeavors is the formulation and usage of architecture principles. Despite their raison d'etre to guide large organizational transformations, extant studies on how principles can be used to support large-scale agile transformations are still lacking. Against this backdrop, we present a multiple-case study involving five German companies that aims to shed light on the establishment of architecture principles to support large-scale agile transformations. Based on our results from sixteen semi-structured interviews, we present current practices as well as challenges faced by organizations during the application of architecture principles. In addition, we show a set of principles used to support large-scale agile transformations.

关键词： Architecture principles large-scale agile transformation multiple-case study

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共7页 << < 1 2 3 4 5 6 7 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：