Aquila: a practically usable verification system for production-scale programmable data planes Скачать
07 Thursday Lunch Session Panel A Conversation on Embedded Systems Living IoT, Satellites and HealtH Скачать
Understanding Operational 5G A First Measurement Study on Its Coverage, Performance and Energy Consu Скачать
Lyra: A Cross-Platform Language and Compiler for Data Plane Programming on Heterogeneous ASICs Скачать
Niijima: Sound and Automated Computation Consolidation for Efficient Multilingual Data-Parallel Pip Скачать
Efficient and Scalable Thread-Safety Violation Detection--Finding thousands of concurrency bugs duri Скачать
The Inflection Point Hypothesis: A Principled Debugging Approach for Locating the Root Cause of a Скачать
