نتایج جستجو برای: time rt

تعداد نتایج: 1932523  

2000
Karen Zita Haigh David J. Musliner Sunondo Ghosh

A common misconception about real-time computing is that it is equivalent to \fast computing." Many robotics examples in recent history have shown that without rigorous understanding of the resource requirements and interactions of the software, these systems are doomed to failure. In this paper, we discuss our application of rigorous real-time analysis and execution methods to Georgia Tech's M...

2006
Tarek Sadani Marc Boyer Pierre de Saqui-Sannes Jean-Pierre Courtiat

RT-LOTOS is a timed process algebra which enables compact and abstract specification of real-time systems. This paper proposes and illustrates a structural translation of RT-LOTOS terms into behaviorally equivalent (timed bisimilar) finite Time Petri nets. It is therefore possible to apply Time Petri nets verification techniques to the profit of RT-LOTOS. Our approach has been implemented in RT...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تهران 1378

بدلیل وجود منابع مختلف خطا در مشاهدات (global positioning system) gps، خصوصا خطای seiective availability) sa، دقت حاصل از تعیین موقعیت مطلق لحظه ای جوابگوی بسیاری از کاربردهای مورد نیاز نمی باشد. برای غلبه بر مشکل مزبور سیستم تعیین موقعیت آنی dgps یا(real time differential gps) rt-dgps بوجود آمد. متاسفانه علی رغم تحقیقات گسترده ای که در زمینه ارزیابی و گسترش سیستم rt-dgps در کشورهای امریکایی و ...

1999
Manoj Apte Srigurunath Chakravarthi Anand Pillai Anthony Skjellum Xin Yan Zan

The Real-Time Message Passing Interface (MPI/RT) is a communication layer middleware standard that is aimed at providing guaranteed Quality of Service for data transfers on high performance networks. It poses “middleout” requirements both on applications and on the operating system. In this paper, we consider the “middledown” issues by modifying a POSIX compliant operating system in order to su...

Journal: :American Journal of Respiratory and Critical Care Medicine 2020

2012
Hiroyuki Chishiro Nobuyuki Yamasaki

Responsive Link is a communication standard as specified in ISO/IEC 24740:2008 for distributed real-time environments. Responsive Link has multiple features to meet both hard and soft real-time requirements. Unfortunately, current real-time operating systems do not support the main features of Responsive Link. In addition, distributed realtime systems in noisy environments require revealing the...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید