Sciweavers

646 search results - page 65 / 130
» Hybrid decision diagrams
Sort
View
GLOBECOM
2008
IEEE
13 years 10 months ago
Towards the Performance of ML and the Complexity of MMSE - A Hybrid Approach
—In this paper, we present a near ML-achieving sphere search technique that reduces the number of search operations significantly over existing sphere decoding (SD) algorithms. ...
Byonghyo Shim, Jun Won Choi, Insung Kang
JUCS
2006
117views more  JUCS 2006»
13 years 8 months ago
Information and Hybrid Architecture Model of the OCP Contextual Information Management System
: This paper describes OCP (Open Context Platform), a middleware which provides support for management of contextual information and merging of information from different sources. ...
Ignacio Nieto-Carvajal, Juan A. Botía Blaya...
DAC
2009
ACM
14 years 10 months ago
BDD-based synthesis of reversible logic for large functions
Reversible logic is the basis for several emerging technologies such as quantum computing, optical computing, or DNA computing and has further applications in domains like low-pow...
Robert Wille, Rolf Drechsler
DAC
2003
ACM
14 years 10 months ago
Symbolic representation with ordered function templates
Binary Decision Diagrams (BDDs) often fail to exploit sharing between Boolean functions that differ only in their support variables. In a memory circuit, for example, the function...
Amit Goel, Gagan Hasteer, Randal E. Bryant
DAC
2005
ACM
14 years 10 months ago
Towards scalable flow and context sensitive pointer analysis
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
Jianwen Zhu