3 citations found. Retrieving documents...
W. McCune. ICGNS, 2002. http://www-unix.mcs.anl.gov/mccune/icgns/.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Lessons Learned While Operating Two Large SCI Clusters - Keller, Krawinkel (2001)   (1 citation)  (Correct)

....C, C , F77, F90, HPF GNU: gcc, g , g77 NAG: F90, F95 Message Passing ScaMPI, PVM, MPICH Distr. Shared Mem. Yasmin Development Tools TotalView, Vampir, SPROF, SCIP Resource Mgmnt. CCS MPI comes in two versions, one taking full advantage of the SCI interconnect (ScaMPI) and the other (MPICH [20]) running on Fast Ethernet. ScaMPI, provided by SCALI [26] is a thread safe MPI 1.2 implementation which is MPICH compatible. With its current version, one achieves a latency of 4.7 #sec (0 byte ping) and a peak bandwidth of more than 84 MByte s. The Ya s m i n [5] environment provides a ....

....bandwidth of the PVFS installation at PC # . Gigabit university backbone. Figure 3 depicts the resulting topology. The benefits are: # a faster connection to remote file servers and the Internet, # an improved performance of the FastEthernet based message passing libraries (PVM [11] MPICH [20]) # the opportunity to build a larger FastEthernet based cluster consisting of 256 processors. Monitoring: The more autonomous nodes a cluster consists of the more time has to be spent to keep the system up and running. Since human resources are expensive, automated monitoring of the hardware, ....

MPICH homepage, http://www-unix.mcs.anl.gov/mpi/mpich/, January 2001.


New Techniques that Improve MACE-style Finite Model Finding - Claessen, Sörensson (2003)   (Correct)

No context found.

W. McCune. ICGNS, 2002. http://www-unix.mcs.anl.gov/mccune/icgns/.


New Techniques that Improve MACE-style Finite Model Finding - Claessen, Sörensson (2003)   (Correct)

No context found.

W. McCune. ICGNS, 2002. http://www-unix.mcs.anl.gov/~mccune/icgns/.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC