SIMULATING TROPICAL STORMS IN THE GULF OF MEXICO USING ANALYTICAL MODELS


Design and Prospect for Anti-theft and Anti-destruction of Nodes in Solar Insecticidal Lamps Internet of Things

Solar insecticidal lamps (SILs) are widely used in agriculture for the purpose of effectively controlling pests and reducing pesticide dosage.With the increasing deployment of SILs, there are more and more reports about theft and destruction of SILs, seriously affecting the pest control effect and leading to great economic losses.Unfortunately, man

read more

Sequentializing Parameterized Programs

We exhibit assertion-preserving (reachability preserving) transformations from parameterized concurrent shared-memory programs, under a k-round scheduling of processes, to sequential programs.The Metal Bowl salient feature of the sequential program is that it tracks the local variables of only one thread at any point, and uses only O(k) copies of s

read more