Zobrazeno 1 - 10
of 61
pro vyhledávání: '"Program modeling"'
Publikováno v:
Mathematics, Vol 9, Iss 19, p 2368 (2021)
A formal, high-level representation of programs is typically needed for static and dynamic analyses performed by compilers. However, the source code of target applications is not always available in an analyzable form, e.g., to protect intellectual p
Externí odkaz:
https://doaj.org/article/4795d6ce6f6c4776bef46c0b48fd0dca
Autor:
Monica Hargraves, Cecilia Denning
Publikováno v:
Journal of Agriculture, Food Systems, and Community Development, Vol 8, Iss A (2018)
The Food Dignity project brought teams from five community-led organizations working on local food systems together with researchers from four academic institutions, to learn from community strategies for building sustainable local food systems and i
Externí odkaz:
https://doaj.org/article/87745c83ea194cd68f196e30c4240d59
Publikováno v:
RUC. Repositorio da Universidade da Coruña
instname
Mathematics, Vol 9, Iss 2368, p 2368 (2021)
Mathematics
Volume 9
Issue 19
instname
Mathematics, Vol 9, Iss 2368, p 2368 (2021)
Mathematics
Volume 9
Issue 19
This article belongs to the Special Issue Current Trends in Computer Architecture and High Performance Computing (HPC) with Their Mathematical Foundations [Abstract] A formal, high-level representation of programs is typically needed for static and d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a7e2f26facc56a75d57a82aa49e9e220
http://hdl.handle.net/2183/29335
http://hdl.handle.net/2183/29335
Publikováno v:
Системи управління, навігації та зв’язку. Збірник наукових праць. 1:93-98
The problem being solved is of invariant recognition of visual objects with the use of structural methods based on descriptions in the form of a set of special points of the image. The analysis of the characteristics and means of software modeling of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b64f52b7be6faa04844b2ad560d5d811
https://doi.org/10.26906/sunz.2018.1.093
https://doi.org/10.26906/sunz.2018.1.093
Publikováno v:
International journal of Computer Networks & Communications. 10:95-105
The article considers a generation mechanism of compositional models simulating imperative programs behavior in terms of Petri nets. The mechanism of program models generation consists of two main stages. At the first stage, the structure of the prog
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fc0cc019c27bc2b0663f0188de725684
https://doi.org/10.5121/ijcnc.2018.10107
https://doi.org/10.5121/ijcnc.2018.10107
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030297497
In a series of recently conducted forensic studies related to methods of a criminal investigation in the sphere of computer information, scientifically interesting data about the constancy of connections of particular characteristics of these crimina
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::91b9c951cd90e688ea9bee64b747cf2c
https://doi.org/10.1007/978-3-030-29750-3_24
https://doi.org/10.1007/978-3-030-29750-3_24
Autor:
Radiukienė, Vitalija, Tekutov, Jurij
Publikováno v:
Verslas, technologijos, biomedicina: inovacijų įžvalgos : respublikinė mokslinė-praktinė studentų konferencija : straipsnių rinkinys, Klaipėda : Klaipėdos valstybinė kolegija, 2018, Nr. 1(9), p. 414-425
Straipsnyje aprašytas Kretingos rajono atliekų išvežimo grafikų mobiliosios programos modeliavimas, atliekant programos projektavimą bei dalinę realizaciją. Projektavimo dalyje išanalizuotos dalykinė ir probleminė sritys, taip pat projekta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f8abdbaf9d4acad3424febe85007feca
https://vb.kvk.lt/KVK:ELABAPDB29800720&prefLang=en_US
https://vb.kvk.lt/KVK:ELABAPDB29800720&prefLang=en_US
Autor:
A. V. Kuznetsov
Publikováno v:
Measurement Techniques. 57:1430-1436
A statistical model of the pyrometer signal from objects with a limited rate of change of the temperature is proposed. Expressions are derived for calculating the pulse characteristic of an optimal digital nonrecursive filter. The expressions obtaine
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fed0fa53d14350711e2f78b1db0cce96
https://doi.org/10.1007/s11018-015-0645-y
https://doi.org/10.1007/s11018-015-0645-y
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.