Esterel is a synchronous, imperative language designed to specify deterministic control systems. However compilers and run time environments for Esterel are not available on low cost microprocessors and microcontrollers. We address this shortcoming by designing and implementing an Esterel Virtual Machine and compiler that will operate on a variety of low footprint target platforms. We will comp...

The main stages in the development of the Institute of Electronic Control Computers during fifty years of its existence are considered in this paper. The basic models of controlling computer systems, developed at the institute are presented. Creating and large-scale industrial production of smallcomputer system SM EVM have founded the technological base of automation control and information pro...

هدف: سکوت سازمانی پدیده‌­ای رایج و متداول در سازمان­‌ها واقعیتی موجود ملموس برای مدیران کارکنان است. یکی از موانع مهم موفقیت برنامه‌­ها اهداف سازمان، فقدان اطلاعات، اعتماد آن چیزی است که پژوهشگران را نام نهاده‌­اند عبارت خودداری بیان ایده‌­ها، نظرات اطلاعات راجع به مشکلات سازمانی. سویی دیگر قصد ترور روحی با ایجاد فشار روانی روی شخص مورد هدف، دورکردن هویت استفاده فشارهای منظم مستمراست. توجه اینک...

Two viscous stabilization methods, namely the spectral vanishing viscosity (SVV) technique and the entropy viscosity method (EVM), are applied to flows of interest in geophysics. First, following a study restricted to one space dimension [17], the spectral element approximation of the shallow water equations is stabilized using the EVM. Our recent advances are here carefully described. Second, ...

The Centre for evidence-based Veterinary Medicine (CeVM) at Nottingham university defines evidence-based veterinary medicine (eVM) as: ‘The use of the best relevant evidence, in conjunction with clinical expertise, to make the best possible decision about a veterinary patient. The circumstances of each patient, and the circumstances and values of the owner/carer must also be considered when mak...