Performance Evaluation: Metrics, Models and Benchmarks


Book Description

This book constitutes the refereed proceedings of the SPEC International Performance Evaluation Workshop, SIPEW 2008, held in Darmstadt, Germany, in June 2008. The 17 revised full papers presented together with 3 keynote talks were carefully reviewed and selected out of 39 submissions for inclusion in the book. The papers are organized in topical sections on models for software performance engineering; benchmarks and workload characterization; Web services and service-oriented architectures; power and performance; and profiling, monitoring and optimization.




Fundamentals of Electric Propulsion


Book Description

Throughout most of the twentieth century, electric propulsion was considered the technology of the future. Now, the future has arrived. This important new book explains the fundamentals of electric propulsion for spacecraft and describes in detail the physics and characteristics of the two major electric thrusters in use today, ion and Hall thrusters. The authors provide an introduction to plasma physics in order to allow readers to understand the models and derivations used in determining electric thruster performance. They then go on to present detailed explanations of: Thruster principles Ion thruster plasma generators and accelerator grids Hollow cathodes Hall thrusters Ion and Hall thruster plumes Flight ion and Hall thrusters Based largely on research and development performed at the Jet Propulsion Laboratory (JPL) and complemented with scores of tables, figures, homework problems, and references, Fundamentals of Electric Propulsion: Ion and Hall Thrusters is an indispensable textbook for advanced undergraduate and graduate students who are preparing to enter the aerospace industry. It also serves as an equally valuable resource for professional engineers already at work in the field.










Formal Methods for Performance Evaluation


Book Description

This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field.