3579 search results - page 275 / 716 » Transformations of software models into performance models |
168
click to vote
ESEM
2008
ACM
15 years 7 months ago
2008
ACM
Building cost estimation models is often considered a search problem in which the solver should return an optimal solution satisfying an objective function. This solution also nee...
154
click to vote
JCP
2008
15 years 6 months ago
2008
Abstract--In this paper, we report some results on hardware and software co-design of an adaptive linear neuron (ADALINE) based control system. A discrete-time Proportional-Integra...
165
click to vote
BELL
2000
15 years 5 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
181
click to vote
ISPASS
2008
IEEE
16 years 12 days ago
2008
IEEE
—The potential for improving the performance of data-intensive scientific programs by enhancing data reuse in cache is substantial because CPUs are significantly faster than me...
173
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...