ECRTS
2007
IEEE
13 years 11 months ago
2007
IEEE
ECRTS
2007
IEEE
13 years 11 months ago
2007
IEEE
It is well known that the performance of computer controlled systems is heavily affected by delays and jitter occurring in the control loops, which are mainly caused by the interf...
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
CASES
2007
ACM
13 years 11 months ago
2007
ACM
Dynamic binary translation (DBT) has been used to achieve numerous goals (e.g., better performance) for general-purpose computers. Recently, DBT has also attracted attention for e...
CASES
2007
ACM
13 years 11 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
ASPDAC
2007
ACM
13 years 11 months ago
2007
ACM
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
ECRTS
1998
IEEE
13 years 11 months ago
1998
IEEE
RTCSA
1996
IEEE
13 years 11 months ago
1996
IEEE
RTCSA
1996
IEEE
13 years 11 months ago
1996
IEEE
