This HTML5 document contains 49 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n11http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F05%3A00012922%21RIV10-GA0-14330___/
dctermshttp://purl.org/dc/terms/
n12http://localhost/temp/predkladatel/
n9http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n8http://linked.opendata.cz/resource/domain/vavai/projekt/
n10http://linked.opendata.cz/ontology/domain/vavai/
n15http://linked.opendata.cz/resource/domain/vavai/zamer/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/kodPristupu/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n19http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F05%3A00012922%21RIV10-GA0-14330___
rdf:type
n10:Vysledek skos:Concept
rdfs:seeAlso
http://www.cesnet.cz/doc/techzpravy/2005/crc64/
dcterms:description
This work analyzes the use of a CRC64 algorithm as a hashing function in the Netflow project. We describe the basis of Cyclic Redundancy Check (CRC) algorithms and consider properties like collision probability, Hamming distance, and quality of distribution, which are crucial for hashing functions. Lower or upper bounds of these properties are described mathematically. However, to give more precise numbers to hardware designers, we also try to find them using model checking method. This work analyzes the use of a CRC64 algorithm as a hashing function in the Netflow project. We describe the basis of Cyclic Redundancy Check (CRC) algorithms and consider properties like collision probability, Hamming distance, and quality of distribution, which are crucial for hashing functions. Lower or upper bounds of these properties are described mathematically. However, to give more precise numbers to hardware designers, we also try to find them using model checking method.
dcterms:title
CRC64 Algorithm Analysis and Verification CRC64 Algorithm Analysis and Verification
skos:prefLabel
CRC64 Algorithm Analysis and Verification CRC64 Algorithm Analysis and Verification
skos:notation
RIV/00216224:14330/05:00012922!RIV10-GA0-14330___
n4:aktivita
n13:Z n13:P
n4:aktivity
P(1ET408050503), P(GA201/03/0509), P(GD102/05/H050), Z(MSM0021622419), Z(MSM6383917201)
n4:dodaniDat
n19:2010
n4:domaciTvurceVysledku
n9:4006852 n9:4470893 n9:8986371 n9:8225400
n4:druhVysledku
n6:A
n4:duvernostUdaju
n16:S
n4:entitaPredkladatele
n11:predkladatel
n4:idSjednocenehoVysledku
516523
n4:idVysledku
RIV/00216224:14330/05:00012922
n4:jazykVysledku
n5:eng
n4:klicovaSlova
CRC64; formal verification; correctness of CRC algorithm
n4:klicoveSlovo
n7:correctness%20of%20CRC%20algorithm n7:formal%20verification n7:CRC64
n4:kodPristupu
n18:V
n4:kontrolniKodProRIV
[F800CE20C00A]
n4:mistoVydani
Brno
n4:objednatelVyzkumneZpravy
CESNET, z. s. p. o.
n4:obor
n14:IN
n4:pocetDomacichTvurcuVysledku
4
n4:pocetTvurcuVysledku
6
n4:projekt
n8:GD102%2F05%2FH050 n8:GA201%2F03%2F0509 n8:1ET408050503
n4:rokUplatneniVysledku
n19:2005
n4:tvurceVysledku
Hlávka, Petr Šimeček, Pavel Šafránek, David Řehák, Vojtěch Kratochvíla, Tomáš Vojnar, Tomáš
n4:verzeVyzkumneZpravy
Technical Report 27/2005
n4:zamer
n15:MSM6383917201 n15:MSM0021622419
n12:organizacniJednotka
14330