40338116
Solving Boolean Equations Using ROSOP Forms
Boolean equations are important tools in digital logic. Previous algorithms for solving Boolean equations are based on the Boolean algebra of disjoint SOP forms. In this paper, we develop a new Boolean algebra with more efficient Boolean operation algorithms, called the reduced ordered SOP (ROSOP) forms, which are canonical representations. ROSOPs are closely related to the well-known OBDD data structure. The results here also show the algebraic structure of OBDDs.
44707452
Diagnosis of clustered faults for identical degree topologies
Huang et al, [1998] studied the diagnosis of clustered faults and wafer testing. They proposed a diagnosis algorithm for a probabilistic fault model in simple rectangular grid structures. In this paper, we extend their results and study the diagnosis algorithm for arbitrary identical degree topologies. Our results are useful and valid for a large class of topologies. We investigate the local and global performance of the algorithm under several important fault distributions: Bernoulli failure distribution, Gamma failure distribution, and exponential failure distribution. We demonstrate that the diagnosis scheme can identify almost all nodes successfully even if the percentage of fault-free units is low (much lower than 50%) while almost all units are guaranteed to be correctly identified. In addition, we show that the performance of the algorithm is insensitive to the changes of the percentage.
16922921
Wire space estimation and routability analysis
This paper presents a new stochastic model for two-dimensional layouts of large size. Two problems are addressed. (1) Under the condition that the number of wires emanating from a block is Poisson distributed, determine the distribution of channel width, thus estimating the average channel width. (2) Given T tracks for each channel, determine the success probability of routing an M/spl times/M cell array chip. For both problems, closed formulas are obtained. The experiment demonstrates the effectiveness of our approach. The results can be applied to gate array, field-programmable gate array design, etc.
18778381
Block truncation coding with adaptive decimation and interpolation
A modification of block truncation coding (BTC) is proposed in this paper. The modification is with a novel adaptive decimation and interpolation method, and predictive entropy coding of the quantization data. The decimation algorithm is designed based on the directional gradients of image blocks so as (1) to preserve the edge information, (2) to enable the interpolator utilize the already reconstructed data in decoder and (3) to better predict the mean value of a block. The quantization data is not directly coded by the two reconstruction levels, but by the block mean and the difference between the block mean and the lower reconstruction level, to further reduce the bit-rate. Compared to other interpolative methods, the new decimation and interpolation method substantially improves the image quality and removes the annoying blocky artifact at the same time. The proposed scheme, which has low computational complexity, is shown to have comparable or better performance to/than BTC methods combined with vector quantization/discrete cosine transform and the most recently BTC modification that utilize the inter-block correlation.
1349303
SubVirt: implementing malware with virtual machines
Attackers and defenders of computer systems both strive to gain complete control over the system. To maximize their control, both attackers and defenders have migrated to low-level, operating system code. In this paper, we assume the perspective of the attacker, who is trying to run malicious software and avoid detection. By assuming this perspective, we hope to help defenders understand and defend against the threat posed by a new class of rootkits. We evaluate a new type of malicious software that gains qualitatively more control over a system. This new type of malware, which we call a virtual-machine based rootkit (VMBR), installs a virtual-machine monitor underneath an existing operating system and hoists the original operating system into a virtual machine. Virtual-machine based rootkits are hard to detect and remove because their state cannot be accessed by software running in the target system. Further, VMBRs support general-purpose malicious services by allowing such services to run in a separate operating system that is protected from the target system. We evaluate this new threat by implementing two proof-of-concept VMBRs. We use our proof-of-concept VMBRs to subvert Windows XP and Linux target systems, and we implement four example malicious services using the VMBR platform. Last, we use what we learn from our proof-of-concept VMBRs to explore ways to defend against this new threat. We discuss possible ways to detect and prevent VMBRs, and we implement a defense strategy suitable for protecting systems against this threat
7119224
A new scheme on link quality prediction and its applications to metric-based routing
Efficient routing in wireless sensor networks entails the establishment of high quality links. Recent research has shown that metric-based routing, such as ETX [6]can significantly improve routing performance by tracking various link-quality metrics. Such metrics, however, may fail to capture link quality at relatively high traffic rates. This poster describes how machine learning techniques can be leveraged to help estimate link quality in those adverse scenarios. We also present MetricMap, a metric-based protocol using our learning-enabled link quality assessment method. Experimental results on MoteLab show that MetricMap can achieve up to 400% improvement on data delivery rate in a high traffic rate application, with no negative impact on other performance metrics, such as data latency.
509991
Brain Surface Conformal Parameterization with Algebraic Functions
In medical imaging, parameterized 3D surface models are of great interest for anatomical modeling and visualization, statistical comparisons of anatomy, and surface-based registration and signal processing. Here we introduce a parameterization method based on algebraic functions. By solving the Yamabe equation with the Ricci flow method, we can conformally map a brain surface to a multi-hole disk. The resulting parameterizations do not have any singularities and are intrinsic and stable. To illustrate the technique, we computed parameterizations of several types of anatomical surfaces in MRI scans of the brain, including the hippocampi and the cerebral cortices with various landmark curves labeled. For the cerebral cortical surfaces, we show the parameterization results are consistent with selected landmark curves and can be matched to each other using constrained harmonic maps. Unlike previous planar conformal parameterization methods, our algorithm does not introduce any singularity points. It also offers a method to explicitly match landmark curves between anatomical surfaces such as the cortex, and to compute conformal invariants for statistical comparisons of anatomy.
1558516
Strider: a black-box, state-based approach to change and configuration management and support
Abstract We describe a new approach, called Strider, to Change and Configuration Management and Support (CCMS). Strider is a black-box approach: without relying on specifications, it uses state differencing to identify potential causes of differing program behaviors, uses state tracing to identify actual, run-time state dependencies, and uses statistical behavior modeling for noise filtering. Strider is a state-based approach: instead of linking vague, high level descriptions and symptoms to relevant actions, it models management and support problems in terms of individual, named pieces of low level configuration state and provides precise mappings to user-friendly information through a computer genomics database. We use troubleshooting of configuration failures to demonstrate that the Strider approach reduces problem complexity by several orders of magnitude, making root-cause analysis possible.