A buffer overrun occurs in a C program when input is read into a buffer whose length exceeds that of the buffer. Overruns often lead to crashes and are a widespread form of security vulnerability. This paper describes an analysis for detecting overruns before deployment which is conservative in the sense that it locates every possible buffer overrun. The paper details the subtle relationship be...

Evidence for major histocompatibility complex (MHC) restriction of soluble helper effects was observed in the generation of syngeneic killer T cells to trinitrophenyl-altered self. Ia-bearing T cells obscure the observation of such interactions, thus, must be removed to detect MHC restriction of nonspecific soluble helper factor supernates (HFS). Genetic mapping studies demonstrated that the st...

Optical burst switching (OBS) is a promising candidate for a more dynamic optical layer in the context of IP over WDM. Although buffering is not mandatory for the functionality of OBS, even simple FDL buffers can improve burst loss probability. In this paper, we first discuss principal buffer architectures and reservation schemes for fiber delay line (FDL) buffers. Then, we investigate key desi...

In this paper we present a real-time voxelization algorithm which is implemented with newest programmable graphics hardware. The algorithm first converts geometric model into discrete voxel space. The resultant voxels are then encoded as 2D textures and stored in three intermediate sheet buffers called directional sheet buffers according the orientation of the boundary surface. These buffers ar...

Vegetative buffer strips are vegetated areas (usually strips) between fields and waterbodies that can mitigate the effects of agricultural activities by acting as a physical barrier to sediment and nutrients being carried to streams, and thereby have been widely used as a best management practice (BMP). Buffers can slow surface water flow and allow greater water infiltration, trapping the sedim...

A comprehensive study of ultra high-speed current-mode logic (CML) buffers and regenerative CML latches will be illustrated. A new design procedure to systematically design a chain of tapered CML buffers is proposed. Next, a new 20GHz regenerative latch circuit will be introduced. Experimental results show a higher performance for the new latch architecture compared to a conventional CML latch ...

Solution robust project scheduling is a growing research field aiming at constructing proactive schedules to cope with multiple disruptions during project execution. When stochastic activity durations are considered, including time buffers between activities is a proven method to improve the stability of a baseline schedule. This paper introduces multiple algorithms to include time buffers in a...