4075 search results - page 223 / 815 » Modeling Distributed Algorithm Using B |
159
click to vote
DAC
2003
ACM
15 years 12 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
173
click to vote
CASES
2009
ACM
16 years 1 months ago
2009
ACM
Solid State Disks (SSDs) are superior to magnetic disks from a performance point of view due to the favorable features of NAND flash memory. Furthermore, thanks to improvement on...
182
click to vote
ISPD
2005
ACM
16 years 5 days ago
2005
ACM
In this paper, we present a very fast and accurate rectilinear Steiner minimal tree (RSMT)1 algorithm called FLUTE. The algorithm is an extension of the wirelength estimation appr...
175
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
182
click to vote
IVC
2007
15 years 6 months ago
2007
Parameters used in physical models for nonrigid and articulated motion analysis are often not known with high precision. It has been recognized that commonly used assumptions abou...