The Message Passing Interface standard, 2003. http://www-unix.mcs.anl.gov/mpi/. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Reflection Theorem: A Study in Meta-Theoretic Reasoning - Paulson (Correct)
....involving AC into a contradiction involving the axioms of set theory alone. One way to handle meta level reasoning is to throw away our set theory provers and work formalistically. We could work in a weak logic, such as PRA, which has been proposed for the QED project for mechanizing mathematics [13]. In this logic, we would define the set of formulas (the set F ) an internalized inference system, and the ZF axioms. Instead of proving the theorem # in a ZF prover, we would prove the theorem ZF in PRA. Then we could easily express syntactic operations on formulas. However, the formalist ....
The QED manifesto. http://www-unix.mcs.anl.gov/qed/, 1995.
The cgmCUBE project: Optimizing parallel data cube.. - Dehne, Eavis.. (2006) (Correct)
No context found.
The Message Passing Interface standard, 2003. http://www-unix.mcs.anl.gov/mpi/.
A Foreign Function Interface Generator for occam-pi - Dimmich, Jacobsen (2005) (Correct)
No context found.
The MPICH2 project home page, 2005. http://www-unix.mcs.anl.gov/mpi/mpich2/index.htm.
The cgmCUBE Project: Optimizing Parallel Data Cube.. - Dehne, Eavis, al. (Correct)
No context found.
The Message Passing Interface standard, 2003. http://www-unix.mcs.anl.gov/mpi/.
Scheduling Explicitly-Speculative Tasks - David Petrou Gregory (Correct)
No context found.
The Globus toolkit. http://www-unix.globus.org/toolkit/, Nov. 2003.
Scheduling Explicitly-Speculative Tasks - David Petrou Gregory (2003) (Correct)
No context found.
The Globus toolkit. http://www-unix.globus.org/toolkit/, Nov. 2003.
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