5084 search results - page 432 / 1017 » Proving Possibility Properties |
200
click to vote
PDP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
158
click to vote
DSD
2007
IEEE
16 years 1 months ago
2007
IEEE
Similar to sequential test pattern generation, the problem of identifying untestable faults in sequential circuits remains unsolved. Most of the previous works in untestability id...
153
click to vote
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we discuss the problem of network fairness. Traditional network fairness focuses on treating uneven resource (such as bandwidth) allocation in TCP congestion control...
188
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
Symmetric phase-only filter (SPOF) has been widely applied to image registration and recognition, and has been proved efficient for fingerprint verification. Fingerprint images ha...
177
click to vote
ACISP
2007
Springer
16 years 1 months ago
2007
Springer
This paper improves the Finiasz-Vaudenay construction of TCHo, a hardware-oriented public-key cryptosystem, whose security relies on the hardness of finding a low-weight multiple ...