About: Abstract Model Verification of the Lookup Processor     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • This paper describes the abstract model verification of the Lookup processor and its neighborhood. Lookup processor is the one component of the COMBO-2XFP card which is developed by the Scampi project (the part of a network adapter for getting statistic of transfered IP packets). The main part of this paper takes a description of system model creation and description of chosen abstractions with their reasons and limitations. The models are created with respect to the performance checking. There are alsoo results from verification of the entire abstract model.
  • This paper describes the abstract model verification of the Lookup processor and its neighborhood. Lookup processor is the one component of the COMBO-2XFP card which is developed by the Scampi project (the part of a network adapter for getting statistic of transfered IP packets). The main part of this paper takes a description of system model creation and description of chosen abstractions with their reasons and limitations. The models are created with respect to the performance checking. There are alsoo results from verification of the entire abstract model. (en)
  • This paper describes the abstract model verification of the Lookup processor and its neighborhood. Lookup processor is the one component of the COMBO-2XFP card which is developed by the Scampi project (the part of a network adapter for getting statistic of transfered IP packets). The main part of this paper takes a description of system model creation and description of chosen abstractions with their reasons and limitations. The models are created with respect to the performance checking. There are alsoo results from verification of the entire abstract model. (cs)
Title
  • Abstract Model Verification of the Lookup Processor
  • Abstract Model Verification of the Lookup Processor (en)
  • Abstract Model Verification of the Lookup Processor (cs)
skos:prefLabel
  • Abstract Model Verification of the Lookup Processor
  • Abstract Model Verification of the Lookup Processor (en)
  • Abstract Model Verification of the Lookup Processor (cs)
skos:notation
  • RIV/00216305:26230/05:PU55743!RIV06-GA0-26230___
http://linked.open.../vavai/riv/strany
  • 138-145
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA102/04/0780)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 511214
http://linked.open...ai/riv/idVysledku
  • RIV/00216305:26230/05:PU55743
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • scampi, abstract model verification, formal verification, abstractions, lookup processor (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [9B2727924A7C]
http://linked.open...v/mistoKonaniAkce
  • Hradec nad Moravicí
http://linked.open...i/riv/mistoVydani
  • Ostrava
http://linked.open...i/riv/nazevZdroje
  • Proceedings of MOSIS'05
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Smrčka, Aleš
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
number of pages
http://purl.org/ne...btex#hasPublisher
  • Neuveden
https://schema.org/isbn
  • 80-86840-10-7
http://localhost/t...ganizacniJednotka
  • 26230
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 36 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software