Learn 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)
BACKGROUND/AIMS To investigaterole of serotonin (5-HT) and serotonin transporter (5-HTT) in a rat model of cigarette smoke-induced pulmonary artery hypertension (PAH) and the effect of statins on regulating 5HT and 5-HTT. METHODS A rat model of COPD comorbid with PAH was established by cigarette smoke exposure with or without simvastatin administration.(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)
Godson-3B1500 is an 8-core microprocessor product of Loongson Technology. It is fabricated in 32nm 10 Cu-layer high-κ metal-gate (HKMG) low-power bulk CMOS, and contains 1.14 billion transistors within 182.5mm die area. Through numerous design improvements, Godson-3B1500 is able to support a wide voltage range from 1.0V to 1.3V, at frequencies ranging from(More)
This paper presents a collapsed variational Bayesian inference algorithm for PCFGs that has the advantages of two dominant Bayesian training algorithms for PCFGs, namely variational Bayesian inference and Markov chain Monte Carlo. In three kinds of experiments, we illustrate that our algorithm achieves close performance to the Hastings sampling algorithm(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)
Piecewise uniform sampling local backprojection (PUS-LBP) algorithm is presented for short-constant-aperture SAR image formation. In the PUS-LBP algorithm subaperture images are formed based on the Cartesian coordinates, which dramatically improves the computation efficiency comparing with the original LBP. Furthermore, the piecewise uniform sampling(More)
Using the single-sided reflection response of an unknown layered medium, one-dimensional single-sided acoustic focusing is a process that constructs a normally incident plane waveform such that the sound field collapses to a point inside this medium at a specified time. A recursive method for finding the incident waveform of the discrete single-sided(More)