6289 search results - page 423 / 1258 » Error Sequence Analysis |
166
click to vote
B
2007
Springer
16 years 1 months ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ...
167
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
175
click to vote
DATE
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper we present a method which allows the statistical analysis of nanoelectronic Boolean networks with respect to timing uncertainty and noise. All signals are considered...
128
click to vote
ICMCS
2006
IEEE
16 years 26 days ago
2006
IEEE
In this paper a novel system for image replica detection is presented. The system uses color-based descriptors in order to extract robust features for image representation. These ...
199
click to vote
IJCNN
2006
IEEE
16 years 26 days ago
2006
IEEE
— From the Bayesian Ying-Yang (BYY) harmony learning theory, a harmony function has been developed for finite mixtures with a novel property that its maximization can make model...