We present S, the first system to provide transparent, lowoverhead application record-replay and the ability to go live from replayed execution. S i...
The central topic of this work is the categories of modules over unital quantales. The main categorical properties are established and a special class of operators, called Q-module...
In arbitrary dimension, we consider the semi-discrete elliptic operator -2 t + AM , where AM is a finite difference approximation of the operator - x((x) x). For this operator we d...
The growth and popularity of loosely-coupled distributed systems such as the World Wide Web and the touting of Java-based systems as the solution to the issues of software mainten...
The distortion operator transforms 2D images in a manner similar to image warping or morphing, allowing source pixels to be mapped to any destination pixel. This operator can be i...