Wszystkie pola: verification algorithms

Skocz do pozycji: 1.

Tytuł:: Algorithmic Logic + SpecVer = The Methodology for High Integrity Programming - Invited Paper
Autorzy:: Mirkowska, G.
Salwicki, A.
Świda, O.
Data publikacji:: 2008
Słowa kluczowe:: verification of algorithms
specification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: An algorithmic form of verification of appointed phases of the project documentation for a building investment
Autorzy:: Kochanek, A.
Data publikacji:: 2015
Słowa kluczowe:: database
project documentation
building project
Zoning Scheme
verification algorithms
baza wiedzy
dokumentacja projektowa
projekt budowlany
plan zagospodarowania przestrzennego
algorytmy weryfikacji; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Symulacyjna weryfikacja algorytmów w środowisku Ptolemy II
Simulation verification of algorithms in Ptolemy II environment
Autorzy:: Szcześniak, W.
Data publikacji:: 2013
Wydawca:: Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:: systemy wbudowane
symulacja algorytmów
system Ptolemy
embedded systems
Ptolemy system
algorithmic simulation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: A Logic Framework for Verification of Timed Algorithms
Autorzy:: Slissenko, A.
Data publikacji:: 2004
Słowa kluczowe:: First Order Timed Logic
FOTL
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Stanowisko badawcze do weryfikacji algorytmów sterowania
Research stand for verification of control algorithms
Autorzy:: Skoneczny, P.
Zawalich, J.
Data publikacji:: 2005
Wydawca:: Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Symulacyjna weryfikacja algorytmów w środowisku Ptolemy II
Autorzy:: Szcześniak, W.
Data publikacji:: 2013
Słowa kluczowe:: systemy wbudowane
symulacja algorytmów
system Ptolemy
embedded system
Ptolemy system
algorithmic simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Verification of ships trajectory planning algorithms using real navigational data
Autorzy:: Lazarowska, A.
Data publikacji:: 2019
Wydawca:: Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:: Visibility Graph-search Algorithm (VGA)
Discrete Artificial Potential Field (DAPF)
real navigational data
ARPA
ship's trajectory planning
ship's trajectory planning algorithms
Ant Colony Optimization (ACO)
Trajectory Base Algorithm (TBA); Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Stanowisko badawcze do weryfikacji algorytmów sterowania
Autorzy:: Skoneczny, P.
Zawalich, J.
Data publikacji:: 2005
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Weryfikacja czasów obliczeń heurystycznych algorytmów redukcji poboru mocy układów cyfrowych CMOS
Computational time verification of heuristic algorithms forlIow power design of CMOSs circuits
Autorzy:: Szcześniak, W.
Data publikacji:: 2008
Wydawca:: Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:: redukcja poboru mocy
cyfrowe układy CMOS
heurystyczne algorytmy redukcji poboru mocy
low power design
digital CMOS circuits
heuristic low power design algorithms; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: The verification and evaluation algorithms in radiotherapy treatment planning in 3D
Weryfikacja i ocena algorytmów obliczeniowych w planowaniu leczenia w radioterapii 3D
Autorzy:: Kiełtyka, Bartosz
Słowa kluczowe:: Pencil Beam Convolution (PBC), Analytical Anisotrophic Algorythm (AAA) Gamma parameter, Dose difference (DD), Distance to agreement (DTA)
Pencil Beam Convolution (PBC), Analytical Anisotrophic Algorythm (AAA), Parametr Gamma, Dose difference (DD), Distance to agreement (DTA); Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Informacja

Wyszukujesz frazę "verification algorithms" wg kryterium: Wszystkie pola