Sciweavers

416 search results - page 2 / 84
» Correcting a Space-Efficient Simulation Algorithm
Sort
View
CMSB
2007
Springer
13 years 10 months ago
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
This paper presents a simulation algorithm for the stochastic -calculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a ...
Andrew Phillips, Luca Cardelli
ISBI
2004
IEEE
14 years 7 months ago
Toward Real-Time, Physically-Correct Soft Tissue Behavior Simulation
We present a behavior simulation algorithm that has the potential of enabling physically-correct, photo-realistic, and real-time behavior simulation for soft tissues and organs. O...
Yuan-Fang Wang, Dan Koppel, Shivkumar Chandrasekar...
ISPA
2004
Springer
13 years 11 months ago
Towards Correct Distributed Simulation of High-Level Petri Nets with Fine-Grained Partitioning
Abstract. Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed which allow for more parallelism in the l...
Michael Knoke, Felix Kühling, Armin Zimmerman...
CGF
2007
149views more  CGF 2007»
13 years 6 months ago
Interactive Simulation of the Human Eye Depth of Field and Its Correction by Spectacle Lenses
This paper describes a fast rendering algorithm for verification of spectacle lens design. Our method simulates refraction corrections of astigmatism as well as myopia or presbyo...
Masanori Kakimoto, Tomoaki Tatsukawa, Yukiteru Muk...
CDC
2008
IEEE
137views Control Systems» more  CDC 2008»
14 years 27 days ago
Increasingly correct message passing averaging algorithms
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...
Kurt Plarre, Francesco Bullo