3555 search results - page 609 / 711 » Security-Critical System Development with Extended Use Cases |
114
click to vote
ICDCS
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we propose and prove correct a distributed stabilizing implementation of an overlay, called DR-tree, optimized for efficient selective dissemination of information...
150
click to vote
CASES
2008
ACM
15 years 3 months ago
2008
ACM
Automatic vectorization of programs for partitioned-ALU SIMD (Single Instruction Multiple Data) processors has been difficult because of not only data dependency issues but also n...
128
click to vote
CODES
2003
IEEE
15 years 6 months ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
123
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
An analysis of steganographic systems subject to the following perfect undetectability condition is presented in this paper. Following embedding of the message into the covertext,...
155
click to vote
ISCA
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper presents a fundamental law for parallel performance: it shows that parallel performance is not only limited by sequential code (as suggested by Amdahl’s law) but is a...