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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

645 篇 工学
- 606 篇 计算机科学与技术...
- 380 篇 软件工程
- 91 篇 信息与通信工程
- 81 篇 控制科学与工程
- 62 篇 电气工程
- 45 篇 电子科学与技术（可...
- 10 篇 化学工程与技术
- 8 篇 机械工程
- 8 篇 材料科学与工程（可...
- 8 篇 动力工程及工程热...
- 6 篇 力学（可授工学、理...
- 6 篇 土木工程
- 5 篇 仪器科学与技术
- 5 篇 建筑学
- 5 篇 生物工程
- 4 篇 冶金工程
- 4 篇 交通运输工程
- 4 篇 生物医学工程（可授...
193 篇 理学
- 148 篇 数学
- 41 篇 系统科学
- 38 篇 统计学（可授理学、...
- 22 篇 物理学
- 13 篇 化学
- 9 篇 生物学
44 篇 管理学
- 37 篇 管理科学与工程(可...
- 21 篇 工商管理
- 9 篇 图书情报与档案管...
9 篇 教育学
- 9 篇 教育学
8 篇 经济学
- 8 篇 应用经济学
4 篇 法学
- 4 篇 社会学
4 篇 军事学
3 篇 医学
1 篇 农学

主题

255 篇 computational mo...
227 篇 computer simulat...
216 篇 discrete event s...
129 篇 concurrent compu...
95 篇 distributed comp...
84 篇 computer science
81 篇 parallel process...
73 篇 protocols
60 篇 analytical model...
55 篇 computer archite...
54 篇 time warp simula...
53 篇 large-scale syst...
50 篇 computer network...
47 篇 costs
47 篇 parallel process...
44 篇 application soft...
41 篇 circuit simulati...
41 篇 delay
39 篇 hardware
36 篇 runtime

机构

18 篇 college of compu...
13 篇 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...
6 篇 coll of william ...
6 篇 department of co...
6 篇 georgia inst of ...
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...

作者

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

语言

1,263 篇 英文
7 篇 俄文
4 篇 中文
2 篇 其他

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

共 1276 条记录，以下是221-230 订阅

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

详细简洁

排序：

parallel execution of region-scale evacuation traffic models 06

Parallel execution of region-scale evacuation traffic models

引用

20th workshop on Principles of Advanced and distributed simulation, PADS 2006

作者： Perumalla, Kalyan S. Oak Ridge National Laboratory United States

ISBN: (纸本)0769525873

simulation-based planning by emergency management agencies for region-scale evacuation scenarios requires fast execution of large vehicular traffic models. The planning problem is characterized by the need to capture micro behaviors of population as well as the far-reaching dependencies inherent in heavily stressed network conditions spanning wide spatial scales. parallel execution is, thus, required to sustain the required detail, size and speed. However, few parallel simulators exist for such applications, partly due to the challenges underlying their development. While most existing simulators are limited in size to a few hundred thousand road segment intersections, region-scale scenarios can involve millions of intersections. Moreover, many simulators are based on time-stepped models, which can be computationally inefficient for the purposes of modeling evacuation traffic. We are addressing the speed and scalability problems using a two-fold approach. First, we are developing discrete event models of vehicular traffic that accommodate complex driver behavior, operation of intersection controllers and complex individual trip patterns. Secondly, we are developing new model partitioning methods and applying parallel discrete event simulation techniques to enable efficient parallel execution on high-performance computing platforms. These are being incorporated into a new parallel simulator of discrete event models of transportation networks, called SCATTER, which we are developing in support of large-scale emergency evacuation scenarios. The end goal of this effort is to greatly exceed the current vehicular simulation capabilities, and enable the simulation at unprecedented scales with millions of intersections and vehicles. © 2006 IEEE.

关键词： Telecommunication traffic

来源：评论

学校读者我要写书评

暂无评论

Predicting performance of resolution changes in parallel simulations 06

Predicting performance of resolution changes in parallel sim...

引用

20th workshop on Principles of Advanced and distributed simulation, PADS 2006

作者： Rao, Dhananjai M. Wilsey, Philip A. CSA Department Miami University Oxford OH - 45056 United States Department of ECECS University of Cincinnati Cincinnati OH 45221-0030 United States

ISBN: (纸本)0769525873

Multi-resolution models can be statically (i.e., before simulation) or dynamically (i.e., during simulation) abstracted to accelerate the simulations without compromising the analysis goals. However, abstractions must be carefully chosen because not all abstractions improve performance. Unfortunately, identifying performance enhancing transformations, particularly in parallel simulations, is a complex task. We have been investigating this bottleneck using a component-based, Time Warp synchronized modeling and simulation environment called WESE in which static and dynamic abstractions are performed using a methodology called Dynamic Component Substitution (DCS). Our ongoing research has resulted in further advances to a novel DCS Performance Prediction Methodology (DCSPPM). DCSPPM combines and compares platform-specific performance characteristics of components via static analysis of the model to predict performance changes due to DCS transformations. This paper presents the enhanced version of DCSPPM and experiments. Empirical evidence obtained using diverse models indicates that DCSPPM provides good estimates (error < 5%) of the performance impacts of DCS transformations. © 2006 IEEE.

关键词： parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

A generic approach to build plant models for DES verification purposes

A generic approach to build plant models for DES verificatio...

引用

8th International workshop on Discrete Event Systems

作者： Machado, J. Denis, B. Lesage, J. -J. Univ Res Lab Automated Prod Ecole Normale Super Cachan 61 Ave President Wilson F-94235 Cachan France Univ Minho Dept Mech Engn P-4800058 Guimaraes Portugal

ISBN: (纸本)1424400538

The modeling of plant behavior is often essential in the design, performance analysis or diagnosis of Discrete Event Systems (DES). Yet this task remains a difficult one for which little research has been devoted. In this paper, we propose a technique for building behavioral models specific to large-scale plants, in order to perform a formal verification of the controller by means of "model-checking". In this aim, we have opted to use a modular approach with an appropriate class of automata. To obtain the overall plant model, parallel evolutions of the elementary automata are to be coordinated by a sequencer that ensures consistency of these evolutions.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

Exploration of distributed shared memory architectures for NoC-based multiprocessors

Exploration of distributed shared memory architectures for N...

引用

6th International workshop on Embedded Computer Systems - Architectures, Modeling and simulation

作者： Monchiero, Matteo Palermo, Gianluca Silvano, Cristina Villa, Oreste Politecn Milan Dipartimento Elettron & Informaz I-20133 Milan Italy

ISBN: (纸本)1424401550

Multiprocessor system-on-chip (MP-SoC) platforms represent an emerging trend for embedded multimedia applications. To enable MP-SoC platforms, scalable communication-centric interconnect fabrics, such as networks-on-chip (NoC), have been recently proposed. The shared memory represents one of the key elements in designing MP-SoCs, since its function is to provide data exchange and synchronization support. In this paper, a distributed shared memory architecture has been explored, that is suitable for low-power on-chip multiprocessors based on NoC. In particular, the paper focuses on the energy/delay exploration of on-chip physically distributed and logically shared memory address space for MP-SoCs based on a parameterizable NoC. The data allocation on the physically distributed shared memory space is dynamically managed by an on-chip Hardware Memory Management Unit. Experimental results show the impact of different NoC topologies and distributed shared memory configurations for a selected set of parallel benchmark applications from the power/performance perspective.

关键词： Network-on-chip

来源：评论

学校读者我要写书评

暂无评论

Eurographics Symposium on parallel Graphics and Visualization, EGPGV 2006

Eurographics Symposium on Parallel Graphics and Visualizatio...

引用

6th Eurographics Symposium on parallel Graphics and Visualization, EGPGV 2006

ISBN: (纸本)3905673401

The proceedings contain 20 papers. The topics discussed include: rendering on demand;an application of scalable massive model interaction using shared-memory systems;accelerating the irradiance cache through parallel component-based rendering;parallel simulation of cloth on distributed memory architectures;dynamic load balancing for parallel volume rendering;interactive volume rendering of unstructured grids with time-varying scalar fields;optimized volume raycasting for graphics-hardware-based cluster systems;accelerated volume rendering with homogeneous region encoding using extended anisotropic chessboard distance on GPU;parallel texture-based vector field visualization on curved surfaces using GPU cluster computers;and distributed force-directed graph layout and visualization.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Model checking suspendible business processes via statechart diagrams and CSP

Model checking suspendible business processes via statechart...

引用

4th International workshop on Modelling, simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006

作者： Yeung, W.L. Leung, K.R.P.H. Wang, Ji Dong, Wei Lingnan University Hong Kong Hong Kong Hong Kong Institute of Vocational Education Hong Kong Hong Kong National Laboratory for Parallel and Distributed Processing Changsha Hunan China

ISBN: (纸本)9789728865498

When using statechart diagrams, the history mechanism can be useful for modelling the suspension of a "normal" business process upon certain "abnormal" events together with the subsequent resumption, as illustrated by the examples in this paper. However, previous approaches to model checking statechart diagrams often ignore the history mechanism. We enhanced such a previous approach based on Communicating Sequential Processes (CSP) and developed a support tool for it.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

A generic symbiotic simulation framework 06

A generic symbiotic simulation framework

引用

20th workshop on Principles of Advanced and distributed simulation, PADS 2006

作者： Shell, Ying Huang Wentong, Cai JohnTurner, Stephen Hsu, Wen Jing Suiping, Zhou Low, Malcolm Yoke Hean Fujimoto, Richard Ayani, Rassul Nanyang Technological University Singapore Singapore Singapore Institute of Manufacturing Technology Singapore Singapore Georgia Institute of Technology United States Royal Institute of Technology Sweden

ISBN: (纸本)0769525873

A symbiotic or online simulation is defined as one that interacts with the physical system in a mutually beneficial way. The simulation is driven by real time data collected from a physical system under control and needs to meet the real-time requirements of the physical system. In turn, the results from the "what-if experiments performed by the simulator can be used to control the dynamic behaviour of the physical system. Such a simulation tool is for real-time planning and is to foresee and advise on real time problems. It aims to improve performance, to adapt to sudden and unexpected events and to improve aspects of safety and security of the physical system. There are some research efforts, for example, the Dynamic Data-Driven Application Systems (DDDAS) which are currently advocated by the National Science Foundation (NSF) of the United States. However, work in this area is far from complete and many of the research issues are not fully addressed. We see the need for a general framework for symbiotic simulation. In this project, simulators based on the same general framework will be developed using symbiotic simulation techniques and will be used to provide adaptive decision support to manage the resources in several application environments. The objectives of this project are: To develop a generic, agent-based, symbiotic simulation system architecture. To develop mechanisms to support dynamic coupling between the symbiotic simulation system and the physical system. To conduct pilot case studies of the simulation framework. To explore and evaluate the service oriented architecture approach for parallel simulation in the multi-agent symbiotic simulation framework. © 2006 IEEE.

关键词： Online systems

来源：评论

学校读者我要写书评

暂无评论

Embedded Computer Systems: Architectures, Modeling, and simulation - 6th International workshop, SAMOS 2006, proceedings

Embedded Computer Systems: Architectures, Modeling, and Simu...

引用

6th International workshop on Architectures, Modeling, and simulation, SAMOS 2006

ISBN: (纸本)3540364102

The proceedings contain 48 papers. The topics discussed include: reconfigurable platform for digital convergence terminals;European research in embedded systems;interface overheads in embedded multimedia software;automated distribution of UML 2.0 designed applications to a configurable multiprocessor platform;key research challenges for successfully applying MDD within real-time embedded software development;domain-specific modeling of power aware distributed real-time embedded systems;mining dynamic document spaces with massively parallel embedded processors;designing wireless sensor nodes;design, implementation, and experiment on outdoor deployment of wireless sensor network for environmental monitoring;energy-driven partitioning of signal processing algorithms in sensor networks;security in wireless sensor networks: considerations and experiments;on security of PAN wireless systems;and code size reduction by compiler tuning.

关键词： Computer systems

来源：评论

学校读者我要写书评

暂无评论

Hoarding location-based data using clustering

Hoarding location-based data using clustering

引用

MobiWAC 2006 - 2006 ACM International workshop on Mobility Management and Wireless Access

作者： Bürklen, Susanne Marrón, Pedro José Rothermel, Kurt Pfahl, Timo Institute of Parallel and Distributed Systems Universitaet Stuttgart 70569 Stuttgart Germany

ISBN: (纸本)159593488X

The proliferation of mobile devices and the fact that high-bandwidth and continuous connectivity is not available everywhere, has led to the creation of hoarding algorithms that attempt to mitigate the problems related with disconnected operation and with the operation in areas where bandwidth is either scarce or expensive. In this paper, we present a hoarding scheme for location-based data in semi-structured information spaces, such as the World Wide Web, which relies on clustering of semantically related data items. We show by means of experimental evaluation that our clustering-based approach outperforms existing hoarding techniques that do not make use of clustering by a factor of more than 2 in terms of hoard cache hit ratio. Copyright 2006 ACM.

关键词： Cluster analysis

来源：评论

学校读者我要写书评

暂无评论

City@home: Monte Carlo derivative pricing distributed on networked computers 1

City@home: Monte Carlo derivative pricing distributed on net...

引用

1st International workshop on Grid Technology for Financial Modeling and simulation, GRID 2006

作者： Germano, Guido Engel, Michael Scalas, Enrico Computer Simulation Group Department of Chemistry Philipps University Marburg Marburg35032 Germany Distributed Systems Group Department of Mathematics and Computer Science Philipps University Marburg Marburg35032 Germany Department of Advanced Sciences and Technologies Amedeo Avogadro University of East Piedmont Via Bellini 25 G Alessandria15100 Italy

Monte Carlo is a powerful and versatile derivative pricing tool, with the main drawback of requiring a large amount of computing time to generate enough realisations of the stochastic process. However, since realisations are independent from each other, the task is "embarassingly" parallel and the workload can be easily distributed on a large set of processors without the need for fast networking and thus an expensive dedicated supercomputer. Such an alternative, much cheaper and more accessible way can be realised with the BOINC toolkit, distributing the Monte Carlo runs on networked clients running under Windows, Linux or various Unix variants, and recollecting the results at the end for a statistical evaluation of the price distribution at the final time. Though it is likely that the clients will belong to the intranet of a large company or institution, we gave our program the evocative name City@home in honour of the paradigmatic SETI@home project. As an application, we present the generation of synthetic high frequency financial time series for speculative option valuation in the context of uncoupled continuous-time random walks (fractional diffusion), with a Lévy marginal density function for the tick-by-tick log returns and a Mittag-Leffler marginal density function for the waiting times. Lévy deviates are generated with the Chambers-Mallows-Stuck method, Mittag-Leffler deviates with the Kozubowski-Pakes method. © Copyright owned by the author(s) under the terms of the Creative Commons Attribution-NonCommercial-ShareAlike Licence.

关键词： Supercomputers

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共128页 << < 19 20 21 22 23 24 25 26 27 28 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：