Author: Publisher:
ISBN:
Category : Mathematical analysis
Languages : en
Pages : 426
Book Description
Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae
Author: Publisher:
ISBN:
Category : Mathematical analysis
Languages : en
Pages : 426
Book Description
Retrial Queueing Systems
Author: J. R. ArtalejoPublisher: Springer Science & Business Media
ISBN: 3540787259
Category : Mathematics
Languages : en
Pages : 320
Book Description
The application of auto-repeat facilities in telephone systems, as well as the use of random access protocols in computer networks, have led to growing interest in retrial queueing models. Since much of the theory of retrial queues is complex from an analytical viewpoint, with this book the authors give a comprehensive and updated text focusing on approximate techniques and algorithmic methods for solving the analytically intractable models. Retrial Queueing Systems: A Computational Approach also Presents motivating examples in telephone and computer networks. Establishes a comparative analysis of the retrial queues versus standard queues with waiting lines and queues with losses. Integrates a wide range of techniques applied to the main M/G/1 and M/M/c retrial queues, and variants with general retrial times, finite population and the discrete-time case. Surveys basic results of the matrix-analytic formalism and emphasizes the related tools employed in retrial queues. Discusses a few selected retrial queues with QBD, GI/M/1 and M/G/1 structures. Features an abundance of numerical examples, and updates the existing literature. The book is intended for an audience ranging from advanced undergraduates to researchers interested not only in queueing theory, but also in applied probability, stochastic models of the operations research, and engineering. The prerequisite is a graduate course in stochastic processes, and a positive attitude to the algorithmic probability.
Mathematical Reviews
Author: Formal Methods for Performance Evaluation
Author: Marco BernardoPublisher: Springer
ISBN: 3540725229
Category : Computers
Languages : en
Pages : 475
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.
Networking and Telecommunications: Concepts, Methodologies, Tools, and Applications
Author: Management Association, Information ResourcesPublisher: IGI Global
ISBN: 1605669873
Category : Technology & Engineering
Languages : en
Pages : 2041
Book Description
"This multiple-volume publications exhibits the most up-to-date collection of research results and recent discoveries in the transfer of knowledge access across the globe"--Provided by publisher.
Testing Software and Systems
Author: Silvia BonfantiPublisher: Springer Nature
ISBN: 3031432401
Category : Computers
Languages : en
Pages : 297
Book Description
This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023. The 13 full papers presented together with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and Design; Model Based Testing; and AI and Smart Contracts Testing.
Data Communications and their Performance
Author: Serge FdidaPublisher: Springer
ISBN: 0387349421
Category : Technology & Engineering
Languages : en
Pages : 417
Book Description
This is the sixth conference in the series which started in 1981 in Paris, followed by conferences held in Zurich (1984), Rio de Janeirio (1987), Barcelona (1991), and Raleigh (1993). The main objective of this IFIP conference series is to provide a platform for the exchange of recent and original contributions in communications systems in the areas of performance analysis, architectures, and applications. There are many exiciting trends and developments in the communications industry, several of which are related to advances in Asynchronous Transfer Mode·(ATM), multimedia services, and high speed protocols. It is commonly believed in the communications industry that ATM represents the next generation of networking. Yet, there are a number of issues that has been worked on in various standards bodies, government and industry research and development labs, and universities towards enabling high speed networks in general and ATM networks in particular. Reflecting these trends, the technical program of the Sixth IFIP W.G. 6.3 Conference on Performance of Computer Networks consists of papers addressing a wide range of technical challenges and proposing various state of the art solutions to a subset of them. The program includes 25 papers selected by the program committee out of 57 papers submitted.
Software Fault Detection and Correction: Modeling and Applications
Author: Rui PengPublisher: Springer
ISBN: 9811311625
Category : Computers
Languages : en
Pages : 117
Book Description
This book focuses on software fault detection and correction processes, presenting 5 different paired models introduced over the last decade and discussing their applications, in particular to determining software release time. The first work incorporates the testing effort function and the fault introduction process into the paired fault detection and fault correction models. The second work incorporates fault dependency, while the third adopts a Markov approach for studying fault detection and correction processes. The fourth work considers the multi-release property of various software, and models fault detection and correction processes. The last work classifies faults into four types and models the fault-detection and correction processes. Enabling readers to familiarize themselves with how software reliability can be modeled when different factors need to be considered, and how the approaches can be used to analyze other systems, the book is important reference guide for researchers in the field of software reliability engineering and practitioners working on software projects. To gain the most from the book, readers should have a firm grasp of the fundamentals of the stochastic process.
Science Abstracts
Author: Publisher:
ISBN:
Category : Electrical engineering
Languages : en
Pages : 1874
Book Description
Author: