نتایج جستجو برای: life duration
تعداد نتایج: 934768 فیلتر نتایج به سال:
This paper applies and reenes the ProCoS approach to trans-formational design of real-time systems to a benchmark case study, the Karlsruhe production cell 10, 9]. We start by formalizing the informal requirements of 10, 9] in Duration Calculus and end with a distributed controller architecture where all components are speciied in the program speciication language SL time 18]. Novel is the full...
Background and aims: Investigating the quality of life and its determinants provides a general prospective about the health status and contributes in health planning. The present study aimed at investigating the relationship between sleep duration and quality of life, adjusting for the impacts of important confounders, in Isfahan steal company's employees. Methods: In a cross-sectional s...
DYOPTYKA’s innovative solution for the reduction of speckle noise in projection displays, using a phase randomizing deformable mirror, is shown to achieve good performance both within a single 1 μs pulse duration and through sequences of such pulses.
In this paper the most diicult step of a method is presented by which requirements in the duration calculus (DC) can be transformed into occam programs such that the implementation is correct by construction. Several rules for correct transformations from DC towards an important intermediate stage, the speciication language SL time , will be shown. In particular we shall explain the interplay b...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید