Anwar Mamat

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 4

Top Topics

Heterogeneous Wireless Sensor Networks

Conflict Resolution

Scheduling Problem

Top Venues

Proc. ACM Program. Lang.

SIGSOFT FSE Companion

Publications

Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells
How We Built Cedar: A Verification-Guided Approach. SIGSOFT FSE Companion (2024)
Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells
How We Built Cedar: A Verification-Guided Approach. CoRR (2024)
Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). CoRR (2024)
Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Hua Huang, Shan Lin, Lin Chen, Jie Gao, Anwar Mamat, Jie Wu
Dynamic Mobile Charger Scheduling in Heterogeneous Wireless Sensor Networks. MASS (2015)
Hua Huang, Shan Lin, Lin Chen, Jie Gao, Anwar Mamat, Jie Wu
Dynamic Mobile Charger Scheduling in Heterogeneous Wireless Sensor Networks. MASS (2015)
Anwar Mamat, Ying Lu, Jitender S. Deogun, Steve Goddard
Efficient real-time divisible load scheduling. J. Parallel Distributed Comput. 72 (12) (2012)
Anwar Mamat, Ying Lu, Jitender S. Deogun, Steve Goddard
Scheduling real-time divisible loads with advance reservations. Real Time Syst. 48 (3) (2012)
Xuan Lin, Anwar Mamat, Ying Lu, Jitender S. Deogun, Steve Goddard
Real-time scheduling of divisible loads in cluster computing environments. J. Parallel Distributed Comput. 70 (3) (2010)
Anwar Mamat, Ying Lu, Jitender S. Deogun, Steve Goddard
An Efficient Algorithm for Real-Time Divisible Load Scheduling. IEEE Real-Time and Embedded Technology and Applications Symposium (2010)
Anwar Mamat, Ying Lu, Jitender S. Deogun, Steve Goddard
Real-Time Divisible Load Schedulingwith Advance Reservation. ECRTS (2008)
Yi-Sheng An, Ren-Hou Li, Anwar Mamat
Expression and Verification of Task Management in Collaborative Design. CASE (2007)