4155 search results - page 659 / 831 » External Memory Algorithms |
107
click to vote
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
110
Voted
CSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Interaction with mobile devices that are intended for everyday use is challenging since such systems are continuously optimized towards small outlines. Watches are a particularl...
124
Voted
ICC
2009
IEEE
15 years 7 months ago
2009
IEEE
— In this paper, we propose a novel low complexity soft-in soft-out (SISO) equalizer using the Markov chain Monte Carlo (MCMC) technique. Direct application of MCMC to SISO equal...
103
click to vote
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper we describe the parallelization of a dynamic programming algorithm used to ï¬nd common RNA secondary structures including pseudoknots and similar structures. The se...
ESA
2009
Springer
15 years 7 months ago
2009
Springer
Finding sparse cuts is an important tool for analyzing large graphs that arise in practice, such as the web graph, online social communities, and VLSI circuits. When dealing with s...