167 search results - page 15 / 34 » Towards a Connector Algebra |
PARA
2004
Springer
14 years 4 months ago
2004
Springer
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
CSFW
1999
IEEE
14 years 3 months ago
1999
IEEE
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
ACS
2007
13 years 11 months ago
2007
We present various results of the last twenty years converging towards a homotopical theory of computation. This new theory is based on two crucial notions : polygraphs (introduce...
IJVR
2008
13 years 10 months ago
2008
When culture is integrated into the mathematics classroom, it improves students' academic achievement [3], helps move classrooms towards an equitable learning environment [30]...
ISPDC
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper presents a package, called Heterogeneous PBLAS (HeteroPBLAS), which is built on top of PBLAS and provides optimized parallel basic linear algebra subprograms for hetero...