3844 search results - page 101 / 769 » Modular interpreted systems |
119
click to vote
FLAIRS
2009
15 years 26 days ago
2009
This paper introduces an information theoretic approach to verification of modular causal probabilistic models. We assume systems which are gradually extended by adding new functi...
119
click to vote
ICSE
2009
IEEE-ACM
15 years 24 days ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
115
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Face verification systems reach good performance on ideal environmental conditions. Conversely, they are very sensitive to non-controlled environments. This work proposes the cla...
109
click to vote
SAS
2009
Springer
16 years 3 months ago
2009
Springer
Interpretation of FIFO Replacement Daniel Grund and Jan Reineke Saarland University, Saarbr?ucken, Germany In hard real-time systems, the execution time of programs must be bounded...
153
click to vote
DIS
2006
Springer
15 years 5 months ago
2006
Springer
Knowledge discovery systems are constrained by three main limited resources: time, memory and sample size. Sample size is traditionally the dominant limitation, but in many present...