Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Schumi, Richard"'
The correctness of a compiler affects the correctness of every program written in the language, and thus must be thoroughly evaluated. Existing automatic compiler testing methods however either rely on weak oracles (e.g., a program behaves the same i
Externí odkaz:
http://arxiv.org/abs/2401.01036
Autor:
Schumi, Richard, Sun, Jun
Recently, neural networks have spread into numerous fields including many safety-critical systems. Neural networks are built (and trained) by programming in frameworks such as TensorFlow and PyTorch. Developers apply a rich set of pre-defined layers
Externí odkaz:
http://arxiv.org/abs/2306.07995
Autor:
Schumi, Richard, Sun, Jun
Neural networks can be regarded as a new programming paradigm, i.e., instead of building ever-more complex programs through (often informal) logical reasoning in the programmers' mind, complex 'AI' systems are built by optimising generic neural netwo
Externí odkaz:
http://arxiv.org/abs/2202.09868
Autor:
Homoliak, Ivan, Venugopalan, Sarad, Hum, Qingze, Reijsbergen, Daniel, Schumi, Richard, Szalachowski, Pawel
Blockchains are distributed systems, in which security is a critical factor for their success. However, despite their increasing popularity and adoption, there is a lack of standardized models that study blockchain-related security threats. To fill t
Externí odkaz:
http://arxiv.org/abs/1910.09775
Autor:
Hartel, Pieter, Schumi, Richard
It is crucial that smart contracts are tested thoroughly due to their immutable nature. Even small bugs in smart contracts can lead to huge monetary losses. However, testing is not enough; it is also important to ensure the quality and completeness o
Externí odkaz:
http://arxiv.org/abs/1909.12563
Autor:
Schumi, Richard, Sun, Jun
Publikováno v:
Fundamental Approaches to Software Engineering
Compilers are error-prone due to their high complexity. They are relevant for not only general purpose programming languages, but also for many domain specific languages. Bugs in compilers can potentially render all programs at risk. It is thus cruci
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::446c5f556021194707c3bf715283b5b0
http://europepmc.org/articles/PMC7978860
http://europepmc.org/articles/PMC7978860
Autor:
Aichernig, Bernhard K.1 (AUTHOR) aichernig@ist.tugraz.at, Schumi, Richard1 (AUTHOR) rschumi@ist.tugraz.at
Publikováno v:
Software & Systems Modeling. Apr2019, Vol. 18 Issue 2, p889-911. 23p.
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.