Search results for: Stephen Gilmore
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Quantitative Analysis Techniques for Service-Oriented Computing > 486-505
Lecture Notes in Computer Science > Formal Methods for Computational Systems Biology > Regular Lectures > 1-20
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Quantitative Analysis Techniques for Service-Oriented Computing > 506-521
Lecture Notes in Computer Science > Euro-Par 2005 Parallel Processing > Topic 9 – Parallel Programming: Models, Methods and Languages > 761-770
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Invited Talks > 21-36
Lecture Notes in Computer Science > Computer Performance Engineering > Performance Query Specification and Measurement > 125-140
Lecture Notes in Computer Science > Computer Performance Evaluation.Modelling Techniques and Tools > Formal Methods and Performance Evaluation > 247-261
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Invited Talks > 24-45
Lecture Notes in Computer Science > Global Computing. Programming Environments, Languages, Security, and Analysis of Systems > 229-253
Lecture Notes in Computer Science > Computational Science - ICCS 2004 > Workshop on Practical Aspects of High-Level Parallel Programming (PAPP 2004) > 306-313
Lecture Notes in Computer Science > Computer Performance Engineering > Poster Presentations > 310-324