535 search results - page 66 / 107 » Termination of Abstract Reduction Systems |
SIAMNUM
2010
13 years 4 months ago
2010
Abstract. In this article a stochastic particle system approximation to the parametric sensitivity in the Smoluchowski coagulation equation is introduced. The parametric sensitivit...
CAV
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
WDAG
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Wireless ad-hoc networks are being increasingly used in diverse contexts, ranging from casual meetings to disaster recovery operations. A promising approach is to model t...
IWSOS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. In this paper, we have investigated the feasibility of a selforganized evacuation process when compared with a centralized control. The evacuation strategy is based on â€...
PIMRC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— A continuously increasing demand for higher spectral efï¬ciencies in mobile communications will require next generation cellular systems to employ a very dense reuse o...