Software model checking based on abstraction-refinement has recently achieved widespread success in verifying API conformance in device drivers, and we believe this success can be replicated for the problem of buffer overflow detection. This paper presents a publicly-available benchmark suite to help guide and evaluate this research. The benchmark consists of 298 code fragments of varying compl...

Phase change memory (PCM) as a newly developed storage medium has many attractive properties such as non-volatility, byte addressability, high density and low energy consumption. Thus, PCM can be used to build non-volatile main memory databases. However, PCM’s long write latency and high write energy bring challenges to PCM-based memory systems. In this paper, we propose an improvement over the...

Resilient Packet Ring (RPR) is a dual-ring network, also known as the IEEE 802.17 Standard. As with other IEEE 802 networks, multiple RPR networks can be bridged together to form a bridged network when necessary. However, further research is necessary on additional issues that arise from bridging RPR networks. In this paper, we place emphasize on two of these issues; that is, fairness for inter...

In this paper, we analyze a scheduling algorithm which is suitable for the heterogeneous traffic network. In the large deviation setting, we are interested to see, how the asymptotic decay rate of maximum queue overflow probability achieved by this algorithm.We first derive an upper bound on the decay rate of the queue overflow probability as the queue overflow threshold approaches infinity. Th...

A novel FLC (Fuzzy Logic Controller) for eliminating buffer overflow at the user level is proposed. It tunes the buffer size in a dynamic manner to ensure that the buffer length always covers the queue length by the given safety margin ∆ . The FLC operation is based on the objective function: 2 } , 0 { ∆ . Our timing analysis shows that the FLC requires very short execution time for its control...

Variable-length records are very frequent in database environments. This work gives a set of algorithms for maintaining a new model of static hashed files designed to accommodate variable-length records. Two special techniques for variable-length records are used. First, records are ordered by length and not by key value, e.g., the shortest (longest) records are stored in the main (overflow) bl...

Stimulus-evoked dopamine overflow in rat neostriatal slices was determined using fast cyclic voltammetry. The dopamine efflux induced by intrastriatal stimulation increased with stimulus intensity and was found to be enhanced by more than 100% upon application of the dopamine uptake inhibitor nomifensine. The acetylcholine esterase inhibitor eserine concentration-dependently and reversibly depr...