15155 search results - page 391 / 3031 » System Software |
177
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The market demand for portable multimedia applications has exploded in the recent years. Unfortunately, for such applications current compilers and software optimization methods o...
175
click to vote
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
Software quality assessment of large COBOL industrial legacy systems, both for maintenance or migration purposes, mounts a serious challenge. We present the Software Quality Asses...
211
click to vote
WOSP
2005
ACM
16 years 11 days ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
192
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
If a software implementation is to be generated fully automatically from a model, then the model must be detailed and totally complete. For the definition of software implementing...
213
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...