345 search results - page 22 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
130
Voted
SEW
2003
IEEE
15 years 9 months ago
2003
IEEE
Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...
125
Voted
CONCURRENCY
2010
15 years 3 months ago
2010
With the rapid replacement of closed, homogeneous, proprietary HPC systems by heterogeneous, Linux-MPI cluster systems, the state of performance monitoring and analysis tools has ...
134
Voted
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
146
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
148
click to vote
RTCSA
2003
IEEE
15 years 9 months ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...