We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
In this paper, the stability of objects in graspless manipulation (or nonprehensile manipulation) is investigated. In contrast with the stability of grasps, it is crucial for the ...
We study integrated prefetching and caching in single and parallel disk systems. A recent approach used linear programming to solve the problem. We show that integrated prefetching...
Abstract - The general form of PBFs corresponding to one weight WM filters, which are a subclass of WM filters, is derived in this paper. Based on the results, it is straightforwar...
In this paper, we present a formal analysis of the constraints of the scheduling problem, and evaluate the structure of the scheduling polytope described by those constraints. Pol...