Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Vialard, Vincent"'
Autor:
Liebig, Thorsten, Vialard, Vincent
An advantage of modeling data as a graph – as opposed to a relational data model – is that data graph does not require a data schema from the very beginning. Hence graph data is often loaded from external sources with ad-hoc mappings. However, a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::42af8ba890e7bbc56e72d29b560e8e8f
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.
Autor:
Gütebier, Lea, Bleimehl, Tim, Henkel, Ron, Munro, Jamie, Müller, Sebastian, Morgner, Axel, Laenge, Jakob, Pachauer, Anke, Erdl, Alexander, Weimar, Jens, Langendorf, Kirsten Walther, Vialard, Vincent, Liebig, Thorsten, Preusse, Martin, Waltemath, Dagmar, Jarasch, Alexander
Publikováno v:
Bioinformatics; 10/15/2022, Vol. 38 Issue 20, p4843-4845, 3p
We report on a large verification effort in constructing an initial fully trusted bootstrap compiler executable for a realistic system programming language and real target processor. The construction and verification process comprises three tasks: th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::99f2d8fa83ad1600c620e07dc5179cac
Publikováno v:
Semantic Web - ISWC 2014: 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II; 2014, p180-195, 16p