2141 search results - page 18 / 429 » Embedded Software |
136
Voted
KBSE
2009
IEEE
15 years 10 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...
106
Voted
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
94
Voted
CODES
1997
IEEE
15 years 8 months ago
1997
IEEE
DAC
1999
ACM
16 years 4 months ago
1999
ACM
130
click to vote
IJIT
2004
15 years 5 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 ...