Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Malbaški Dušan"'
Publikováno v:
Yugoslav Journal of Operations Research, Vol 20, Iss 2, Pp 229-236 (2010)
Proving the program correctness and designing the correct programs are two connected theoretical problems, which are of great practical importance. The first is solved within program analysis, and the second one in program synthesis, although inte
Externí odkaz:
https://doaj.org/article/020c3d1bdb7d425ab6596014abe67731
Publikováno v:
Yugoslav Journal of Operations Research, Vol 17, Iss 2, Pp 275-285 (2007)
Program testing determines whether its behavior matches the specification, and also how it behaves in different exploitation conditions. Proving of program correctness is reduced to finding a proof for assertion that given sequence of formulas repres
Externí odkaz:
https://doaj.org/article/d6d2b2bea85243b2a1bce631c84d0cb9
Autor:
Kupusinac, Aleksandar, Malbaski, Dusan
This paper presents a special subset of the first-order predicate logic named S-program calculus (briefly S-calculus). The S-calculus is a calculus consisting of so-called S-formulas that are defined over the abstract state space of a virtual machine
Externí odkaz:
http://arxiv.org/abs/1003.0773
Autor:
Kupusinac, Aleksandar a, (⁎), Doroslovački, Rade a, Malbaški, Dušan a, Srdić, Biljana b, Stokić, Edith c
Publikováno v:
In Computers in Biology and Medicine 1 July 2013 43(6):751-757
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.
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:
In Microprocessing and Microprogramming 1985 16(4):295-299
Autor:
Popović, Nemanja
Publikováno v:
CRIS UNS
Универзитет у Новом Саду
Универзитет у Новом Саду
U ovoj doktorskoj disertaciji ispitana je mogućnost prebacivanja Naprednog Distributivnog Menadžment Sistema (NDMS) zasnovanog na zajedničkoj operaciono tehnološkoj platformi na virtualno Cloud infrastrukturno okruženje. Prvo je odabrano tradici
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::14c647956e2898097e51ebc8607f01a1
https://www.cris.uns.ac.rs/record.jsf?recordId=107176&source=OpenAIRE&language=en
https://www.cris.uns.ac.rs/record.jsf?recordId=107176&source=OpenAIRE&language=en
Autor:
Ivanović, Darko
Publikováno v:
CRIS UNS
Универзитет у Новом Саду
Универзитет у Новом Саду
Doktorska disertacija razmatra problem algoritamske dijagnostikemetaboličkog sindroma na osnovu lako merljivih parametara: pol,starosna dob, indeks telesne mase, odnos obima struka i visine,sistolni i dijastolni krvni pritisak. U istraživanju su pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::aec1b578195048ca67cc16c57e96fc7e
https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija151670035989419.pdf?controlNumber=(BISIS)107048&fileName=151670035989419.pdf&id=10889&source=OpenAIRE&language=en
https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija151670035989419.pdf?controlNumber=(BISIS)107048&fileName=151670035989419.pdf&id=10889&source=OpenAIRE&language=en
Autor:
Stričević, Lazar
Publikováno v:
Универзитет у Новом Саду
CRIS UNS
CRIS UNS
Teza se bavi povećanjem ukupne oslonljivosti modularnog mikrokerneloperativnog sistem MINIX 3 kroz povećanje pouzdanosti njegovogmrežnog podsistema. To je postignuto tako što je ovom operativnomsistemu dodata agregacija mrežnih veza, čime je po
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9283a35849e5865b04ba12dda19080f3
https://nardus.mpn.gov.rs/bitstream/id/41919/Disertacija4464.pdf
https://nardus.mpn.gov.rs/bitstream/id/41919/Disertacija4464.pdf