Browsing by Subject "Time complexity"
Now showing items 1-2 of 2
-
Conference Object
On the time complexity of information dissemination via linear iterative strategies
(2010)Given an arbitrary network of interconnected nodes, each with an initial value, we study the number of time-steps required for some (or all) of the nodes to gather all of the initial values via a linear iterative strategy. ...
-
Conference Object
Reduced-complexity verification for initial-state opacity in modular discrete event systems
(2010)In this paper, we propose and analyze reduced-complexity methodologies for verifying initial-state opacity in modular discrete event systems. Initial-state opacity requires that the membership of the system initial state ...