Sciweavers

1220 search results - page 155 / 244
» Restricting grammatical complexity
Sort
View
CSFW
2007
IEEE
14 years 2 months ago
Compositional Security for Task-PIOAs
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...
ETS
2007
IEEE
94views Hardware» more  ETS 2007»
14 years 2 months ago
An Integrated Built-In Test and Repair Approach for Memories with 2D Redundancy
An efficient on-chip infrastructure for memory test and repair is crucial to enhance yield and availability of SoCs. Therefore embedded memories are commonly equipped with spare r...
Philipp Öhler, Sybille Hellebrand, Hans-Joach...
FOCS
2007
IEEE
14 years 2 months ago
Can you beat treewidth?
: It is well-known that constraint satisfaction problems (CSP) over an unbounded domain can be solved in time nO(k) if the treewidth of the primal graph of the instance is at most ...
Dániel Marx
ICC
2007
IEEE
14 years 2 months ago
Packet-Symbol Decoding for Reliable Multipath Reception with No Sequence Numbers
This paper presents a new decoding method inspired by Mitzenmacher’s idea of adding a different pseudo-random number to each packet, in a packet-symbol (n, k) code, for verificat...
John J. Metzner
ICC
2007
IEEE
14 years 2 months ago
Maximal Ratio Combining in Cellular MIMO-CDMA Downlink Systems
——In this paper, we first analyze the performance of Maximal Ratio Combining (MRC) scheme for Multiple input multiple output (MIMO) in an interference-limited CDMA cellular sy...
Jing Ma, Yingjun Zhang, Xin Su, Yan Yao