5639 search results - page 896 / 1128 » Timed Abstract Non-interference |
127
click to vote
CCGRID
2001
IEEE
15 years 6 months ago
2001
IEEE
High performance computing on parallel architectures currently uses different approaches depending on the hardory model of the architecture, the abstraction level of the programmi...
104
click to vote
CHES
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Since the announcement of the Differential Power Analysis (DPA) by Paul Kocher and al., several countermeasures were proposed in order to protect software implementations...
143
click to vote
ECAI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We are interested in the relationship between learning efficiency and representation in the case of supervised neural networks for pattern classification trained by conti...
138
click to vote
GRID
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In this paper we report on preliminary work and architectural design carried out in the "Data Management" work package in the International Data Grid project. O...
120
click to vote
HYBRID
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...