VNU-UET Repository

Items where Author is "Anh Hoang Truong"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 14.

Article

Ngoc Khai Nguyen and Anh Hoang Truong (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

Anh Hoang Truong and Ngoc Khai Nguyen (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 .

Anh Hoang Truong and Huy Vu Tran and Bao Ngoc Nguyen (2014) Symbolic round-off error between floating-point and fixed-point. VNU Journal of Science: Comp. Science & Com. Eng., 30 (3). pp. 12-21.

Duc Hanh Dang and Anh Hoang Truong and Martin Gogolla (2010) Checking the Conformance between Models Based on Scenario Synchronization. Journal of Universal Computer Science, 16 (17). pp. 2293-2312. ISSN 0948-695x

Conference or Workshop Item

Trinh Dong Nguyen and Anh Hoang Truong (2017) A formal contract-based model for component-based real-time systems. In: 2017 4th NAFOSTED Conference on Information and Computer Science (NICS 2017), 24-25 November 2017, Hanoi, Vietnam.

Dieu Huong Vu and Anh Hoang Truong and Yuki Chiba and Toshiaki Aoki (2017) Automated testing reactive systems from Event-B model. In: 2017 4th National Foundation for Science and Technology Development Conference on Information and Computer Science, 24-25 November2017, Ha Noi, Viet Nam.

Ngoc Khai Nguyen and Anh Hoang Truong (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.

The Huy Nguyen and Duc Thinh Nguyen and Nam Phong Nguyen and Nguyen Ngoc Phung and Anh Hoang Truong (2016) Meboo-the health & medical services management application. In: SSC: the 2016 Student Scientific Contest, 29 April 2016, Hanoi.

Ngoc Khai Nguyen and Anh Hoang Truong and Van Hung Dang (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.

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

Duc Hanh Dang and Anh Hoang Truong and Van Hung Dang (2016) On Model Finding with Constraint Patterns. In: Proc. 5th Int. Conf. on New Trends in Software Methodologies, Tools and Technique (SoMeT).

Anh Hoang Truong and Van Hung Dang and Duc Hanh Dang and Xuan Tung Vu (2016) A Type System for Counting Logs of Multi-threaded Nested Transactional Programs. In: 12th International Conference on Distributed Computing and Internet Technology (ICDCIT).

Anh Hoang Truong and Ngoc Khai Nguyen (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.

Duc Hanh Dang and Anh Hoang Truong and Martin Gogolla (2010) On Scenario Synchronization. In: 8th International Conference on Automated Technology for Verification and Analysis (ATVA).

This list was generated on Fri Jul 20 23:25:58 2018 ICT.