1042 search results - page 129 / 209 » Energy Metric for Software Systems |
181
click to vote
FMICS
2008
Springer
15 years 7 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
149
click to vote
HIPEAC
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. The interest in translation-based virtual execution environments (VEEs) is growing with the recognition of their importance in a variety of applications. However, due to ...
142
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
Testing is inherently incomplete; no test suite will ever be able to test all possible usage scenarios of a system. It is therefore vital to assess the implication of a system pas...
159
click to vote
FORMATS
2009
Springer
16 years 26 days ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
162
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
Combining and utilizing data from different sources is a common problem in many companies today. Useful data can be found in various applications, such as spreadsheets, project ma...