13 search results - page 3 / 3 » Complex library mapping for embedded software using symbolic... |
MKM
2009
Springer
13 years 12 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
ISSTA
2006
ACM
13 years 11 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
ISVLSI
2005
IEEE
13 years 11 months ago
2005
IEEE
high NRE cost. Therefore, general purpose programmable processors using software to perform various functions become more attractive since programmability can simplify system devel...