Sciweavers

1399 search results - page 114 / 280
» Multi-party Finite Computations
Sort
View
CSE
2008
IEEE
15 years 5 months ago
Exploiting Intensive Multithreading for the Efficient Simulation of 3D Seismic Wave Propagation
Parallel computing is widely used for large scale threedimensional simulation of seismic wave propagation. One particularity of most of these simulations is to consider a finite c...
Fabrice Dupros, Hideo Aochi, Ariane Ducellier, Dim...
CG
2008
Springer
15 years 4 months ago
Images of a vibrating Koch drum
We illustrate the vibrational modes of a drum shaped like the Koch snowflake. Vibrational modes are computed using a fairly standard finite difference technique applied to a recen...
Mark McClure
121
Voted
EWC
2008
85views more  EWC 2008»
15 years 4 months ago
Geometry based pre-processor for parallel fluid dynamic simulations using a hierarchical basis
The pre-processing stage of finite element analysis of the Navier-Stokes equations is becoming increasingly important as the desire for more general boundary conditions, as well a...
Anil Kumar Karanam, Kenneth E. Jansen, Christian H...
CONCUR
2006
Springer
15 years 6 months ago
Model Checking Quantified Computation Tree Logic
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
Arend Rensink
136
Voted
FTDCS
1999
IEEE
15 years 8 months ago
PODC: Paradigm-Oriented Distributed Computing
We describe an environment for distributed computing that uses the concept of well-known paradigms. The main advantage of paradigmoriented distributed computing (PODC) is that the...
Hairong Kuang, Lubomir Bic, Michael B. Dillencourt...