Sciweavers

3575 search results - page 564 / 715
» Modeling Concurrency with Geometry
Sort
View
169
Voted
CORR
2011
Springer
207views Education» more  CORR 2011»
14 years 8 months ago
Ergodic Transmission Capacity of Wireless Ad Hoc Networks with Interference Management
Most work on wireless network throughput ignores the temporal correlation inherent to wireless channels because it degrades tractability. To better model and quantify the temporal...
Chun-Hung Liu, Jeffrey G. Andrews
INFOCOM
2012
IEEE
13 years 7 months ago
A robust boundary detection algorithm based on connectivity only for 3D wireless sensor networks
—In this work we develop a distributed boundary detection algorithm, dubbed Coconut, for 3D wireless sensor networks. It first constructs a tetrahedral structure to delineate th...
Hongyu Zhou, Hongyi Wu, Miao Jin
TOG
2012
307views Communications» more  TOG 2012»
13 years 7 months ago
Ghost SPH for animating water
We propose a new ghost fluid approach for free surface and solid boundary conditions in Smoothed Particle Hydrodynamics (SPH) liquid simulations. Prior methods either suffer from...
Hagit Schechter, Robert Bridson
TOG
2012
170views Communications» more  TOG 2012»
13 years 7 months ago
Interactive editing of deformable simulations
We present an interactive animation editor for complex deformable object animations. Given an existing animation, the artist directly manipulates the deformable body at any time f...
Jernej Barbic, Funshing Sin, Eitan Grinspun
FMICS
2009
Springer
15 years 11 months ago
A Rigorous Methodology for Composing Services
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
Kenneth J. Turner, Koon Leai Larry Tan