6437 search results - page 330 / 1288 » Parallel Algorithms for Arrangements |
149
click to vote
EJWCN
2010
14 years 10 months ago
2010
A tactical radio network is a radio network in which a transmitter broadcasts the same information to its receivers. In this paper, dynamic spectrum management is studied for multi...
118
click to vote
ASAP
2007
IEEE
15 years 10 months ago
2007
IEEE
Profile based Hidden Markov Model is a widely used tool in bioinformatics. While being very valuable to biologists, it is extremely compute intensive and suffers from prohibitive...
104
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
132
click to vote
ICPP
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper presents Salsa, a novel, decentralized and asynchronous realization of the “replica exchange” algorithm for simulating the structure, function, folding, and dyna...
117
click to vote
SYNASC
2005
IEEE
15 years 9 months ago
2005
IEEE
— A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural op...