3376 search results - page 504 / 676 » Analyzing Software Evolvability |
153
click to vote
APSEC
2005
IEEE
16 years 5 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
154
click to vote
CGO
2005
IEEE
16 years 5 days ago
2005
IEEE
Optimization of a real world application BLAST is used to demonstrate the limitations of static and profile-guided optimizations and to highlight the potential of runtime optimiz...
184
click to vote
ICSM
2005
IEEE
16 years 4 days ago
2005
IEEE
A reference architecture for a domain captures the fundamental subsystems common to systems of that domain as well as the relationships between these subsystems. Having a referenc...
162
click to vote
IPPS
2005
IEEE
16 years 4 days ago
2005
IEEE
As energy consumption in high-performance systems has increased, thermal management has become a big challenge. Providing a cost-effective and detailed temperature sensing mechani...
183
click to vote
KBSE
2005
IEEE
16 years 4 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...