Showing results 5 to 8 of 8
Improved batch exponentiation Chung, Byungchun; Hur, Junbeom; Kim, Heeyoul; Hong, Seong-Min; Yoon, Hyunsoo, INFORMATION PROCESSING LETTERS, v.109, no.15, pp.832 - 837, 2009-07 |
MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software Liu, Lingjun; Jee, Eunkyoung; Bae, Doo-Hwan, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.32, no.8, 2022-12 |
Stacked Borrows: An Aliasing Model for Rust Jung, Ralf; Dang, Hoang-Hai; Kang, Jeehoon; Dreyer, Derek, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01 |
Using formal modeling with an automated analysis tool to design and parametrically analyze a multirobot coordination protocol: A case study Esposito, JM; Kim, Moonzoo, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, v.37, pp.285 - 297, 2007-05 |
Discover