1170 search results - page 5 / 234 » How Fast Is Too Fast |
HVC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
DSN
2005
IEEE
14 years 3 months ago
2005
IEEE
ELPUB
1998
ACM
14 years 2 months ago
1998
ACM
In 1997 the library department at the University of Karlskrona/Ronneby was asked to develop a database which could be used to collate and present all the research material and ong...
DAGSTUHL
2007
13 years 11 months ago
2007
In this paper we give a specification of a new block cipher that can be called the Courtois Toy Cipher (CTC). It is quite simple, and yet very much like any other known block ciph...
ALGORITHMICA
2005
13 years 9 months ago
2005
We present polynomial upper and lower bounds on the number of iterations performed by the k-means method (a.k.a. Lloyd's method) for k-means clustering. Our upper bounds are ...