3579 search results - page 273 / 716 » Transformations of software models into performance models |
183
click to vote
COMPSAC
2008
IEEE
16 years 14 days ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
185
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
180
click to vote
CODES
2007
IEEE
16 years 10 days ago
2007
IEEE
Embedded single-chip heterogeneous multiprocessor (SCHM) systems experience frequent system events such as task preemption, power-saving voltage/frequency scaling, or arrival of n...
133
click to vote
ASWEC
2008
IEEE
16 years 14 days ago
2008
IEEE
Software developers’ work is much more interesting and multifarious in practice than formal definitions of software development processes imply. Rational models of work are ofte...
197
click to vote
CSREAESA
2004
15 years 7 months ago
2004
The growing software content in various battery-driven embedded systems has led to significant interest in technologies for energy-efficient embedded software. While lowenergy sof...