1054 search results - page 34 / 211 » From a Verified Kernel towards Verified Systems |
121
click to vote
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
Determining whether a set of features can be composed, or safe composition, is a hard problem in software product line engineering because the number of feature combinations can b...
110
click to vote
ANCS
2008
ACM
15 years 4 months ago
2008
ACM
To build high-performance network devices with holistic security protection, a large number of algorithms have been proposed. However, multi-core implementation of the existing al...
118
click to vote
RTCSA
2009
IEEE
15 years 8 months ago
2009
IEEE
—Sensor processing is a common task within many embedded system domains, such as in control systems, the sensor feedback is used for actuator control. In this paper we have surve...
EUROPAR
2009
Springer
15 years 6 months ago
2009
Springer
We demonstrate that the performance of commodity parallel systems significantly depends on low-level details, such as storage layout and iteration space mapping, which motivates t...
108
click to vote
TVLSI
2008
15 years 1 months ago
2008
To satisfy the advanced forward-error-correction (FEC) standards, in which the Convolutional code and Turbo code may co-exit, a prototype design of a unified Convolutional/Turbo de...