2935 search results - page 273 / 587 » An Integrated Approach to High Integrity Software Verificati... |
183
Voted
ENTCS
2008
15 years 6 months ago
2008
Integrated Development Environments supporting software and model evolution have to deal with the problem of maintaining coherence between code and model despite changes which may...
162
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: In Eukaryotic genomes, different features including genes are not uniformly distributed. The integration of annotation information and genomic position of functional D...
200
click to vote
JUCS
2000
15 years 6 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
154
click to vote
VTS
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...
132
Voted
NAR
2006
15 years 6 months ago
2006
In this study a systematic attempt has been made to integrate various approaches in order to predict allergenic proteins with high accuracy. The dataset used for testing and train...