Proceedings of the ACM SIGCOMM 2019 Workshop on Mobile AirGround Edge Computing, Systems, Networks, and Applications

Callegaro, Davide, Sabur Baidya, and Marco Levorato. (2019). A measurement study on edge computing for autonomous UAVs. In Proceedings of the ACM SIGCOMM 2019 Workshop on Mobile AirGround Edge Computing, Systems, Networks, and Applications, pp. 29-35.

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control

Sun, Xiaowu, Haitham Khedr, and Yasser Shoukry. (2019). Formal verification of neural network controlled autonomous systems. Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, pp. 147-156.

Design Automation of Cyber-Physical Systems

Wan, J., Rashid, N., Canedo, A., & Faruque, M. A. A. (2019). Concept design: modeling and synthesis from requirements to functional models and simulation. Design Automation of Cyber-Physical Systems, 3-20.

Proceedings of the 52nd annual IEEE/ACM international symposium on microarchitecture

Donyanavard, Bryan, Tiago Mück, Amir M. Rahmani, Nikil Dutt, Armin Sadighi, Florian Maurer, and Andreas Herkersdorf. (2019). Sosa: Self-optimizing learning with self-adaptive control for hierarchical system-on-chip management. Proceedings of the 52nd annual IEEE/ACM...

Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays

Taheri, Sajjad, Payman Behnam, Eli Bozorgzadeh, Alexander Veidenbaum, and Alexandru Nicolau. (2019.) AFFIX: Automatic acceleration framework for FPGA implementation of OpenVX vision algorithms. Proceedings of the 2019 ACM/SIGDA International Symposium on...