In this paper, we show how standard GIS operations like the complement, union, intersection, and buffering of maps can be made more flexible by using fuzzy set theory. In particular, we present a variety of algorithms for operations on fuzzy maps, focusing on buffer operations for fuzzy maps. Introduction Although geographic information systems have been used for quite a while (Coppock & Rhind ...

Optical Burst Switching (OBS) network proposed as future optical internet is capable of carrying bursty traffic and adapting to the present technological constraints. Since the OBS network is buffer-less in nature, contention resolution using deflection technique received much attention. Deflection routing can work with limited optical buffering or even no buffering. This paper gives an overvie...

We present the PaRV tool for runtime detection of and recovery from data races in multi-threaded C and C++ programs. PaRV uses transactional memory technology for parallelizing runtime verification and for buffering write accesses during race checking. Application threads are slowed down only due to instrumentation, but not due to the computation performed by runtime verification algorithms sin...

The increasing complexity of present SoCs demands new, scalable, reusable, parallel interconnection models for their cores. This paper presents a comparison study made in an on chip reconfigurable multiprocessor, the X4CP32, on its interconnection. Three models were proposed, a bus system, a SoC using FIFO buffering, and a SoC using SAFC buffering. All the models were described in SystemC and s...