447 search results - page 69 / 90 » Embedded Software Analysis with MOTOR |
SETP
2007
13 years 9 months ago
2007
Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. So...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
A method for segmenting and recognizing text embedded in video and images is proposed in this paper. In the method, multiple segmentation of the same text region is performed, thu...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
SOFSEM
2007
Springer
14 years 1 months ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
FDL
2006
IEEE
14 years 1 months ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...