117 search results - page 11 / 24 » Automating Hardware and Software Evolution Analysis |
ISSS
1996
IEEE
13 years 11 months ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
RE
2009
Springer
14 years 2 months ago
2009
Springer
Heterogeneously-licensed systems pose new challenges to analysts and system architects. Appropriate intellectual property rights must be available for the installed system, but wi...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
DAC
1998
ACM
14 years 8 months ago
1998
ACM
Statistical analysis of bug discovery data is used in the software industry to check the quality of the testing process and estimate the reliability of the tested program. In this...
BMCBI
2007
13 years 7 months ago
2007
Background: BLAST searches are widely used for sequence alignment. The search results are commonly adopted for various functional and comparative genomics tasks such as annotating...