Sciweavers

9888 search results - page 321 / 1978
» compute 2009
Sort
View
CONCUR
2009
Springer
16 years 2 months ago
Howe's Method for Calculi with Passivation
Abstract. We show how to apply Howe’s method for the proof of congruence of early bisimilarities in a higher-order process calculus with
Sergueï Lenglet, Alan Schmitt, Jean-Bernard S...
EUROPAR
2009
Springer
16 years 2 months ago
A Holistic Approach towards Automated Performance Analysis and Tuning
Guojing Cong, I-Hsin Chung, Hui-Fang Wen, David J....
MEMBRANE
2009
Springer
16 years 2 months ago
An Overview of P-Lingua 2.0
Manuel García-Quismondo, Rosa Gutiér...