Sciweavers

9219 search results - page 339 / 1844
» Dynamics Modeling and Culling
Sort
View
162
Voted
ASPLOS
2010
ACM
16 years 1 months ago
Specifying and dynamically verifying address translation-aware memory consistency
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciď...
Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. So...
DSN
2007
IEEE
16 years 1 months ago
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...
ICC
2007
IEEE
139views Communications» more  ICC 2007»
16 years 1 months ago
TCP Window Based Dynamic Assembly Period in Optical Burst Switching Network
—In OBS network, assembly period and burst drop rate impact the performance of the upper layer. This paper evaluates the effect of parameters of OBS network on the throughput of ...
Shuping Peng, Zhengbin Li, Xinlei Wu, Anshi Xu
ATAL
2007
Springer
16 years 28 days ago
Market-driven agents with uncertain and dynamic outside options
One of the most crucial criterion in automated negotiation is how to reach a consensus agreement for all negotiators under any negotiation environment. Currently, most negotiation...
Fenghui Ren, Kwang Mong Sim, Minjie Zhang
CGI
2006
IEEE
16 years 24 days ago
Quasi-physical Simulation of Large-Scale Dynamic Forest Scenes
This paper presents a quasi-physically based approach for interactively simulating large-scale dynamic forest scenes under different wind conditions. We introduce theories from th...
Long Zhang, Chengfang Song, Qifeng Tan, Wei Chen, ...