-
Chapter and Conference Paper
Model Checking Python Programs with MSVL
To verify the correctness of Python programs, a novel approach for model checking Python programs with MSVL (Modeling, Simulation and Verification Language) is advocated. To this end, the rules for decoding th...
-
Chapter and Conference Paper
Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP
Hardware architectures like x86 and ARM provide relaxed memory models for efficiency reasons. The revised ARMv8 architecture is multi-copy atomic (MCA), which brings relaxed-memory effects through thread-local...
-
Chapter and Conference Paper
Factors Affecting the Adoption of AI by Organizations - From the Perspective of Knowledge Workers
The role of artificial intelligence (AI) solutions is growing in all types of organizations. AI is embraced in the hope of increased productivity, quality and satisfaction at work. Therefore, it is essential t...
-
Chapter and Conference Paper
MVFI-Net: Motion-Aware Video Frame Interpolation Network
Video frame interpolation (VFI) is to synthesize the intermediate frame given successive frames. Most existing learning-based VFI methods generate each target pixel by using the war** operation with either o...
-
Chapter and Conference Paper
RPA Experiments in SMEs Through a Collaborative Network
Robotic Process Automation (RPA) technology has been widely applied in many types of organizations. It is embraced in the hope of increased productivity, quality, and employee satisfaction. Intelligent Automat...