Quantitative Methods in Parallel Systems

Quantitative Methods in Parallel Systems

Author: Francois Baccelli

Publisher: Springer Science & Business Media

Published: 2013-11-11

Total Pages: 313

ISBN-13: 3642799175

DOWNLOAD EBOOK

It is widely recognized that the complexity of parallel and distributed systems is such that proper tools must be employed during their design stage in order to achieve the quantitative goals for which they are intended. This volume collects recent research results obtained within the Basic Research Action Qmips, which bears on the quantitative analysis of parallel and distributed architectures. Part 1 is devoted to research on the usage of general formalisms stemming from theoretical computer science in quantitative performance modeling of parallel systems. It contains research papers on process algebras, on Petri nets, and on queueing networks. The contributions in Part 2 are concerned with solution techniques. This part is expected to allow the reader to identify among the general formalisms of Part I, those that are amenable to an efficient mathematical treatment in the perspective of quantitative information. The common theme of Part 3 is the application of the analytical results of Part 2 to the performance evaluation and optimization of parallel and distributed systems. Part 1. Stochastic Process Algebras are used by N. Gotz, H. Hermanns, U. Herzog, V. Mertsiotakis and M. Rettelbach as a novel approach for the struc tured design and analysis of both the functional behaviour and performability (i.e performance and dependability) characteristics of parallel and distributed systems. This is achieved by integrating stochastic modeling and analysis into the powerful and well investigated formal description techniques of process algebras.


Research Methods in Human-Computer Interaction

Research Methods in Human-Computer Interaction

Author: Jonathan Lazar

Publisher: Morgan Kaufmann

Published: 2017-04-28

Total Pages: 562

ISBN-13: 0128093439

DOWNLOAD EBOOK

Research Methods in Human-Computer Interaction is a comprehensive guide to performing research and is essential reading for both quantitative and qualitative methods. Since the first edition was published in 2009, the book has been adopted for use at leading universities around the world, including Harvard University, Carnegie-Mellon University, the University of Washington, the University of Toronto, HiOA (Norway), KTH (Sweden), Tel Aviv University (Israel), and many others. Chapters cover a broad range of topics relevant to the collection and analysis of HCI data, going beyond experimental design and surveys, to cover ethnography, diaries, physiological measurements, case studies, crowdsourcing, and other essential elements in the well-informed HCI researcher's toolkit. Continual technological evolution has led to an explosion of new techniques and a need for this updated 2nd edition, to reflect the most recent research in the field and newer trends in research methodology. This Research Methods in HCI revision contains updates throughout, including more detail on statistical tests, coding qualitative data, and data collection via mobile devices and sensors. Other new material covers performing research with children, older adults, and people with cognitive impairments. - Comprehensive and updated guide to the latest research methodologies and approaches, and now available in EPUB3 format (choose any of the ePub or Mobi formats after purchase of the eBook) - Expanded discussions of online datasets, crowdsourcing, statistical tests, coding qualitative data, laws and regulations relating to the use of human participants, and data collection via mobile devices and sensors - New material on performing research with children, older adults, and people with cognitive impairments, two new case studies from Google and Yahoo!, and techniques for expanding the influence of your research to reach non-researcher audiences, including software developers and policymakers


并行程序设计

并行程序设计

Author: Foster

Publisher:

Published: 2002

Total Pages: 381

ISBN-13: 9787115103475

DOWNLOAD EBOOK

国外著名高等院校信息科学与技术优秀教材


Transactions on Petri Nets and Other Models of Concurrency I

Transactions on Petri Nets and Other Models of Concurrency I

Author: Wil van der Aalst

Publisher: Springer Science & Business Media

Published: 2008-12-18

Total Pages: 265

ISBN-13: 3540892869

DOWNLOAD EBOOK

This volume contains revised and extended versions of a selection of key papers from workshops held at the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, which took place in Siedlce, Poland, June 2007.


Interactive Markov Chains

Interactive Markov Chains

Author: Holger Hermanns

Publisher: Springer

Published: 2003-08-02

Total Pages: 223

ISBN-13: 3540458042

DOWNLOAD EBOOK

Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph is devoted to compositional specification and analysis of Markov chains. Based on principles known from process algebra, the author systematically develops an algebra of interactive Markov chains. By presenting a number of distinguishing results, of both theoretical and practical nature, the author substantiates the claim that interactive Markov chains are more than just another formalism: Among other, an algebraic theory of interactive Markov chains is developed, devise algorithms to mechanize compositional aggregation are presented, and state spaces of several million states resulting from the study of an ordinary telefone system are analyzed.


CONCUR '98 Concurrency Theory

CONCUR '98 Concurrency Theory

Author: Davide Sangiorgi

Publisher: Springer Science & Business Media

Published: 1998-08-19

Total Pages: 678

ISBN-13: 9783540648963

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998. The 35 revised full papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. Among the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid systems, model checking, verification techniques, refinement, rewriting, typing systems and algorithms, etc..


Theoretical Computer Science - Proceedings Of The 6th Italian Conference

Theoretical Computer Science - Proceedings Of The 6th Italian Conference

Author: Giuseppe Pirillo

Publisher: World Scientific

Published: 1998-10-15

Total Pages: 398

ISBN-13: 9814544302

DOWNLOAD EBOOK

The Italian Conference on Theoretical Computer Science (ICTCS '98) is the annual conference of the Italian Chapter of the European Association for Theoretical Computer Science. The Conference aims at enabling computer scientists, especially young researchers to enter the community and to exchange theoretical ideas and results, as well as theoretical based practical experiences and tools in computer science.This volume contains 32 papers selected out of 50 submissions. The main topics include computability, automata, formal languages, term rewriting, analysis and design of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography and security, data types and data structures, semantics of programming languages, program specification and verification, foundations of logic programming, parallel and distributed computation, and theory of concurrency.The volume provides an up-to-date view of the status of several relevant topics in theoretical computer science and suggests directions for future research. It constitutes a valuable working tool for researchers and graduate students.


ECIC2011-Proceedings of the 3rd European Conference on on Intellectual Capital

ECIC2011-Proceedings of the 3rd European Conference on on Intellectual Capital

Author: Geoff Turner

Publisher: Academic Conferences Limited

Published: 2011-04-18

Total Pages: 628

ISBN-13: 1906638942

DOWNLOAD EBOOK

These proceedings represent the work of presenters at the 3rd European Conference on Intellectual Capital (ECIC 2011). The Conference is hosted this year by the University of Nicosia in Cyprus. The Conference Chair is Geoff Turner from the University of Nicosia and the Programme Chair is Clemente Minonne from the School of Management and Law, Zurich University of Applied Sciences, Winterthur, Switzerland. The opening keynote address is given by John Girard from Minot State University in the USA. John will address the question Social Knowledge: Are we ready for the future? The second day of the conference will be opened by Ludo Pyis from AREOPA in Belgium who will consider Intellectual Capital Accounting: how to measure the unmeasurable. We also look forward to a Knowledge Cafe on the topic of What intellectual capital ideas and developments do you expect to live and see? facilitated by Helen Paige from The Paige Group, South Australia.


Computational Probability

Computational Probability

Author: Winfried K. Grassmann

Publisher: Springer Science & Business Media

Published: 2013-03-14

Total Pages: 488

ISBN-13: 1475748280

DOWNLOAD EBOOK

Great advances have been made in recent years in the field of computational probability. In particular, the state of the art - as it relates to queuing systems, stochastic Petri-nets and systems dealing with reliability - has benefited significantly from these advances. The objective of this book is to make these topics accessible to researchers, graduate students, and practitioners. Great care was taken to make the exposition as clear as possible. Every line in the book has been evaluated, and changes have been made whenever it was felt that the initial exposition was not clear enough for the intended readership. The work of major research scholars in this field comprises the individual chapters of Computational Probability. The first chapter describes, in nonmathematical terms, the challenges in computational probability. Chapter 2 describes the methodologies available for obtaining the transition matrices for Markov chains, with particular emphasis on stochastic Petri-nets. Chapter 3 discusses how to find transient probabilities and transient rewards for these Markov chains. The next two chapters indicate how to find steady-state probabilities for Markov chains with a finite number of states. Both direct and iterative methods are described in Chapter 4. Details of these methods are given in Chapter 5. Chapters 6 and 7 deal with infinite-state Markov chains, which occur frequently in queueing, because there are times one does not want to set a bound for all queues. Chapter 8 deals with transforms, in particular Laplace transforms. The work of Ward Whitt and his collaborators, who have recently developed a number of numerical methods for Laplace transform inversions, is emphasized in this chapter. Finally, if one wants to optimize a system, one way to do the optimization is through Markov decision making, described in Chapter 9. Markov modeling has found applications in many areas, three of which are described in detail: Chapter 10 analyzes discrete-time queues, Chapter 11 describes networks of queues, and Chapter 12 deals with reliability theory.


Performance Evaluation of Complex Systems: Techniques and Tools

Performance Evaluation of Complex Systems: Techniques and Tools

Author: Maria Carla Calzarossa

Publisher: Springer

Published: 2003-08-02

Total Pages: 509

ISBN-13: 3540457984

DOWNLOAD EBOOK

This book presents the tutorial lectures given by leading experts in the area at the IFIP WG 7.3 International Symposium on Computer Modeling, Measurement and Evaluation, Performance 2002, held in Rome, Italy in September 2002.The survey papers presented are devoted to theoretical and methodological advances in performance and reliability evaluation as well as new perspectives in the major application fields. Modeling and verification issues, solution methods, workload characterization, and benchmarking are addressed from the methodological point of view. Among the applications dealt with are hardware and software architectures, wired and wireless networks, grid environments, Web services, and real-time voice and video processing.This book is intended to serve as a state-of-the-art survey and reference for students, scientists, and engineers active in the area of performance and reliability evaluation.