2012-05-24 urbanc small typo in the itp-12 paper
2012-05-11 urbanc typo
2012-05-09 urbanc updated
2012-05-09 urbanc comments by Xingyuan
2012-05-03 urbanc some small editing
2012-05-03 urbanc tuned paragraph on multiprocesors
2012-05-02 urbanc added section about PINTOS and rewritten multi-processor section
2012-04-30 urbanc slightly changed the definition of holdends and detached
2012-04-23 urbanc made changes for another journal submission of the MN-paper
2012-04-20 urbanc changes to get the files through for CU
2012-04-20 urbanc made changes for another journal submission of the MH-paper
2012-04-20 zhang Intuitive definition of "detached" is added to PrioG.thy.
2012-04-17 urbanc added an acknowledgement
2012-04-17 urbanc some small tuning
2012-04-17 urbanc some small improvements
2012-04-16 urbanc ???-marks
Loading...
(0) -300 -100 -16 +16 tip