Sciweavers

12697 search results - page 178 / 2540
» Call for Papers
Sort
View
DEDS
2008
127views more  DEDS 2008»
15 years 6 months ago
Diagnosability Analysis of a Class of Hierarchical State Machines
This paper addresses the problem of Fault Detection and Isolation for a particular class of discrete event dynamical systems called Hierarchical Finite State Machines (HFSMs). A ne...
Andrea Paoli, Stéphane Lafortune
JCSS
2008
107views more  JCSS 2008»
15 years 6 months ago
A unified theory of structural tractability for constraint satisfaction problems
In this paper we derive a generic form of structural decomposition for the constraint satisfaction problem, which we call a guarded decomposition. We show that many existing decom...
David A. Cohen, Peter Jeavons, Marc Gyssens
RTS
2006
121views more  RTS 2006»
15 years 6 months ago
Group-Based Pfair Scheduling
We consider the problem of supertasking in Pfair-scheduled multiprocessor systems. In this approach, a set of tasks, called component tasks, is assigned to a server task, called a...
Philip Holman, James H. Anderson
ANOR
2002
89views more  ANOR 2002»
15 years 6 months ago
Imperfect Inspection Games Over Time
We consider an inspection game played on a continuous finite time interval. The inspector wishes to detect a violation as soon as possible after it has been made by the operator. T...
Daniel Rothenstein, Shmuel Zamir
COMCOM
2004
99views more  COMCOM 2004»
15 years 6 months ago
Performance analysis of a mobile communication network: the tandem case
This paper investigates mobile communication networks consisting of N-cells in tandem. Two models with fixed channel assignment are considered, which correspond to (A) a uni-direc...
Attahiru Sule Alfa, Bin Liu