Learn More
As the complexity of processors grows, the bottleneck of verification remains in generating suitable test programs that meet coverage metrics automatically. Coverage directed test generation is a technique to automate the feedback from coverage analysis to test generation. It is very important to solve the constraint satisfaction problem for a flexible(More)
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new natural partial order: time order. In multiprocessor systems with store atomicity, a time order restriction exists between two operations whose pending periods are disjoint: the(More)
Approximate inference for Bayesian models is dominated by two approaches, variational Bayesian inference and Markov Chain Monte Carlo. Both approaches have their own advantages and disadvantages, and they can complement each other. Recently researchers have proposed collapsed variational Bayesian inference to combine the advantages of both. Such inference(More)
School of Automation, Wuhan University of Technology, Luoshi Road 122#, Hongshan District, Wuhan, Hubei 430070, China b Central Southern China Power Design Institute, Minzhu Road 668#, Wuhan, Hubei , 430071, China c Operation and maintenance department, State Grid Hubei Electric Power Company,Xudong Street 175#, Wuchang District, Wuhan, Hubei 430077, China(More)
Figure 1: Example of our shape segmentation results on one mixed shape dataset. The shapes on the left are part of training set, and some segmentation results are shown on the right. Abstract We propose a novel fully convolutional networks architecture for shapes, denoted as Shape Fully Convolutional Networks (SFCN). Similar to convolution and pooling(More)
A fault-tolerance model based on supervisor-worker mechanism is proposed for the aim of fault tolerance in distributed hydropower plant simulation systems. This model provides adaptive fault-tolerance for simulation calculation through turning the simulation model into a Well-Behaved Process and building an appropriate supervision hierarchy. And this(More)
This article studied on the rotation motion of trimaran unmanned surface vessel. The experiment has been based on the trimaran unmanned surface vessel model. We selected the Genetic algorithm as the optimization method first, then identified the test data of trimaran unmanned surface vessel rotation motion by the program assisted with ISIGHT-FD software.(More)