Login / Signup
Correction of Monitor Intrusion for Testing Nondeterministic MPI-Programs.
Dieter Kranzlmüller
Jacques Chassin de Kergommeaux
Christian Schaubschläger
Published in:
Euro-Par (1999)
Keyphrases
</>
intrusion detection
symbolic execution
real time
monitoring system
general purpose
intrusion detection system
test data
parallel algorithm
message passing
network security
parallel implementation
finite state
parallel computing
high performance computing
error correction
message passing interface