2836 search results - page 251 / 568 » Model Checking for Software Architectures |
137
click to vote
ECSA
2010
Springer
15 years 4 months ago
2010
Springer
The use of the term ecosystem in the context of extensible software platforms and third-party developers or user communities has made us ponder about the similarities between soft...
141
click to vote
ASWEC
2009
IEEE
15 years 9 months ago
2009
IEEE
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...
148
click to vote
EVOW
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. This paper deals with the mapping of the parallel islandbased genetic algorithm with unidirectional ring migrations to nVidia CUDA software model. The proposed mapping is...
136
click to vote
ICHIT
2009
Springer
15 years 11 months ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
115
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
We propose a model for describing the parallel performance of multigrid software on distributed memory architectures. The goal of the model is to allow reliable predictions to be m...