1855 search results - page 253 / 371 » System Consequence |
114
Voted
CTRSA
2007
Springer
15 years 8 months ago
2007
Springer
This paper announces a new software side-channel attack — enabled by the branch prediction capability common to all modern highperformance CPUs. The penalty paid (extra clock cyc...
108
Voted
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
96
Voted
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
112
Voted
ICA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, a variant of the well known algorithm FastICA is proposed to be used for blind source separation in off-line (block processing) setup and a noisy environm...
113
click to vote
ICOST
2007
Springer
15 years 8 months ago
2007
Springer
We consider the problem of assisting vulnerable people and their carers to reduce the occurrence, and concomitant consequences, of accidents in the home. A wireless sensor network ...