K.M.P.T. Abeyrathne

Full Name

K.M.P.T. Abeyrathne

Registration Number

PG/PhD/15/02

Degree

PhD

Mode of Study

Part Time

Research Topic

Formally Verified Hardware Accellerated Implementation of TCP protocol

Publications

Offloading specific performance-related kernel functions into an FPGA

Pabudi T Abeyrathne , S. Devapriya Dewasurendra , Dhammika Elkaduwa
2021 IEEE 30th International Symposium on Industrial Electronics (ISIE), 2021
doi: 10.1109/ISIE45552.2021.9576256

[ PDF ][ PDF (Preprint) ][ Presentation ][ Project ]

#Performance evaluation#Protocols#Profitability#Linux#Computer architecture#Software#Security
Strategy to Design Formally Verified hardware/software implementation of Network Protocols on Reconfigurable Hardware

Pabudi T Abeyrathne , S.D. Dewasurendra , Dhammika Elkaduwa
2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS), 2015
doi: 10.1109/ICIINFS.2015.7398980

[ PDF ][ PDF (Preprint) ][ Presentation ][ Project ]

#application specific integrated circuits#computer networks#field programmable gate arrays#financial data processing#hardware-software codesign#protocols#reconfigurable architectures

Please note that here only contain the 'Publications' affiliated with the Department of Computer Engineering. To see the full publication profile, visit the ResearchGate or Google Scholar profile of the student.