3630 search results - page 445 / 726 » How to Compare Treebanks |
176
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
In parallel processing systems, a fundamental consideration is the maximization of system performance through task mapping. A good allocation strategy may improve resource utilizat...
201
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
173
Voted
CRYPTO
1999
Springer
15 years 11 months ago
1999
Springer
We prove the equivalence of two definitions of non-malleable encryption appearing in the literature— the original one of Dolev, Dwork and Naor and the later one of Bellare, Desa...
192
Voted
DAWAK
1999
Springer
15 years 11 months ago
1999
Springer
One of the most challenging problems in data manipulation in the future is to be able to e ciently handle very large databases but also multiple induced properties or generalizatio...
156
click to vote
RTAS
1999
IEEE
15 years 11 months ago
1999
IEEE
Real-time media servers need to service hundreds and, possibly, thousands of clients, each with their own quality of service (QoS) requirements. To guarantee such diverse QoS requ...