Sciweavers

1191 search results - page 133 / 239
» A component model of spatial locality
Sort
View
TOG
2008
94views more  TOG 2008»
13 years 9 months ago
Wavelet turbulence for fluid simulation
We present a novel wavelet method for the simulation of fluids at high spatial resolution. The algorithm enables large- and smallscale detail to be edited separately, allowing hig...
Theodore Kim, Nils Thürey, Doug L. James, Mar...
PADS
1996
ACM
14 years 1 months ago
Time Management in the DoD High Level Architecture
Recently, a considerable amount of effort in the U.S. Department of Defense has been devoted to defining the High Level Architecture (HLA) for distributed simulations. This paper ...
Richard Fujimoto, Richard M. Weatherly
ICALP
2000
Springer
14 years 20 days ago
Amalgamation of Transition Sequences in the PEPA Formalism
This report presents a formal approach to reducing sequences in PEPA components. Performing the described amalgamation procedure we may remove, from the underlying Markov chain, t...
Jane Hillston, J. Tomasik
RE
2010
Springer
13 years 3 months ago
Dependability Arguments with Trusted Bases
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
Eunsuk Kang, Daniel Jackson
BMCBI
2007
195views more  BMCBI 2007»
13 years 9 months ago
NeuroTerrain - a client-server system for browsing 3D biomedical image data sets
Background: Three dimensional biomedical image sets are becoming ubiquitous, along with the canonical atlases providing the necessary spatial context for analysis. To make full us...
Carl Gustafson, William J. Bug, Jonathan Nissanov