๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Partial-order Reduction Techniques for Real-time Model Checking

โœ Scribed by Dennis Dams; Rob Gerth; Bart Knaack; Ruurd Kuiper

Publisher
Springer
Year
1998
Tongue
English
Weight
120 KB
Volume
10
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Dynamical grouping model for distributed
Dynamical grouping model for distributed real time causal ordering
โœ Abderrahim Benslimane; Abdelhafid Abouaissa ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 909 KB

This paper proposes a hierarchical architecture of communication allowing scalability in the case of multimedia applications such as teleconferencing where there is a large number of participants. From an unspeciยฎed communication network, we propose to decompose the system into local groups. Each lo

Model order reduction techniques for ele
Model order reduction techniques for electromagnetic macromodelling based on finite methods
โœ A. C. Cangellaris; L. Zhao ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 202 KB

Model order reduction of an electromagnetic system is understood as the approximation of a continuous or discrete model of the system by one of substantially lower order, yet capable of capturing the electromagnetic behaviour of the original one with su$cient engineering accuracy. Model order reduct