1293 search results - page 188 / 259 » Scalability Study of the KSR-1 |
159
click to vote
PVM
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we study a parallel algorithm for computing the singular value decomposition (SVD) of a product of two matrices on message passing multiprocessors. This algorithm is ...
151
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
Our interest in the eld of software architecture is focused on the application in technical systems, such as control systems. Our current research in this eld is centered around a...
158
click to vote
HPCN
1997
Springer
15 years 10 months ago
1997
Springer
Since the de nition of the High Performance Fortran HPF standard, we have been maintaining a suite of application kernel codes with the aim of using them to evaluate the availabl...
164
click to vote
ECMDAFA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The use of Feature Models (FMs) to define the valid combinations of features in Software Product Lines (SPL) is becoming commonplace. To enhance the scalability of FMs, ...
193
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...