Sciweavers

CORR
2006
Springer
151views Education» more  CORR 2006»
13 years 8 months ago
Fast matrix multiplication is stable
We perform forward error analysis for a large class of recursive matrix multiplication algorithms in the spirit of [D. Bini and G. Lotti, Stability of fast algorithms for matrix m...
James Demmel, Ioana Dumitriu, Olga Holtz, Robert K...
CORR
2006
Springer
121views Education» more  CORR 2006»
13 years 8 months ago
Loop series for discrete statistical models on graphs
In this paper we present the derivation details, logic, and motivation for the three loop calculus introduced in Chertkov and Chernyak (2006 Phys. Rev. E 73 065102(R)). Generating ...
Michael Chertkov, Vladimir Y. Chernyak
CORR
2006
Springer
133views Education» more  CORR 2006»
13 years 8 months ago
A Business Goal Driven Approach for Understanding and Specifying Information Security Requirements
Abstract. In this paper we present an approach for specifying and prioritizing information security requirements in organizations. It is important to prioritize security requiremen...
Xiaomeng Su, Damiano Bolzoni, Pascal van Eck
CORR
2006
Springer
113views Education» more  CORR 2006»
13 years 8 months ago
Towards the Optimal Amplify-and-Forward Cooperative Diversity Scheme
How to find a cooperative diversity scheme that achieves the transmit diversity bound is still an open problem. In fact, all previously proposed amplify-and-forward (AF) and decod...
Sheng Yang, Jean-Claude Belfiore
CORR
2006
Springer
119views Education» more  CORR 2006»
13 years 8 months ago
CoInduction in Coq
Yves Bertot
CORR
2006
Springer
82views Education» more  CORR 2006»
13 years 8 months ago
Coq in a Hurry
Yves Bertot
CORR
2006
Springer
75views Education» more  CORR 2006»
13 years 8 months ago
Implementation of float-float operators on graphics hardware
Guillaume Da Graça, David Defour