5 search results - page 1 / 1 » spe 2011 |
SPE
2011
12 years 11 months ago
2011
SPE
2011
12 years 11 months ago
2011
SPE
2011
12 years 11 months ago
2011
SPE
2011
12 years 11 months ago
2011
Abstract. Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
Wigderson and Xiao presented an efficient derandomization of the matrix Chernoff bound using the method of pessimistic estimators [WX08]. Building on their construction, we prese...