887 search results - page 38 / 178 » A pattern-based approach to model software performance |
160
click to vote
AMOST
2007
ACM
15 years 9 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
157
Voted
ARCS
2009
Springer
15 years 11 months ago
2009
Springer
The disparity between microprocessor clock frequencies and memory latency is a primary reason why many demanding applications run well below peak achievable performance. Software c...
175
click to vote
JECR
2000
15 years 5 months ago
2000
Software agents are a major innovation in how people use information systems, and they have parallels with how Decision Support Systems (DSS) support human decision-making. A DSS ...
147
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Compilers employ system models, sometimes implicitly, to make code optimization decisions. These models are analytic; they reflect their implementor’s understanding and beliefs ...
136
click to vote
SYNASC
2006
IEEE
15 years 11 months ago
2006
IEEE
In the last years, as object-oriented software systems became more and more complex, the need of performing automatically reverse engineering upon these systems has increased sign...