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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

571 篇 工学
- 536 篇 计算机科学与技术...
- 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,157 篇 英文
7 篇 俄文
4 篇 中文
2 篇 其他

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

共 1170 条记录，以下是191-200 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

Concurrent replication of parallel and distributed simulations 05

Concurrent replication of parallel and distributed simulatio...

引用

19th workshop on Principles of Advanced and distributed simulation (PADS 2005)

作者： Bononi, L Bracuto, M D'Angelo, G Donatiello, L Univ Bologna Dipartimento Sci Informaz I-40126 Bologna Italy

ISBN: (纸本)0769523838

parallel and distributed simulations enable the analysis of complex systems by concurrently exploiting the aggregate computation power and memory of clusters of execution units. In this paper we investigate a new direction for increasing both the speedup of a simulation process and the utilization Of computation and communication resources. Many simulation-based investigations require to collect independent observations for a correct and significant statistical analysis of results. The execution of many independent parallel or distributed simulation runs may suffer the speedup reduction due to rollbacks under the optimistic approach, and due to idle CPU times originated by synchronization and communication bottlenecks under the conservative approach. We present a parallel and distributed simulation framework supporting Concurrent Replication of parallel and distributed simulations (CR-PADS), as an alternative to the execution of a linear sequence of multiple parallel or distributed simulation runs. Results obtained from tests executed under variable scenarios show that speedup and resource utilization gains could be obtained by adopting the proposed replication approach in addition to the pure parallel and distributed simulation.

关键词： Computational modeling Concurrent computing Analytical models distributed computing Design optimization Computer architecture Discrete event simulation Aggregates Statistical analysis Testing

来源：评论

学校读者我要写书评

暂无评论

μsik -: A micro-kernel for parallel/distributed simulation systems 05

μsik -: A micro-kernel for parallel/distributed simulation ...

引用

workshop on Principles of Advanced and distributed simulation (PADS 2005)

作者： Perumalla, KS Georgia Inst Technol Coll Comp Atlanta GA 30332 USA

ISBN: (纸本)0769523838

A novel micro-kernel approach to building parallel/distributed simulation systems is presented. Using this approach, a unified system architecture is developed for incorporating, multiple types of simulation processes. The processes hold potential to employ a variety of synchronization mechanisms, and could even alter their choice of mechanism dynamically. Supported mechanisms include traditional lookahead-based conservative and state saving-based optimistic execution approaches. Also supported are newer mechanisms such as reverse computation-based optimistic execution and aggregation-based event processing, all within a single parsimonious application programming interface. The internal implementation and a preliminary performance evaluation of this interface are presented in mu sik, which is an efficient parallel/distributed realization of the microkernel architecture in C++.

关键词： parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

parallel event-driven neural network simulations using the Hodgkin-Huxley neuron model 05

Parallel event-driven neural network simulations using the H...

引用

workshop on Principles of Advanced and distributed simulation (PADS 2005)

作者： Lobb, CJ Chao, Z Fujimoto, RM Potter, SM Georgia Inst Technol Coll Comp Atlanta GA 30332 USA

ISBN: (纸本)0769523838

Neural systems are composed of a large number of highly-connected neurons and are widely simulated within the neurological community. In this paper, we examine the application of parallel discrete event simulation techniques to networks of a complex model called the Hodgkin-Huxley neuron[1]. We describe the conversion of this model into an event-driven simulation, a technique that offers the potential of much greater performance in parallel and distributed simulations compared to time-stepped techniques. We report results of an initial set of experiments conducted to determine the feasibility of this parallel event-driven Hodgkin-Huxley model and analyze its viability for large-scale neural simulations.

关键词： Neural networks Discrete event simulation Neurons Computational modeling Nervous system Computer networks Concurrent computing distributed computing Biological system modeling Cells (biology)

来源：评论

学校读者我要写书评

暂无评论

Towards time-parallel road traffic simulation 05

Towards time-parallel road traffic simulation

引用

19th workshop on Principles of Advanced and distributed simulation (PADS 2005)

作者： Kiesling, T Lüthi, J Univ Bundeswehr Munchen Fak Informat D-85577 Neubiberg Germany

ISBN: (纸本)0769523838

As an alternative to spatial parallelization of simulation models, time-parallel simulation offers the potential for massive parallelism with a high level of independence between the parallel processes. Unfortunately, due to inherent problems, the applicability of time-parallel simulation is restricted. Therefore, it has been proposed recently, to use approximation with time-parallel simulation in order to facilitate its application and to extend the class of models suitable for time-parallel simulation. As a proof-of-concept, this work shows how approximate temporal parallelization can be applied to the simulation of road traffic. Traffic simulation is used extensively in transportation research for various purposes, e.g. analysis of traffic phenomena, traffic forecast, and optimization of traffic flow. Depending on the level of fidelity, a traffic model exhibits a state space of moderate to high complexity. This paper is intended to discuss the basic properties of time-parallel traffic simulation and to examine its feasibility. Experiments with a sequential microscopic traffic simulator that emulates important aspects of a corresponding time-parallel simulator suggest this feasibility.

关键词： Traffic control Computational modeling Roads Transportation Vehicles Microscopy Large-scale systems parallel processing Analytical models Predictive models

来源：评论

学校读者我要写书评

暂无评论

Sequential performance of asynchronous conservative PDES algorithms 05

Sequential performance of asynchronous conservative PDES alg...

引用

19th workshop on Principles of Advanced and distributed simulation (PADS 2005)

作者： Curry, R Kiddle, C Simmonds, R Unger, B Univ Calgary Dept Comp Sci Calgary AB T2N 1N4 Canada

ISBN: (纸本)0769523838

The widespread use of sequential simulation in large scale parameter studies means that large cost savings can be made by improving the performance of these simulators. Sequential discrete event simulation systems usually employ a central event list to manage future events. This is a priority queue ordered by event timestamps. Many different priority queue algorithms have been developed with the aim of improving simulator performance. Researchers developing asynchronous conservative parallel discrete event simulations have reported exceptional performance for their systems running sequentially in certain cases. This paper compares the performance of simulations using a selection of high performance central event list implementations to that achieved using techniques borrowed from the parallel simulation community. Theoretical and empirical analysis of the algorithms is presented demonstrating the range of performance that can be achieved, and the benefits of employing parallel simulation techniques in a sequential execution environment.

关键词： sequential discrete event simulation parallel discrete event simulation conservative synchronization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共117页 << < 16 17 18 19 20 21 22 23 24 25 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：