Login / Signup
Formal Proof of Applications Distributed in Symmetric Interconnection Networks.
Eric Gascard
Laurence Pierre
Published in:
Parallel Process. Lett. (2003)
Keyphrases
</>
formal proof
interconnection networks
fault tolerant
multistage
parallel algorithm
distributed systems
message passing
routing algorithm
theorem prover
real time
peer to peer
artificial intelligence
machine learning
end to end
computer networks