Attributes | Values |
---|
rdf:type
| |
Description
| - Popis užití přístupu generického programování pro návrh a implementaci základní kolekce algoritmů model-checking na základě rámce .NET. (cs)
-
In this paper, we describe the use of generic programming approach to design and implementation of a collection of basic model-checking algorithms on the .NET framework. The mentioned methodology separates algorithms and data structures similarly to Standard Template Library that allows delivering general and efficient algorithms. As the implementation environment does not enable us to exploit the advantages of static polymorphism provided by the C++ template parameterization we needed to adjust the approach for the use with the generics feature, which is the novel mechanism introduced with the second version of the .NET framework. -
In this paper, we describe the use of generic programming approach to design and implementation of a collection of basic model-checking algorithms on the .NET framework. The mentioned methodology separates algorithms and data structures similarly to Standard Template Library that allows delivering general and efficient algorithms. As the implementation environment does not enable us to exploit the advantages of static polymorphism provided by the C++ template parameterization we needed to adjust the approach for the use with the generics feature, which is the novel mechanism introduced with the second version of the .NET framework. (en) |
Title
| - Designing Algorithm-oriented Generic Library on .NET Framework
- Návrh algoritmicky orientované generické knihovny na základě rámce .NET (cs)
- Designing Algorithm-oriented Generic Library on .NET Framework (en)
|
skos:prefLabel
| - Designing Algorithm-oriented Generic Library on .NET Framework
- Návrh algoritmicky orientované generické knihovny na základě rámce .NET (cs)
- Designing Algorithm-oriented Generic Library on .NET Framework (en)
|
skos:notation
| - RIV/00216305:26230/06:PU66864!RIV07-MSM-26230___
|
http://linked.open.../vavai/riv/strany
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(GA102/05/0467), P(GA102/05/0723), Z(MSM0021630503)
|
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
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216305:26230/06:PU66864
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Generic programming, model-checking algorithm, .NET framework, generics feature (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - Proceedings of the 13th IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems ECBS 2006
|
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
| - Švéda, Miroslav
- Ryšavý, Ondřej
- Ščuglík, František
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |