17541 search results - page 173 / 3509 » Complexity in scalable computing |
122
Voted
ECCC
2007
15 years 3 months ago
2007
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixed-parameter tractable. We consider proofs that witness that a given pro...
130
click to vote
IEEEARES
2008
IEEE
15 years 10 months ago
2008
IEEE
As more and more information becomes accessible via on-line databases, more public services can be provided and more complex queries involving several registers become feasible as...
150
click to vote
SIES
2008
IEEE
15 years 9 months ago
2008
IEEE
SystemC becomes popular as an efficient system-level modelling language and simulation platform. However, the solethread simulation kernel obstacles its performance progress from ...
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
— We describe a novel shape formation algorithm for ensembles of 2-dimensional lattice-arrayed modular robots, based on the manipulation of regularly shaped voids within the latt...
147
Voted
FC
1998
Springer
15 years 7 months ago
1998
Springer
In this paper we construct a practical group blind signature scheme. Our scheme combines the already existing notions of blind signatures and group signatures. It is an extension o...