Autor der Publikation

Using concurrent relational logic with helpers for verifying the AtomFS file system.

, , , , , und . SOSP, Seite 259-274. ACM, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A real-time object tracking and image stabilization system for photographing in vibration environment using OpenTLD algorithm., , , , , und . ARSO, Seite 141-145. IEEE, (2016)Contributions to Persistence Theory. CoRR, (2012)A Weld Position Recognition Method Based on Directional and Structured Light Information Fusion in Multi-Layer/Multi-Pass Welding., , , , , , und . Sensors, 18 (1): 129 (2018)A Precise Visual Method for Narrow Butt Detection in Specular Reflection Workpiece Welding., , , , , und . Sensors, 16 (9): 1480 (2016)Image matching for weld seam tracking based on nonlinear dimensionality reduction method Isomap., , und . FSKD, Seite 2826-2829. IEEE, (2010)EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs., , , , und . USENIX Annual Technical Conference, Seite 255-266. USENIX Association, (2018)Deep Reinforcement Learning of Volume-Guided Progressive View Inpainting for 3D Point Scene Completion From a Single Depth Image., , , , , , , , , und . CVPR, Seite 234-243. Computer Vision Foundation / IEEE, (2019)XPC: architectural support for secure and efficient cross process call., , , , und . ISCA, Seite 671-684. ACM, (2019)Research on a visual weld detection method based on invariant moment features., , , , und . Ind. Robot, 42 (2): 117-128 (2015)Battery state-of-charge (SOC) estimation using adaptive neuro-fuzzy inference system (ANFIS)., , und . FUZZ-IEEE, Seite 1068-1073. IEEE, (2003)