1497 search results - page 119 / 300 » A Computational Model for Message Passing |
141
Voted
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
145
Voted
CODCRY
2009
Springer
15 years 10 months ago
2009
Springer
We give two impossibility results regarding strong encryption over an infinite enumerable domain. The first one relates to statistically secure one-time encryption. The second on...
114
Voted
EUROPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we report on our experiences with hybrid parallelism in PARDISO, a high-performance sparse linear solver. We start with the OpenMP-parallel numerical factor...
123
Voted
GCC
2003
Springer
15 years 9 months ago
2003
Springer
Recently, web service is growing more and more popular. Java is a representative language to implement web based services. But its platform independency slows its running speed. Pa...
115
Voted
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This research is to design a collection of effective collective operations for the Grid scale network environment. In the Grid, several network features should be specifi...