8669 search results - page 1435 / 1734 » Computing matrix representations |
130
Voted
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
118
click to vote
FSE
2004
Springer
15 years 7 months ago
2004
Springer
We study the differential probability adp of exclusive-or when differences are expressed using addition modulo 2N . This function is important when analysing symmetric primitives t...
109
click to vote
ERSHOV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Text Categorization algorithms have a large number of parameters that determine their behaviour, whose effect is not easily predicted objectively or intuitively and may v...
138
click to vote
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
130
Voted
GCC
2006
Springer
15 years 7 months ago
2006
Springer
Interoperability between different Grid implementations is attracting more and more attention to seamlessly job execution. In this paper, one approach is proposed to implement the...