Yongwei Wu

Learn More
ELIMINO is a new computer-mathematics research system developed to support Wu's method for computing characteristic sets of polynomials and other related operations. By implementing OMEI as its application programming interface, ELIMINO could make itself IAMC compliant, gain access to the graphical user interface Dragonfly locally and remotely, and provide(More)
Concurrency bugs are becoming widespread with the emerging ubiquity of multicore processors and multithreaded software. They manifest during production runs and lead to severe losses. Many effective concurrency-bug detection tools have been built. However, the dependability of multi-threaded software does not improve until these bugs are handled statically(More)
SmartScan is a metadata crawl tool that exploits patterns in metadata changes to significantly improve the efficiency of support for file-system-wide metadata querying, which is an important tool for administrators. In most environments, support for metadata queries is provided by databases populated and refreshed by calling stat() on every file in the file(More)
OBJECTIVE To investigate the effect of fetal spinal cord (FSC) graft with different methods on axonal pathology and neurological function recovery after spinal cord injury (SCI). METHODS Forty Wistar rats were divided into 4 groups. In Group A, the spinal cord was injured and hemisected. In Group B, fetal spinal cord (FSC) was transferred into the injured(More)
  • 1