Zobrazeno 1 - 4
of 4
pro vyhledávání: '"HOCHRAINER, Christoph"'
Zero-knowledge (ZK) protocols have recently found numerous practical applications, such as in authentication, online-voting, and blockchain systems. These protocols are powered by highly complex pipelines that process deterministic programs, called c
Externí odkaz:
http://arxiv.org/abs/2411.02077
Autor:
Himmelbauer, Simon, Hochrainer, Christoph, Huber, Benedikt, Mischkulnig, Niklas, Paulweber, Philipp, Schwarzinger, Tobias, Krall, Andreas
The Vienna Architecture Description Language (VADL) is a powerful processor description language (PDL) that enables the concise formal specification of processor architectures. By utilizing a single VADL processor specification, the VADL system exhib
Externí odkaz:
http://arxiv.org/abs/2402.09087
Autor:
Hochrainer, Christoph
In den letzen Jahren gab es enorme Fortschritte im Bereich automatisierter Softwareverifikation und Programanalyse. Dennoch wurden einige Herausforderungen noch nicht vollständig bezwungen, sowie das automatisierte Verifizieren von unbeschrenkten Da
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3f8eec1bbcf1e1ec8007a3979c0eb1d9
Autor:
MITGUTSCH, Konstantin, MILLONIG, Alexandra, PONWEISER, Wolfgang, HOFSTATTER, Jorg, FROSCHAUER, Josef, YGNACE, Jean-Luc, HOCHRAINER, Christoph
Publikováno v:
[Research Report] IFSTTAR-Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux. 2014, 42 p
The purpose of the flagship project Crossing Borders is the development and testing of cross-border services for electric mobility. A cross-border fast charging network, roaming and billing system and intermodal routing services will be implemented i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4388be3ee3de289a80d4e73a0fee3c57
https://hal.archives-ouvertes.fr/hal-01216174
https://hal.archives-ouvertes.fr/hal-01216174