[cadynce] modelChecking Results slides uploaded to....Minutes20070524 < CADYNCE < TWiki

[Gautam Thaker]

Todd/Joe:

I have started a new wiki page at URL below:

https://escher.isis.vanderbilt.edu/twiki/bin/view/CADYNCE/Minutes20070524

I have linked Adam's slides there as well, and have added a 2 slide .ppt 
file (+ 1 backup) related to model checking results. The basic takeways 
is slide # 2 in

https://escher.isis.vanderbilt.edu/twiki/pub/CADYNCE/Minutes20070524/modelCheckingResults.ppt

which says that though we try lots (100 allocations at each number of 
blades between 30 to 50) we are able to determine that we need at least 
42 processors to meet the stated level of performance. These allocations 
then would be subjected to further testing w/ CUTS/SKOLL.

Gautam