151 search results - page 26 / 31 » Parallel computable higher type functionals (Extended Abstra... |
SOSP
1997
ACM
13 years 8 months ago
1997
ACM
Despite a large research effort, software distributed shared memory systems have not been widely used to run parallel applications across clusters of computers. The higher perform...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract—Smart Home, this term comprises various approaches, engaged in living and working now and in the future. The objectives of the various approaches range from enhancing co...
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
Abstract. LAPACK90 is a set of LAPACK90 subroutines which interfaces FORTRAN90 with LAPACK. All LAPACK driver subroutines including expert drivers and some LAPACK computationals ha...
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
CLUSTER
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Software Distributed Shared Memory (SDSM) systems provide programmers with a shared memory programming environment across distributed memory architectures. In contrast t...