1164 search results - page 189 / 233 » Using CBR for Semantic Analysis of Software Specifications |
CASES
2008
ACM
13 years 11 months ago
2008
ACM
Performance evaluation of embedded software is essential in an early development phase so as to ensure that the software will run on the embedded device's limited computing r...
BIODATAMINING
2008
13 years 9 months ago
2008
Background: Analysis of a microarray experiment often results in a list of hundreds of diseaseassociated genes. In order to suggest common biological processes and functions for t...
ENTCS
2000
13 years 8 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
AVI
2006
2006
Shakespeare's complete works as a benchmark for evaluating multiscale document navigation techniques
13 years 10 months ago
In this paper, we describe an experimental platform dedicated to the comparative evaluation of multiscale electronic-document navigation techniques. One noteworthy characteristic ...
ECBS
2003
IEEE
14 years 2 months ago
2003
IEEE
Heterogeneous embedded systems, where configurable or application specific hardware devices (FPGAs and ASICs) are used alongside traditional processors, are becoming more and more...