Sciweavers

Share
5 search results - page 1 / 1
» spe 2011
Sort
View
SPE
2011
8 years 6 months ago
Sharing experiments using open-source software
Adam Nelson, Tim Menzies, Gregory Gay
SPE
2011
8 years 6 months ago
Grammar-based test generation with YouGen
Daniel Hoffman, David Ly-Gagnon, Paul A. Strooper,...
SPE
2011
8 years 6 months ago
Decomposition tool for event-B
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 ...
Renato Silva, Carine Pascal, Thai Son Hoang, Micha...
CORR
2011
Springer
175views Education» more  CORR 2011»
8 years 6 months ago
A Matrix Hyperbolic Cosine Algorithm and Applications
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...
Anastasios Zouzias
books