1961 search results - page 142 / 393 » PicoDBMS: Validation and Experience |
159
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
167
click to vote
ISNN
2010
Springer
15 years 11 months ago
2010
Springer
In the context of relating specific brain functions to specific brain structures, second-order blind identification (SOBI) is one of the blind source separation algorithms that hav...
164
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
Distributed applications can fail in subtle ways that depend on the state of multiple parts of a system. This complicates the validation of such systems via fault injection, since...
163
click to vote
CIKM
1997
Springer
15 years 10 months ago
1997
Springer
Although the issue of approximate text retrieval is gaining importance in the last years, it is currently addressed by only a few indexing schemes. To reduce space requirements, t...
164
click to vote
ICCD
1996
IEEE
15 years 10 months ago
1996
IEEE
There are four crucial issues associated with performance simulators: simulator retargetability, simulator validation, simulation speed and simulation accuracy. This paper documen...