Arc (programming language)

ion rule Fusion of equivalent nets rule Elimination of self-loop transition rule Fig. 8. Reset Reduction rules (Please note that… (More)

We consider the problem of cache management in a demand paging scenario with uniform page sizes. We propose a new cache… (More)

The weighted CSP (WCSP) framework is a soft constraint framework with a wide range of applications. In this paper, we consider… (More)

The notion of arc consistency plays a central role in constraint satisfaction. It is known since [19, 4, 5] that the notion of… (More)

If the Constraint Satisfaction framework has been extended to deal with Constraint Optimization problems, it appears that… (More)

Systems engineers have recently shown interest in algorithms for drawing directed graphs so that they are easy to understand and… (More)

We propose a new method for ordering the candidate nodes in label correcting methods for shortest path problems. The method is… (More)

This paper presents a general model for temporal reasoning that is capable of handling both qualitative and quantitative… (More)

Many applications of digital image processing now deal with threedimensional images (the third dimension can be time or a spatial… (More)

This paper presents new algori thms for the maximum flow problem, the Hitchcock t r anspo r t a t i on problem, and the general… (More)