2141 search results - page 18 / 429 » Embedded Software |
KBSE
2009
IEEE
14 years 2 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...
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
CODES
1997
IEEE
13 years 12 months ago
1997
IEEE
DAC
1999
ACM
14 years 8 months ago
1999
ACM
IJIT
2004
13 years 9 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 ...