34,644 research outputs found
Survey of Distributed Decision
We survey the recent distributed computing literature on checking whether a
given distributed system configuration satisfies a given boolean predicate,
i.e., whether the configuration is legal or illegal w.r.t. that predicate. We
consider classical distributed computing environments, including mostly
synchronous fault-free network computing (LOCAL and CONGEST models), but also
asynchronous crash-prone shared-memory computing (WAIT-FREE model), and mobile
computing (FSYNC model)
Initial synchronisation of wideband and UWB direct sequence systems: single- and multiple-antenna aided solutions
This survey guides the reader through the open literature on the principle of initial synchronisation in single-antenna-assisted single- and multi-carrier Code Division Multiple Access (CDMA) as well as Direct Sequence-Ultra WideBand (DS-UWB) systems, with special emphasis on the DownLink (DL). There is a paucity of up-to-date surveys and review articles on initial synchronization solutions for MIMO-aided and cooperative systems - even though there is a plethora of papers on both MIMOs and on cooperative systems, which assume perfect synchronization. Hence this paper aims to ?ll the related gap in the literature
On the effects of firing memory in the dynamics of conjunctive networks
Boolean networks are one of the most studied discrete models in the context
of the study of gene expression. In order to define the dynamics associated to
a Boolean network, there are several \emph{update schemes} that range from
parallel or \emph{synchronous} to \emph{asynchronous.} However, studying each
possible dynamics defined by different update schemes might not be efficient.
In this context, considering some type of temporal delay in the dynamics of
Boolean networks emerges as an alternative approach. In this paper, we focus in
studying the effect of a particular type of delay called \emph{firing memory}
in the dynamics of Boolean networks. Particularly, we focus in symmetric
(non-directed) conjunctive networks and we show that there exist examples that
exhibit attractors of non-polynomial period. In addition, we study the
prediction problem consisting in determinate if some vertex will eventually
change its state, given an initial condition. We prove that this problem is
{\bf PSPACE}-complete
- âŠ