1992

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings

CAV (Conference) (3rd : 1991 : Ålborg, Denmark)



 

1994

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

CAV (Conference) (6th : 1994 : Stanford, Calif.)



 

2005

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings

CAV (Conference) (17th : 2005 : Edinburgh, Scotland)



 

2008

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings

CAV (Conference) (20th : 2008 : Princeton, N.J.)



 

2009

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings

CAV (Conference) (21st : 2009 : Grenoble, France)



 

2010

Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings

CAV (Conference) (22nd : 2010 : Edinburgh, Scotland)



 

2011

Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings

CAV (Conference) (23rd : 2011 : Snowbird, Utah)



 

1993

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings

CAV (Conference) (4th : 1992 : Montréal, Québec)

Berlin ; New York : Springer-Verlag, ©1993

 

2009

Computer performance evaluation and benchmarking : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009 : proceedings

SPEC Benchmark Workshop (2009 : Austin, Tex.)



 

1994

Computer performance evaluation : modelling techniques and tools : 7th international conference, Vienna, Austria, May 3-6, 1994 : proceedings

 

1974

GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, Braunschweig, 20.-22.3.1974

GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen (1974 : Braunschweig, Germany)



 

 

... International Symposium on Performance Evaluation of Computer and Telecommunication Systems

International Symposium on Performance Evaluation of Computer and Telecommunication Systems, issuing body

[San Diego] : [Society for Modeling and Simulation International]

 

2003

Measuring Computer Performance : a Practitioner's Guide

Lilja, David J



 

2000

Measuring computer performance : a practitioner's guide

Lilja, David J



 

1993

Performance evaluation of computer and communication systems : joint tutorial papers of Performance '93 and Sigmetrics '93

IFIP WG 7.3 International Conference on the Performance of Distributed Systems and Integrated Communication Networks (16th : 1993 : Rome, Italy)

Berlin : Springer, ©1993

 

1995

Quantitative evaluation of computing and communication systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG C

International Conference on Modeling Techniques and Tools for Computer Performance Evaluation (8th : 1995 : Heidelberg, Germany)