— Diminishing voltage margins, coupled with power and temperature constraints, call for microarchitecture-level runtime mechanisms for voltage control. This paper describes a loc...
This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the gi...
In this paper, a new mapping model, called n-INode, is presented and it is used to support dynamic updating of XML data flexibly. One key feature of n-INode is the use of multi-di...
Distributed systems generally require their component parts to interact cooperatively, in order for the system as a whole to function effectively. For any given activity, several ...
Many current multimedia database management systems perform content-based retrieval of images by extracting the values of various features from every object stored in their system...