Results 11 to 20 of about 1,057,123 (303)
Interrupt Verification via Thread Verification
Electronic Notes in Theoretical Computer Science, 2007 AbstractMost of the research effort towards verification of concurrent software has focused on multithreaded code. On the other hand, concurrency in low-end embedded systems is predominantly based on interrupts. Low-end embedded systems are ubiquitous in safety-critical applications such as those supporting transportation and medical automation; their ...
John Regehr, Nathan Cooprider
openaire +2 more sources
Virtual Sensing and Sensors Selection for Efficient Temperature Monitoring in Indoor Environments
Sensors, 2021 Real-time estimation of temperatures in indoor environments is critical for several reasons, including the upkeep of comfort levels, the fulfillment of legal requirements, and energy efficiency. Unfortunately, setting an adequate number of sensors at the
Andrea Brunello +4 more
doaj +1 more source
Research on the construction of load management system for power supply guarantee target [PDF]
E3S Web of ConferencesIn the past two years, due to the frequent combination of extreme weather and high primary energy prices and other factors, resulting in the continuous tension of power supply and demand in many places, the risk of power rationing has gradually increased.
Guo Linlang, An Chao, Huang Yihao
doaj +1 more source
AE-YOLOv5 for Detection of Power Line Insulator Defects
IEEE Open Journal of the Computer SocietyThe power transmission network, which delivers power energy from generator to customers, plays an important role in the power grid. Insulator is a basic component in the power transmission network.
Wei Shen +6 more
doaj +1 more source
Sensors and Actuators Reports, 2022 Food and beverage (F&B) industries employ containers to package, store and transport ingredients/products. High-speed capping of containers is prone to defective sealing, which affects containment and subsequently causes leaks during transportation ...
Hari Krishna Salila Vijayalal Mohan +2 more
doaj +1 more source
, 2011 List of Web sites, movies, TV shows, books, and SBU courses that deal with truth and verification. 4 pages.Truth and Verification Lecture Trailheads -- lecture-8-truth-and-ver-trailheads.pdfThe work(s) contained within this record have been analyzed and ...
Rosenfeld, Adam
core +2 more sources
Zhongguo yiliao qixie zazhiOn March 19, 2021, the National Medical Products Administration(NMPA) issued the Regulations on the Supervision and Administration of Medical Devices (Order No.
Ting HE, Ru BAI, Neng XIE
doaj +1 more source
CoRR, 2016 We explore the use of liveness for interactive program verification for a simple concurrent object language. Our experimental IDE integrates two (formally dual) kinds of continuous testing into the development environment: compatibility-checking, which verifies an object's use of other objects, and compliance-checking, which verifies an object's claim ...
Perera, Roly, Gay, Simon J.
openaire +3 more sources
Zhongguo yiliao qixie zazhiThis study summarizes the clinical application, technical characteristics, and production process of intravascular shockwave catheters. It collects statistics on adverse events of related products from the MAUDE database, analyzes the causes of adverse ...
Meikui TONG, Yating LIU, Minliang ZHOU
doaj +1 more source