Temat: Intermediate Language

Skocz do pozycji: 1.

Tytuł:: Translation of Intermediate Language to Timed Automata with Discrete Data
Autorzy:: Janowska, A.
Janowski, P.
Wróblewski, D.
Data publikacji:: 2008
Słowa kluczowe:: translation
Intermediate Language
Timed Automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Towards verification of Java programs in VerICS
Autorzy:: Orzechowski, M.
Woźna, B.
Siwiak, T.
Data publikacji:: 2006
Słowa kluczowe:: VerICS
Java
Intermediate Language
timed automata with discrete data
automated verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Developing a multiplatform control environment
Autorzy:: Rzońca, Dariusz
Sadolewski, Jan
Stec, Andrzej
Świder, Zbigniew
Trybus, Bartosz
Trybus, Leszek
Data publikacji:: 2019
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: IEC 61131‐3 environment
virtual machine
intermediate language
parametrized compiler
interfacing
HMI
industrial controllers; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Developing a multiplatform control environment
Autorzy:: Rzońca, Dariusz
Sadolewski, Jan
Stec, Andrzej
Świder, Zbigniew
Trybus, Bartosz
Trybus, Leszek
Data publikacji:: 2019
Słowa kluczowe:: IEC 61131‐3 environment
virtual machine
intermediate language
parametrized compiler
interfacing
HMI
industrial controllers; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Compiler and virtual machine of a multiplatform control environment
Autorzy:: Sadolewski, Jan
Trybus, Bartosz
Data publikacji:: 2022
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: control environment
IEC 61131-3 standard
intermediate language
compiler
runtime virtual machine
kontrola środowiska
norma IEC 61131-3
język średniozaawansowany
kompilator
wirtualna maszyna uruchomieniowa; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Compiler and virtual machine of a multiplatform control environment
Autorzy:: Sadolewski, Jan
Trybus, Bartosz
Data publikacji:: 2022
Słowa kluczowe:: control environment
IEC 61131-3 standard
intermediate language
compiler
runtime virtual machine
kontrola środowiska
norma IEC 61131-3
język średniozaawansowany
kompilator
wirtualna maszyna uruchomieniowa; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Combining Communicative-Analytic and Experiential Approaches in Teaching Pre-Intermediate Level of General English to Adults at Commercial Language Schools and Centers
Autorzy:: Tarnopolsky, Oleg
Data publikacji:: 2016
Wydawca:: Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
Tematy:: Learning English at the Pre-Intermediate Level
Teaching English to Adults at Commercial Language Schools and Centers
Communicative-Analytic Approach
Experiential Approach
Parallel Teaching of Written and Oral Communication; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja