Sciweavers

3941 search results - page 186 / 789
» Computational Efficiency of Batching Methods
Sort
View
ICCAD
1999
IEEE
74views Hardware» more  ICCAD 1999»
15 years 8 months ago
Lazy group sifting for efficient symbolic state traversal of FSMs
This paper proposes lazy group sifting for dynamic variable reordering during state traversal. The proposed method relaxes the idea of pairwise grouping of present state variables...
Hiroyuki Higuchi, Fabio Somenzi
ICPP
1999
IEEE
15 years 8 months ago
Efficient Techniques for Distributed Implementation of Search-Based AI Systems
We study the problem of exploiting parallelism from search-based AI systems on distributed machines. We propose stack-splitting, a technique for implementing orparallelism, which ...
Gopal Gupta, Enrico Pontelli
DAC
1996
ACM
15 years 8 months ago
Efficient Approximation Algorithms for Floorplan Area Minimization
Approximation has been shown to be an eective method for reducing the time and space costs of solving various oorplan area minimization problems. In this paper, we present several...
Danny Z. Chen, Xiaobo Hu
112
Voted
CORR
2010
Springer
123views Education» more  CORR 2010»
15 years 4 months ago
Mutual Information of IID Complex Gaussian Signals on Block Rayleigh-faded Channels
We present a method to compute, quickly and efficiently, the mutual information achieved by an IID (independent identically distributed) complex Gaussian input on a block Rayleigh-...
Fredrik Rusek, Angel Lozano, Nihar Jindal
NIPS
2004
15 years 5 months ago
Hierarchical Eigensolver for Transition Matrices in Spectral Methods
We show how to build hierarchical, reduced-rank representation for large stochastic matrices and use this representation to design an efficient algorithm for computing the largest...
Chakra Chennubhotla, Allan D. Jepson