695 search results - page 37 / 139 » Dynamic Software Architectures Verification using DynAlloy |
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
A large number of bioinformatics analysis tools available today are processor intensive. Keeping in mind that the amount of biological data to be analyzed is growing steadily, and...
ICESS
2007
Springer
14 years 1 months ago
2007
Springer
Conventional mission-critical systems cannot prevent mission failure in dynamic battlefield environments in which the execution situations or missions change abruptly. To solve th...
SIGSOFT
2006
ACM
14 years 1 months ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...
ECSA
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
ISCA
2002
IEEE
13 years 7 months ago
2002
IEEE
Traditional vector architectures have shown to be very effective for regular codes where the compiler can detect data-level parallelism. However, this SIMD parallelism is also pre...