نتایج جستجو برای: handler

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

Journal: :Scientific Journal of Riga Technical University. Computer Sciences 2011

2009
Shunsuke YAO Hiroaki AWANO Yasushi HIRAOKA Kazuko TAKAHASHI

We discuss the modeling and verification of marine equipment systems that are implemented on a real-time OS. We construct the framework that provides primary functions, such as tasks with priorities, a scheduler, and an interrupt handler. Using this framework, we construct a behavioral model for two modules of simplified fishfinder, and verify the requirements such as deadlock-freeness using a ...

2000
Brent Ledvina Francisco Mota Paul Kintner

The Global Positioning System, or GPS, is a key technology for both the civilian and scientific research markets. GPS provides users with precise geodetic positioning and time determination. Most GPS receivers require specialized hardware and complex software to operate. One receiver, originally designed to run in DOS, will be the focus of a code migration to RTLinux. The major aspects of the m...

Journal: :Journal of Policing, Intelligence and Counter Terrorism 2020

Journal: :Journal of Agricultural and Applied Economics 2021

Abstract Pesticide handling is a critical component of many food supply chains yet labor markets for pesticide handlers are little studied. This study uses data from the U.S. national survey to show that relative other farmworkers, get paid 15% more. To understand this premium, matching techniques used identify workers who observationally equivalent in every way except handling. Using these met...

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

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