Pre-Owned Lecture Notes in Computer Science: Computer Performance Evaluation: Modelling Techniques and Tools: Modelling Techniques and Tools. 12th International Conference Tools 2002 London Uk April 14-17 2 from other stores

  • Performance evaluation reliability and performability are key factors in the d... Performance evaluation reliability and performability are key factors in the development and improvement of computer systems and computer networks. This volume contains the 25 accepted and invited papers presented at the 7th International Conference... more
  • In the design implementation and operational planning of computer and c- munic... In the design implementation and operational planning of computer and c- municationsystems manyquestionsregardingthe desiredcapacityandspeed of (sub)systems have to be answered.At this point performance anddependability evaluation techniques can be... more
  • This book constitutes the refereed proceedings of the 9th International Confer... This book constitutes the refereed proceedings of the 9th International Conference on Modeling Techniques and Tools for Computer Performance Evaluation held in St. Malo France in June 1997. The volume presents 17 revised full papers carefully... more
  • This book constitutes the refereed proceedings of the Joint Workshop on Proces... This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification PAPM-PROBMIV 2001 held in Aachen Germany in September 2001. The 12 revised full papers... more
  • As a result of the open-source movement there is now a great deal of reusable ... As a result of the open-source movement there is now a great deal of reusable software available in the public domain. This offers significant functionality that commercial software vendors can use in their software projects. Open-source approaches... more
  • CHARME 99 is the tenth in a series of working conferences devoted to the dev- ... CHARME 99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984)... more
Items per page