Sciweavers

110 search results - page 6 / 22
» Interleaved Depth-First Search
Sort
View
ICC
2009
IEEE
167views Communications» more  ICC 2009»
14 years 3 months ago
Diversity Analysis of Bit-Interleaved Coded Multiple Beamforming
—In this paper, diversity analysis of bit-interleaved coded multiple beamforming (BICMB) is extended to the case of general spatial interleavers, removing a condition on their pr...
Hong Ju Park, Ender Ayanoglu
ER
2004
Springer
219views Database» more  ER 2004»
14 years 1 months ago
An Agent-Based Approach for Interleaved Composition and Execution of Web Services
The emerging paradigm of web services promises to bring to distributed computing the same flexibility that the web has brought to the publication and search of information contain...
Xiaocong Fan, Karthikeyan Umapathy, John Yen, Sand...
FMSD
2007
110views more  FMSD 2007»
13 years 8 months ago
Exploiting interleaving semantics in symbolic state-space generation
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
Gianfranco Ciardo, Gerald Lüttgen, Andrew S. ...
ISAAC
2003
Springer
144views Algorithms» more  ISAAC 2003»
14 years 1 months ago
Biconnectivity on Symbolically Represented Graphs: A Linear Solution
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...
Raffaella Gentilini, Alberto Policriti