Sciweavers

2880 search results - page 188 / 576
» context 2007
Sort
View
ACSD
2007
IEEE
103views Hardware» more  ACSD 2007»
15 years 11 months ago
Output-Determinacy and Asynchronous Circuit Synthesis
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...
Victor Khomenko, Mark Schäfer, Walter Vogler
101
Voted
CISS
2007
IEEE
15 years 11 months ago
On Feedback for Network Coding
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...
CSMR
2007
IEEE
15 years 11 months ago
Supporting Reliable Software Evolution through Program Analysis
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...
Cathal Boogerd
DEXAW
2007
IEEE
97views Database» more  DEXAW 2007»
15 years 11 months ago
Situated Multimodal Documents
—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...
Augusto Celentano, Fabio Pittarello
GLOBECOM
2007
IEEE
15 years 11 months ago
Access Network Design for Optical Flow Switching
— 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...