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

A formal framework for verifying distributed embedded systems based on abstraction methods

โœ Scribed by Francois Carcenac; Frederic Boniol

Publisher
Springer
Year
2006
Tongue
English
Weight
699 KB
Volume
8
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A dynamic load balancing method based on
A dynamic load balancing method based on network delay for large distributed systems
โœ Kenji Nishimura; Hitoshi Ueno; Miki Yamamoto; Hiromasa Ikeda ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 282 KB ๐Ÿ‘ 2 views

The authors propose two dynamic load balancing methods which give consideration to network delays in a large-scale, wide-area distributed system. In general in load balancing, the number of candidate computers for transfers increases as the number of computers being used increases, and so efforts ar

A simplified method of predicting the ou
A simplified method of predicting the output probability distribution based on the time series model for actual sound insulation systems with arbitrary random excitation by use of the statistical method of moment
โœ M. Ohta; H. Yamada ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 628 KB

Most of the usual studies on a sound insulation system were introduced from the deterministic viewpoint in the frequency domain. This paper presents for the first time a fairly simplified identification method applicable to the actual situation of a sound insulation system under the introduction of