2846 search results - page 101 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
177
click to vote
TC
2011
15 years 26 days ago
2011
— Implementing shared memory consistency models on top of hardware caches gives rise to the well-known cache coherence problem. The standard solution involves implementing cohere...
165
click to vote
KBSE
2007
IEEE
16 years 20 days ago
2007
IEEE
The proposed research defines an approach to combine Information Retrieval based analysis of the textual information embedded in software artifacts with program static and dynamic...
164
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...
194
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. During an architectural evolution of a component-based software, certain quality attributes may be weakened. This is due to the lack of an explicit definition of the link...
169
click to vote
ICPADS
2005
IEEE
15 years 12 months ago
2005
IEEE
: We propose software reliability assessment methods for concurrent distributed system development by using the Analytic Hierarchy Process. Also, we make a comparison between the i...