2141 search results - page 18 / 429 » Embedded Software |
116
Voted
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
91
Voted
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
74
Voted
CODES
1997
IEEE
15 years 6 months ago
1997
IEEE
DAC
1999
ACM
16 years 2 months ago
1999
ACM
110
Voted
IJIT
2004
15 years 3 months ago
2004
Developers need to evaluate software's performance to make software efficient. This paper suggests a performance evaluation system for embedded software. The suggested system ...