Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of nondeterministic...
In this paper we examine possible ways that feedback can be used, in the context of systems with network coding capabilities. We illustrate, through a number of simple examples, th...
Christina Fragouli, Desmond S. Lun, Muriel M&eacut...
This paper motivates the need for more research to ensure a consistent level of reliability in software systems. We briefly outline the relevant developments that drive this need...
—The choices made by user in processing a set of documents is related, in a broad sense, to the sum of influences coming from the documents in the user situation, which does not...
— In this work, we consider access network design for the Optical Flow Switching (OFS) transport architecture [1]–[3]. Our work addresses the all-optical physical layer of the ...
Guy Weichenberg, Vincent W. S. Chan, Muriel M&eacu...