25th Annual Simulation Symposium
Author | : |
Publisher | : |
Total Pages | : 269 |
Release | : 1992 |
Genre | : |
ISBN | : |
Download 25th Annual Simulation Symposium Book in PDF, ePub and Kindle
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download 25th Annual Simulation Symposium PDF full book. Access full book title 25th Annual Simulation Symposium.
Author | : |
Publisher | : |
Total Pages | : 269 |
Release | : 1992 |
Genre | : |
ISBN | : |
Author | : Kubiak |
Publisher | : |
Total Pages | : 360 |
Release | : 1992-01-01 |
Genre | : |
ISBN | : 9781565550117 |
Author | : Simulation Symposium |
Publisher | : |
Total Pages | : 337 |
Release | : 1980 |
Genre | : Digital computer simulation |
ISBN | : |
Author | : IEEE Computer Society Press Staff |
Publisher | : |
Total Pages | : |
Release | : 2008 |
Genre | : |
ISBN | : 9781509081790 |
Author | : |
Publisher | : |
Total Pages | : 376 |
Release | : 1993 |
Genre | : Simulation methods |
ISBN | : |
Author | : IEEE Computer Society Staff |
Publisher | : |
Total Pages | : |
Release | : 2003 |
Genre | : |
ISBN | : |
Author | : Carl Tropper |
Publisher | : Nova Publishers |
Total Pages | : 168 |
Release | : 2002 |
Genre | : Computers |
ISBN | : 9781590333778 |
Discrete-event simulation has long been an integral part of the design process of complex engineering systems and the modelling of natural phenomena. Many of the systems that we seek to understand or control can be modelled as digital systems. In a digital model, we view the system at discrete instants of time, in effect taking snapshots of the system at these instants. For example, in a computer network simulation an event can be the sending of a message from one node to another node while in a VLSI logic simulation, the arrival of a signal at a gate may be viewed as an event. Digital systems such as computer systems are naturally susceptible to this approach. However, a variety of other systems may also be modelled this way. These include transportation systems such as air-traffic control systems, epidemiological models such as the spreading of a virus, and military war-gaming models. This book is representative of the advances in this field.
Author | : Wolfgang Ahrendt |
Publisher | : Springer Nature |
Total Pages | : 190 |
Release | : 2020-06-20 |
Genre | : Computers |
ISBN | : 3030509958 |
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
Author | : Joseph G. Sowa |
Publisher | : |
Total Pages | : 300 |
Release | : 1973 |
Genre | : Digital computer simulation |
ISBN | : |
Author | : |
Publisher | : IEEE |
Total Pages | : 362 |
Release | : 2003 |
Genre | : Computers |
ISBN | : 9780769519111 |
The growing awareness of the effects that simulation is having on the way we design our computing, communication, and control systems is leading to an increased demand for a better understanding of all aspects of simulation, ANSS'03 covers broad topics in the areas of distributed systems, network modeling, and advances in simulation methodology and practices.