536 search results - page 81 / 108 » A computer verified, monadic, functional implementation of t... |
AINA
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....
100
click to vote
ICPP
2005
IEEE
15 years 5 months ago
2005
IEEE
High performance intra-node communication support for MPI applications is critical for achieving best performance from clusters of SMP workstations. Present day MPI stacks cannot ...
EUROPAR
2006
Springer
15 years 3 months ago
2006
Springer
Many SMEs and non-profit organizations suffer when their Web servers become unavailable due to flash crowd effects when their web site becomes popular. One of the solutions to the ...
SAC
2009
ACM
15 years 4 months ago
2009
ACM
The firmware of an electronic voting machine is typically treated as a “trusted” component of the system. Consequently, it is misconstrued to be vulnerable only to an insider...
EENERGY
2010
15 years 3 months ago
2010
Energy-efficient computing as a research area has been receiving increasing attention in recent years due to rising energy costs and environmental awareness. In this paper, we pre...