Flash filestores have a variety of unique features that lead to interesting design constraints. One challenge is that of ensuring that each block of the drive is used and erased evenly, known as “wear-levelling”. This paper presents a novel approach to the analysis of wear-levelling algorithms using probabilistic specification and analysis techniques. A simplified version of the wear-levelling ...

The problem of scheduling activities dynamic for a project, within the available resources and adhering to precedence relationships is NP hard combinatorial. Traditional approaches and their extensions are limited in application for simultaneous scheduling of resources with leveling. Considering the need for improved modeling and scheduling techniques, this paper proposes the use of Petrinet ba...

excessive cutting depth during leveling of agricultural land increases power needed by the tractor drawbar and will result in undesirable slippage and excessive strain on the tractor engine.  the result of sustained excess will be the break-down of the tractor. an auxiliary blade depth controller to prevent overloading during leveling was designed, fabricated and evaluated in this study. the sy...