1642 search results - page 128 / 329 » SPINning Parallel Systems Software |
114
click to vote
LCPC
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. To e ectively parallelize real programs, parallelizing compilers need powerful symbolic analysis techniques 13, 6]. In previous work we have introduced an algorithm calle...
122
click to vote
ICSM
2007
IEEE
15 years 8 months ago
2007
IEEE
The build system forms an indispensable part of any software project. It needs to evolve in parallel with the source code in order to build, test and install the software. Unfortu...
174
Voted
LCPC
2009
Springer
15 years 7 months ago
2009
Springer
Programming heterogeneous parallel computer systems is notoriously difficult, but MIMD models have proven to be portable across multi-core processors, clusters, and massively paral...
115
Voted
PDP
1996
IEEE
15 years 6 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...
111
click to vote
APSEC
1997
IEEE
15 years 6 months ago
1997
IEEE
The problems posed by mission-critical legacy systems - brittleness, inflexibility, isolation, non-extensibility, lack of openness etc. - are well known, but practical solutions h...