1 A class of Generalized Stochastic Petri Nets for the performance Evaluation of Mulitprocessor Systems By M. Almone, G. Conte Presented by Yinglei Song.
1 Size-Based Scheduling Policies with Inaccurate Scheduling Information Dong Lu *, Huanyuan Sheng +, Peter A. Dinda * * Prescience Lab, Dept. of Computer.
Concur 2001 August 21, 2001 Performance Evaluation := (Process Algebra + Model Checking) x Markov Chains Holger Hermanns and Joost-Pieter Katoen with.
Vacuum system in the main Linacs C. Garion CERN/TE/VSC CLIC09 workshop, 12-16 October.
Update of the vacuum system for the CLIC two-beam modules
Performance Evaluation := (Process Algebra + Model Checking) x Markov Chains
Size-Based Scheduling Policies with Inaccurate Scheduling Information
CDB Exploring Science and Society Seminar Thursday 19 November 2009 at 5.30pm Host: Prof Giorgio Gabella The Bayesian brain, surprise and free-energy.
