In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to...
Frances M. T. Brazier, Joeri Engelfriet, Jan Treur
Image warping is desirable in the context of image-based rendering because it increases the set of viewpoints for which a single image can be used. This paper proposes a method for...
We study the tolerance of data structures to memory faults. We observe that many pointerbased data structures (e.g., linked lists, trees, etc.) are highly nonresilient to faults. ...
This report investigates the relationships between design patterns and programming languages. A comparison is carried out between the usual track of programming languages developme...
In this paper we have characterized the inter-arrival time and service time distributions for jobs at a large MPP supercomputing center. Our findings show that the distributions ...