Documents Doing More with Less… Ontario Universities Computer Conference John Marrazzo JM Associates john @....

Slide 1Doing More with Less… Ontario Universities Computer Conference John Marrazzo JM Associates john @ higheredinfo.com http://higheredinfo.com Slide 2 Whats Wrong Anyway?…

Documents The SPIN System. What is SPIN? Model-checker. Based on automata theory. Allows LTL or automata...

Slide 1The SPIN System Slide 2 What is SPIN? Model-checker. Based on automata theory. Allows LTL or automata specification Efficient (on-the-fly model checking, partial order…

Documents QGP and Confinement XQCD 2010 Wilhelm and Else Heraeus Seminar Bad Honnef, June 21-23 X-QCD Japan...

Slide 1 QGP and Confinement XQCD 2010 Wilhelm and Else Heraeus Seminar Bad Honnef, June 21-23 X-QCD Japan (S.Motoki, K.Nagata, Y.Nakagawa, A. Nakamura and T.Saito) and V.I.Zakharov…