4520 search results - page 13 / 904 » Algebraic Techniques for Timed Systems |
123
click to vote
AES
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Since being officially selected as the new Advanced Encryption Standard (AES), Rijndael has continued to receive great attention and has had its security continuously eva...
110
click to vote
JLP
2006
15 years 1 months ago
2006
We investigate the connections between the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of hybrid automata of Henzinger et al. We give interpreta...
109
click to vote
IDEAS
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper is concerned with a transformation-based approach to update propagation in an extended version of Codd’s relational algebra which allows for defining derived relatio...
105
click to vote
SC
2009
ACM
15 years 8 months ago
2009
ACM
Sparse matrix-vector multiplication (SpMV) is of singular importance in sparse linear algebra. In contrast to the uniform regularity of dense linear algebra, sparse operations enc...
118
click to vote
RTSS
2002
IEEE
15 years 6 months ago
2002
IEEE
We consider a resource synthesis technique for realtime systems where the energy budget is limited and the performance of the system depends on how resources and energy are used. ...