Amanote Research
Register
Sign In
Grafting Sockets for Fast Container Networking
doi 10.1145/3230718.3230723
Full Text
Open PDF
Abstract
Available in
full text
Date
July 23, 2018
Authors
Ryo Nakamura
Yuji Sekiya
Hajime Tazaki
Publisher
ACM
Related search
Temporal Verification by Diagram Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Source Code Transformations by Program Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Euler Graph Transformations for Euler Diagram Layout
Verification of Temporal Properties
On Temporal Program Verification Rules
RAIRO. Informatique théorique
Verification of Basic Block Schedules Using RTL Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Temporal Patterns for Document Verification
Verification of Security Policy Filtering Rules With Temporal Parameters by Model Checking
SPIIRAS Proceedings
Control
Systems Engineering
Information Systems
Computer Networks
Applied Mathematics
Mathematics
Communications
Computer Science Applications
Computational Theory
Computational Mathematics
Artificial Intelligence
Verification of Model Transformations: A Case Study With BPEL
Transformation Algorithm From Ladder Diagram to SFC Using Temporal Logic
IEEJ Transactions on Industry Applications
Electronic Engineering
Industrial
Electrical
Manufacturing Engineering
