Items where Author is "Nguyen, Ngoc Khai"

Article

Nguyen, Ngoc Khai and Truong, Anh Hoang and Dang, Duc Hanh (2021) Estimate the memory bounds required by shared variables in software transactional memory programs. VNU Journal of Science: Computer Science and Communication Engineering, 37 (2). pp. 1-19. ISSN 2588-1086

Nguyen, Ngoc Khai and Truong, Anh Hoang (2018) HỆ THỐNG KIỂU ĐỂ TÍNH BỘ NHỚ LOG CỦA CHƯƠNG TRÌNH GIAO DỊCH TỪ BIẾN DÙNG CHUNG. Chuyên san Công nghệ thông tin và Truyền thông (JICT), 11 . ISSN 1859-0209

Nguyen, Truong Giang and Nguyen, Xuan Tuyen and Nguyen, Ngoc Khai and Pham, Dinh Tuan and Giang, Hong Thai (2018) Phân tích nồng độ khí CO2 với cấu hình cảm biến hấp thụ hồng ngoại không tán sắc (NDIR) sử dụng biến đổi fourier nhanh (FFT). Tạp chí Khoa học Giao thông vận tải . pp. 43-48. ISSN 1859-2724

Truong, Anh Hoang and Nguyen, Ngoc Khai (2015) Hệ thống kiểu tính cận trên số log cho ngôn ngữ giao dịch đa luồng tối giản. Tạp chí khoa học .

Nguyen, Ngoc Khai and Truong, Anh Hoang and Dang, Duc Hanh Estimate the memory bounds required by shared variables in software transactional memory programs", ID 280. VNU Journal of Science: Computer Science and Communication Engineering . ISSN 2588-1086

Conference or Workshop Item

Nguyen, Ngoc Khai and Truong, Anh Hoang (2017) A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs. In: SoICT 2017: 8th International Symposium on Information and Communications, December 2017, Nha Trang.

Nguyen, Ngoc Khai and Truong, Anh Hoang and Dang, Van Hung (2016) A type system for calculating the maximum log memory used by transactional programs. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.

Truong, Anh Hoang and Nguyen, Ngoc Khai and Dang, Van Hung and Dang, Duc Hanh (2016) Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. In: 13th International Conference on Theoretical Aspects of Computing (ICTAC).

Truong, Anh Hoang and Nguyen, Ngoc Khai (2015) Hệ thống kiểu để tính biên tài nguyên của các chương trình giao dịch lồng nhau và đa luồng. In: Hội nghị nghiên cứu và ứng dụng Công nghệ thông tin 2015, 21-23 October 2015, Hanoi, Vietnam.

Nguyen, Truong Giang and Nguyen, Sy Hieu and Ho, Truong Giang and Nguyen, Ngoc Khai and Pham, Dinh Tuan and Nguyen, Thi Hoa TÌNH TRẠNG PIN LƯU TRỮ (LiFePO4) SỬ DỤNG TRONG ĐÈN BÁO HIỆU ĐƯỜNG THỦY NỘI ĐỊA. In: Hội thảo về Giảng dạy và Nghiên cứu Khoa học cơ bản năm 2020, 26 June 2020, Trường ĐH Giao thông Vận tải.

Book

Nguyen, Truong Giang and Ngo, Ngoc Ha and Nguyen, Ngoc Khai and Pham, Dinh Tuan and Hoang, Thi Hien and Ho, Truong Giang Cảm biến khí O2 ứng dụng trong ôtô. Đại học Quốc gia Hà Nội. ISBN 978-604-300-105-1