129 search results - page 13 / 26 » Object-Oriented Programming for Linear Algebra |
132
Voted
INDOCRYPT
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. This paper presents the first results on AIDA/cube, algebraic and sidechannel attacks on variable number of rounds of all members of the KATAN family of block ciphers. Ou...
149
click to vote
STACS
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. We consider dynamic evaluation of algebraic functions (matrix multiplication, determinant, convolution, Fourier transform, etc.) in the model of Reif and Tate; i.e., if f...
124
Voted
JAPLL
2010
15 years 1 months ago
2010
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
131
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
122
click to vote
EUROPAR
2009
Springer
15 years 9 months ago
2009
Springer
While general-purpose homogeneous multi-core architectures are becoming ubiquitous, there are clear indications that, for a number of important applications, a better performance/p...