243 search results - page 33 / 49 » Error Detection Using Dynamic Dataflow Verification |
115
click to vote
ISMB
1998
15 years 3 months ago
1998
DNA sequence analysis depends on the accurate assembly of fragment reads for the determination of a consensus sequence. This report examines the possibility of analyzing multiple,...
148
click to vote
HVC
2005
Springer
15 years 7 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
111
click to vote
ASC
2004
15 years 1 months ago
2004
In this paper, on-line training of neural networks is investigated in the context of computer-assisted colonoscopic diagnosis. A memory-based adaptation of the learning rate for t...
113
click to vote
IJES
2006
15 years 1 months ago
2006
This paper describes novel methods of exploiting the partial, dynamic reconfiguration capabilities of Xilinx Virtex V1000 FPGAs to manage single-event upset (SEU) faults due to rad...
128
click to vote
AUTOMATICA
2005
15 years 1 months ago
2005
In this paper we present a new method of interval fuzzy model identification. The method combines a fuzzy identification methodology with some ideas from linear programming theory...