887 search results - page 38 / 178 » A pattern-based approach to model software performance |
111
click to vote
AMOST
2007
ACM
15 years 4 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...
113
Voted
ARCS
2009
Springer
15 years 7 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...
111
Voted
JECR
2000
15 years 6 days 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 ...
104
click to vote
LCPC
2005
Springer
15 years 6 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 ...
SYNASC
2006
IEEE
15 years 6 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...