Performance and reliability improvement by using asynchronous algorithms in disk buffer cache memory Anna HaƩ OriginalPaper Pages: 131 - 146
Contextual rewriting as a sound and complete proof method for conditional LOG-specifications Marisa NavarroFernando OrejasJean-Luc Remy OriginalPaper Pages: 147 - 180
From ATP to timed graphs and hybrid systems Xavier NicollinJoseph SifakisSergio Yovine OriginalPaper Pages: 181 - 202