2935 search results - page 312 / 587 » An Integrated Approach to High Integrity Software Verificati... |
174
click to vote
KES
2007
Springer
16 years 21 days ago
2007
Springer
This paper is based on the idea of integrating the actual cognitive features of novice users at the core of the design process of the software applications in order to significantl...
204
click to vote
IJHPCA
2011
15 years 1 months ago
2011
Over the last twenty years, the open source community has provided more and more software on which the world’s High Performance Computing (HPC) systems depend for performance ...
123
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
There are now a large number of repositories in the world, contributing a significant amount of content to the world's scholars and scientists. The landscape has changed sinc...
157
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Commercial tools are heavily used, relatively cheap, well maintained, and provide powerful functionalities. However, composing these tools in order to build larger applications ra...
189
click to vote
TPDS
2010
15 years 4 months ago
2010
The objective of this paper is to extend, in the context of multicore architectures, the concepts of tile algorithms [Buttari et al., 2007] for Cholesky, LU, QR factorizations to t...