Zpět na hledáníCRC64 Algorithm Analysis and Verification (2005)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/05:00012922 |
|---|---|
| Název v anglickém jazyce | CRC64 Algorithm Analysis and Verification |
| Druh | A - Audiovizuální tvorba |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2005 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 10 |
| Počet tvůrců celkem | 6 |
| Počet domácích tvůrců | 4 |
| Výčet všech uvedených jednotlivých tvůrců | Tomáš Kratochvíla (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 4470893) Vojtěch Řehák (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 8986371) David Šafránek (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 8225400) Pavel Šimeček (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 4006852) Petr Hlávka (státní příslušnost: CZ - Česká republika) Tomáš Vojnar (státní příslušnost: CZ - Česká republika) |
| Popis výsledku v anglickém jazyce | 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. |
| Klíčová slova oddělená středníkem | CRC64; formal verification; correctness of CRC algorithm |
| Stránka www, na které se nachází výsledek | - |
| Odkaz na údaje z výzkumu | - |
Údaje o výsledku v závislosti na druhu výsledku
| ISBN | - |
|---|---|
| Místo vydání | Brno |
| Název nakladatele resp. objednatele | CESNET, z. s. p. o. |
| Verze | Technical Report 27/2005 |
| Identifikační číslo nosiče | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2008 |
| Specifikace | RIV/00216224:14330/05:00012922!RIV08-MSM-14330___ |
| Datum poslední aktualizace výsledku | 18.08.2008 |
| Kontrolní číslo | 10836049 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno GA ČR v roce 2006 | RIV/00216224:14330/05:00012922 v dodávce dat RIV06-GA0-14330___/02:3 |
|---|---|
| Dodáno AV ČR v roce 2006 | RIV/00216224:14330/05:00012922 v dodávce dat RIV06-AV0-14330___/01:1 |
| Dodáno GA ČR v roce 2008 | RIV/00216224:14330/05:00012922 v dodávce dat RIV08-GA0-14330___/01:1 |
| Dodáno AV ČR v roce 2008 | RIV/00216224:14330/05:00012922 v dodávce dat RIV08-AV0-14330___/01:1 |
| Dodáno GA ČR v roce 2010 | RIV/00216224:14330/05:00012922 v dodávce dat RIV10-GA0-14330___/01:1 |
| Dodáno AV ČR v roce 2010 | RIV/00216224:14330/05:00012922 v dodávce dat RIV10-AV0-14330___/01:1 |
Informace o dalších výskytech výsledku dodaného ostatními předkladateli
| Dodáno MŠMT v roce 2009 | RIV/63839172:_____/05:00000249 v dodávce dat RIV09-MSM-63839172/01:1 předkladatelem CESNET - zájmové sdružení právnických osob |
|---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Výzkumný záměr podporovaný MŠMT | MSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005 - 2011) |
|---|