2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications最新文献

筛选
英文 中文
Benchmarking Memory Management Capabilities within ROOT-Sim 基准内存管理能力在ROOT-Sim
Roberto Vitali, Alessandro Pellegrini, F. Quaglia
{"title":"Benchmarking Memory Management Capabilities within ROOT-Sim","authors":"Roberto Vitali, Alessandro Pellegrini, F. Quaglia","doi":"10.1109/DS-RT.2009.15","DOIUrl":"https://doi.org/10.1109/DS-RT.2009.15","url":null,"abstract":"In parallel discrete event simulation techniques, the simulation model is partitioned into objects, concurrently executing events on different CPUs and/or multiple CPUCores.In such a context, run-time supports for logical time synchronization across the different simulation objectsplay a central role in determining the effectiveness of the specific parallel simulation environment. In this paper we present an experimental evaluation of the memory management capabilities offered by the ROme OpTimistic Simulator (ROOT-Sim). This is an open source parallel simulation environment transparently supporting optimistic synchronization via recoverability (based on incremental log/restore techniques) of any type of memory operation affecting the state of simulation objects, i.e., memory allocation, deallocation and update operations. The experimental study is based on a synthetic benchmark which mimics different read/write patterns inside the dynamic memory map associated with the state of simulation objects. This allows sensibility analysis of time and space effects due to the memory management subsystem while varying the type and the locality of the accesses associated with event processing.","PeriodicalId":225513,"journal":{"name":"2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123541419","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
A Peer-to-Peer Architecture for Real-Time Distributed Visualization of 3D Collaborative Virtual Environments 三维协同虚拟环境实时分布式可视化的点对点体系结构
Alma V. Martinez, Héctor Rafael Orozco-Aguirre, F. Corchado, Mario Siller
{"title":"A Peer-to-Peer Architecture for Real-Time Distributed Visualization of 3D Collaborative Virtual Environments","authors":"Alma V. Martinez, Héctor Rafael Orozco-Aguirre, F. Corchado, Mario Siller","doi":"10.1109/DS-RT.2009.21","DOIUrl":"https://doi.org/10.1109/DS-RT.2009.21","url":null,"abstract":"A 3D collaborative virtual environment (CVE) is a distributed simulation of a 3D virtual environment (VE) in which a large number of users located in different geographical places can interact with each other in real-time. In order to collaborate in a 3D CVE, it is necessary to send update messages corresponding to the change in the state of a shared object among involved users. In this paper, we present a new system for real-time distributed visualization of 3D CVEs. This distribution is carried out on a grid of heterogeneous computers implementing a communication based on a hybrid peer-to-peer (P2P) architecture. Our system ensures a coherent visualization in according to a consistent updating of 3D VE for all involved users. In this way, each user can visualize in real-time the changes done by other users.","PeriodicalId":225513,"journal":{"name":"2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130542531","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Latency and User Performance in Virtual Environments and Augmented Reality 虚拟环境和增强现实中的延迟和用户性能
S. Ellis
{"title":"Latency and User Performance in Virtual Environments and Augmented Reality","authors":"S. Ellis","doi":"10.1109/DS-RT.2009.44","DOIUrl":"https://doi.org/10.1109/DS-RT.2009.44","url":null,"abstract":"System rendering latency has been recognized by senior researchers, such as Professor Fredrick Brooks of UNC (Turing Award 1999), as a major factor limiting the realism and utility of head-referenced display systems. Latency has been shown to reduce the user’s sense of immersion within a virtual environment, to disturb user interaction with virtual objects, and to contribute to motion sickness during some simulation tasks. Latency, however, is not just an issue for external display systems since finite nerve conduction rates and variation in transduction times in the human body’s sensors also pose problems for latency management within the nervous system. Some of the phenomena arising from the brain’s handling of sensory asynchrony due to latency will be discussed as a prelude to consideration of the effects of latency in interactive displays. The causes and consequences of the erroneous movement that appears in displays due to latency will be illustrated with examples of the user performance impact provided by several experiments. These experiments will review the generality of user sensitivity to latency when users judge either object or environment stability. Hardware and signal processing countermeasures will also be discussed. In particular the tuning of a simple extrapolative predictive filter not using a dynamic movement model will be presented. Results show that it is possible to adjust this filter so that the appearance of some latencies may be hidden without the introduction of perceptual artifacts such as overshoot. Several examples of the effects of user performance will be illustrated by three-dimensional tracking and tracing tasks executed in virtual environments. These experiments demonstrate classic phenomena known from work on manual control and show the need for very responsive systems if they are intended to support precise manipulation. The practical benefits of removing interfering latencies from interactive systems will be emphasized with some classic final examples from surgical telerobotics and humancomputer interaction.","PeriodicalId":225513,"journal":{"name":"2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126974135","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness 有限容错系统定时满足的建模与验证
Chih-Hong Cheng, C. Buckl, J. Esparza, A. Knoll
{"title":"Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness","authors":"Chih-Hong Cheng, C. Buckl, J. Esparza, A. Knoll","doi":"10.1109/DS-RT.2009.20","DOIUrl":"https://doi.org/10.1109/DS-RT.2009.20","url":null,"abstract":"The increasing use of model-based tools enables further use of formal verification techniques in the context of distributed real-time systems. To avoid state explosion, it is necessary to construct verification models that focus on the aspects under consideration.In this paper, we discuss how we construct a verification model for timing analysis in distributed real-time systems.We (1) give observations concerning restrictions of timed automata to model these systems,(2) formulate mathematical representations on how to perform model-to-model transformation to derive verification models from system models, and (3) propose some theoretical criteria how to reduce the model size. The latter is in particular important, as for the verification of complex systems, an efficient model reflecting the properties of the system under consideration is equally important to the verification algorithm itself.Finally, we present an extension of the model-based development tool FTOS, designed to develop fault-tolerant systems, to demonstrate our approach.","PeriodicalId":225513,"journal":{"name":"2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications","volume":"135 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131094178","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信