The important distinction between parameterized specifications and specifications of parameterized programs has been originally pointed out in [12]. An important difference concerns the objects which the two kinds of parameterization allow one to reuse. A parameterized specification, “PSP”, e.g., of stacks parameterized by elements, Stack(El), allows one, under some conditions, to instantiate t...

The stack is a critical memory structure to ensure the correct execution of programs because control flow changes through the data stored in it, such as return addresses and function pointers. Thus the stack has been a popular target by many attacks and exploits like stack smashing attacks and return-oriented programming (ROP). We present a novel system to detect the corruption of the stack lay...

Towards a Storage Stack for the Data Center Ioan Alexandru Stefanovici Doctor of Philosophy Graduate Department of Computer Science University of Toronto 2016 The storage stack in a data center consists of all the hardware and software layers involved in processing and persisting data to durable storage. The shift of the world’s computation to data centers is placing significant strain on the s...

The Intel® ItaniumTM architecture provides a virtual register stack of unlimited size for use by software. New virtual registers are allocated on a procedure call and deallocated on return. Itanium processors implement the register stack by means of a large physical register file, a mapping from virtual to physical registers, and a Register Stack Engine (RSE) that saves and restores the content...

FIFTH, a new stack-based genetic programming language, efficiently expresses solutions to a large class of feature recognition problems. This problem class includes mining time-series data, classification of multivariate data, image segmentation, and digital signal processing (DSP). FIFTH is based on FORTH principles. Key features of FIFTH are a single data stack for all data types and support ...

As an essential part of the W3C’s semantic web stack and linked data initiative, RDF data management systems (also known as triplestores) have drawn a lot of research attention. The majority of these systems use value-based indexes (e.g., B-trees) for physical storage, and ignore many of the structural aspects present in RDF graphs. Structural indexes, on the other hand, have been successfully ...

Stack filters are a special case of non-linear filters. They have a good performance for filtering images with different types of noise while preserving edges and details. A stack filter decomposes an input image into several binary images according to a set of thresholds. Each binary image is filtered by a Boolean function. The Boolean function that characterizes an adaptive stack filter is op...