Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Formal Methods and Stochastic Models for Performance Evaluation
This book constitutes the refereed proceedings of the Third European Performance Engineering Workshop, EPEW 2006, held in Budapest, Hungary in June 2006. The 16 revised full papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on stochastic process algebra, workloads and benchmarks, theory of stochastic processes, formal dependability and performance evaluation, as well as queues, theory and practice.
Analytical and Stochastic Modeling Techniques and Applications
This book constitutes the refereed proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2009, held in Madrid, Spain, in June 2009 in conjunction with ECMS 2009, the 23nd European Conference on Modeling and Simulation. The 27 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on telecommunication networks; wireless & mobile networks; simulation; quueing systems & distributions; queueing & scheduling in telecommunication networks; model checking & process algebra; performance & reliability analysis of various systems.
Formal Methods and Stochastic Models for Performance Evaluation
This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, Germany, September 27-28, 2007. The 20 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections on Markov Chains, Process Algebra, Wireless Networks, Queueing Theory and Applications of Queueing, Benchmarking and Bounding, Grid and Peer-to-Peer Systems.
Computer Performance Evaluation. Modelling Techniques and Tools
This book constitutes the refereed proceedings of the 13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, TOOLS 2003, held in Urbana, IL, USA, in September 2003. The 17 revised full papers presented together with a keynote paper were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on tools for measuring, benchmarking, and online control; tools for evaluation of stochastic models; queueing models; Markovian arrival processes and phase-type distributions; and supporting model-based design of systems.
The Internet Challenge: Technology and Applications
The International Workshop on "The Internet Challenge: Technology and Applications" is the fifth in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universitat Berlin. The goal of those workshops is to bring together researchers from both universities in order to exchange research results achieved in common projects of the two partner universities or to present interesting new work that might lead to new cooperation. The series of workshops started in 1990 with the "International Workshop on Artificial Intelligence" and was continued with the "International Workshop on Advanced Software Technology" in 1994. Both workshops have been hosted by Shanghai Jiao Tong University. In 1998 the third workshop took place in Berlin. This "International Workshop on Communication Based Systems" was essentially based on results from the Graduiertenkolleg on Communication Based systems that was funded by the German Research Society (DFG) from 1991 to 2000. The fourth "International Workshop on Robotics and its Applications" was held in Shanghai in 2000 supported by VDIIVDE-GMA and GI.
Computer Performance Evaluation. Modelling Techniques and Tools
This book constitutes the refereed proceedings of the 11th International Conference on Modelling Tools and Techniques for Computer Communication System Performance Evaluation, TOOLS 2000, held in Schaumburg, IL, USA in March 2000. The 21 revised full papers presented were carefully reviewed and selected from a total of 49 submissions. Also included are 15 tool descriptions and one invited paper. The papers are organized in topical sections on queueing network models, optimization in mobile networks, stochastic Petri nets, simulation, formal methods and performance evaluation, and measurement tools and applications.
Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance
This book constitutes the refereed proceedings of the 15th International GI/ITG Conference on "Measurement, Modelling and Evaluation of Computing Systems" and "Dependability and Fault Tolerance", held in Essen, Germany, in March 2010. The 19 revised full papers presented together with 5 tool papers and 2 invited lectures were carefully reviewed and selected from 42 initial submissions. The papers cover all aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems.
Computer Performance Engineering
This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de Mallorca, Spain, in September 24-25, 2008. The 17 papers presented in this volume, together with abstracts of 2 invited papers, were carefully reviewed and selected from 39 submissions. The topics covered are software performance engineering; stochastic process algebra and SANs; performance query specification and measurement; computer and communications networks; queueing theory and Markov chains; and applications.
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003. The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.
MMB & PGTS 2004
None
