805 search results - page 112 / 161 » Modeling and Analyzing Periodic Distributed Computations |
HAPTICS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper proposes a new method for real-time rigid body simulations based on a volumetric penalty method. The penalty method, which employs spring-damper model, is a simple and ...
SIAMCOMP
2002
13 years 9 months ago
2002
This paper introduces a simple notion of layering as a tool for analyzing well-behaved runs of a given model of distributed computation. Using layering, a model-independent analysi...
ICDCS
2007
IEEE
14 years 4 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
SKG
2006
IEEE
14 years 3 months ago
2006
IEEE
The research community has turned to create Semantic Overlay Networks for information retrieval in large scale peer-to-peer networks. Much research work in semantic overlay protoc...
FOCS
2005
IEEE
14 years 3 months ago
2005
IEEE
Stochastic optimization problems provide a means to model uncertainty in the input data where the uncertainty is modeled by a probability distribution over the possible realizatio...