373 search results - page 16 / 75 » On the Iterated Hairpin Completion |
92
Voted
ICALP
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. Milner proposed an axiomatization for the Kleene star in basic process algebra, in the presence of deadlock and empty process, modulo bisimulation equivalence. In this pa...
59
Voted
CORR
2008
Springer
14 years 12 months ago
2008
Springer
We investigate the behavior of a large number of selfish users that are able to switch dynamically between multiple wireless access-points (possibly belonging to different standard...
101
click to vote
JCT
2007
14 years 11 months ago
2007
We give a new upper bound for the rectilinear crossing number cr(n) of the complete geometric graph Kn. We prove that cr(n) ≤ 0.380559 ¡n 4 ¢ + Θ(n3 ) by means of a new const...
80
Voted
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
— A novel scheduling for turbo equalization with turbo decoding is proposed. The use of turbo codes associated to turbo equalizers has been frequently investigated in the literat...
112
click to vote
PC
2006
14 years 11 months ago
2006
Tiling is a well known loop transformation used to reduce communication overhead in distributed memory machines. Although a lot of theoretical research has been done concerning th...