1690 search results - page 161 / 338 » Algorithmic Properties of Millstream Systems |
155
click to vote
DEDS
2008
15 years 4 months ago
2008
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...
102
click to vote
COR
2006
15 years 4 months ago
2006
We present an algorithm to compute the (pre)-kernel of a TU-game N, v with a system of n 2 1 linear programming problems. In contrast to the algorithms using convergence methods t...
123
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...
123
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
131
Voted
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—In many networking applications such as file sharing, structured peer-to-peer networks are increasingly used in dynamic situations with fluctuating load, which require...