(LUẬN văn THẠC sĩ) tìm sai số làm tròn cho các chương trình java sử dụng symbolic pathfinder m a thesis information technology 60 48 01
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: (LUẬN văn THẠC sĩ) tìm sai số làm tròn cho các chương trình java sử dụng symbolic pathfinder m a thesis information technology 60 48 01
(LUẬN văn THẠC sĩ) tìm sai số làm tròn cho các chương trình java sử dụng symbolic pathfinder m a thesis information technology 60 48 01
VIETNAM NATIONAL UNIVERSITY, HANOIUNIVERSITY OF ENGINEERING AND TECHNOLOGYNGUYEN BAO NGOCFINDING ROUND-OFF ERROR FOR JAVA PROGRAMS USING SYMBOLIC PATH (LUẬN văn THẠC sĩ) tìm sai số làm tròn cho các chương trình java sử dụng symbolic pathfinder m a thesis information technology 60 48 01HFINDERMASTER THESIS OF INFORMATION TECHNOLOGYHanoi - 2014VIETNAM NATIONAL UNIVERSITY, HANOIUNIVERSITY OF ENGINEERING AND TECHNOLOGYNGUYEN BAO NGOCFINDING ROUND-OFF ERROR FOR JAVA PROGRAMS USING SYMBOLIC PATHFINDERMajor: Computer scienceCode: 60 48 01MASTER THESIS OF INFORMATION TECHNOLOGYSUPERVISOR (LUẬN văn THẠC sĩ) tìm sai số làm tròn cho các chương trình java sử dụng symbolic pathfinder m a thesis information technology 60 48 01: PhD. Truong Anh Hoang CO-Sl PERVISOR: PhD. Le Trong \ inhHanoi - 2014Originality StatementI hereby declare That this submission is my own work and t(LUẬN văn THẠC sĩ) tìm sai số làm tròn cho các chương trình java sử dụng symbolic pathfinder m a thesis information technology 60 48 01
o the best of my knowledge it contains no materials previously published or written by another person, or substantial proportions of material which haVIETNAM NATIONAL UNIVERSITY, HANOIUNIVERSITY OF ENGINEERING AND TECHNOLOGYNGUYEN BAO NGOCFINDING ROUND-OFF ERROR FOR JAVA PROGRAMS USING SYMBOLIC PATH (LUẬN văn THẠC sĩ) tìm sai số làm tròn cho các chương trình java sử dụng symbolic pathfinder m a thesis information technology 60 48 01itution, except where due acknowledgment is made in the thesis. Any contribution made to the research by others, with whom I have worked at UET/Coltech or elsewhere, is explicitly acknowledged in the thesis. I also declare that the intellectual content of this thesis is the product of my own work, e (LUẬN văn THẠC sĩ) tìm sai số làm tròn cho các chương trình java sử dụng symbolic pathfinder m a thesis information technology 60 48 01xcept to the extent (hat assistance from others in the project's design and conception or in style, presentation and linguistic expression is acknowle(LUẬN văn THẠC sĩ) tìm sai số làm tròn cho các chương trình java sử dụng symbolic pathfinder m a thesis information technology 60 48 01
dged.Date:Signed:iAbstractNowadays, with the explosion of mobile and embedded devices, the need for ap plications for these devices has been increasinVIETNAM NATIONAL UNIVERSITY, HANOIUNIVERSITY OF ENGINEERING AND TECHNOLOGYNGUYEN BAO NGOCFINDING ROUND-OFF ERROR FOR JAVA PROGRAMS USING SYMBOLIC PATH (LUẬN văn THẠC sĩ) tìm sai số làm tròn cho các chương trình java sử dụng symbolic pathfinder m a thesis information technology 60 48 01se taken on actual devices. The latter phase includes porting which requires changing floating-point numbers and operation to fixed-point and here often occur round-off errors between two versions of the program.In this thesis, we present a novel approach to produce a precise representation of the r (LUẬN văn THẠC sĩ) tìm sai số làm tròn cho các chương trình java sử dụng symbolic pathfinder m a thesis information technology 60 48 01ound off error using symbolic computation. With this representation, we can analyze various aspects of the error such as finding largest round-off err(LUẬN văn THẠC sĩ) tìm sai số làm tròn cho các chương trình java sử dụng symbolic pathfinder m a thesis information technology 60 48 01
or using optimization tools like Mathemalica, or doing error Ifound-checking using SMT solvers. We already implemented a tool using Symbolic PathfindeVIETNAM NATIONAL UNIVERSITY, HANOIUNIVERSITY OF ENGINEERING AND TECHNOLOGYNGUYEN BAO NGOCFINDING ROUND-OFF ERROR FOR JAVA PROGRAMS USING SYMBOLIC PATH (LUẬN văn THẠC sĩ) tìm sai số làm tròn cho các chương trình java sử dụng symbolic pathfinder m a thesis information technology 60 48 01 precise symbolic round-off error of the original program. Experiments executed with simple Java programs will demonstrate the effectiveness our symbolic, round-off error.Publications:* Anh-Hoang Truong, Huy-Vu Tran. BaoNgoc Nguyen. Finding Round-Oir Error Using Symbolic Execution. in Proceedings of (LUẬN văn THẠC sĩ) tìm sai số làm tròn cho các chương trình java sử dụng symbolic pathfinder m a thesis information technology 60 48 01 the fifth International Conference Knowledge and Systems Engineering (KSE 2013).iiAcknowledgementsFirst and foremost. I would like to express my grea(LUẬN văn THẠC sĩ) tìm sai số làm tròn cho các chương trình java sử dụng symbolic pathfinder m a thesis information technology 60 48 01
test appreciation to my supervisor - Dr. Truong Anil Hoang. It is no doubt that without his patient guidance, continuous contributive involvements aniVIETNAM NATIONAL UNIVERSITY, HANOIUNIVERSITY OF ENGINEERING AND TECHNOLOGYNGUYEN BAO NGOCFINDING ROUND-OFF ERROR FOR JAVA PROGRAMS USING SYMBOLIC PATH (LUẬN văn THẠC sĩ) tìm sai số làm tròn cho các chương trình java sử dụng symbolic pathfinder m a thesis information technology 60 48 01pervisor, Dr. Le Trong Vinh, for his collaborative advice, my lecturers in Software Engineering Department for their supportive assistance, and my colleagues from Information Technology Faculty for their unconditional help to which 1 am indebted.Finally, it must be my shortcoming not to mention supp (LUẬN văn THẠC sĩ) tìm sai số làm tròn cho các chương trình java sử dụng symbolic pathfinder m a thesis information technology 60 48 01orts from my beloved family and friends. They have been always encouraging me a lot. Thank you!iiiTable of ContentsOriginality StatementiVIETNAM NATIONAL UNIVERSITY, HANOIUNIVERSITY OF ENGINEERING AND TECHNOLOGYNGUYEN BAO NGOCFINDING ROUND-OFF ERROR FOR JAVA PROGRAMS USING SYMBOLIC PATHVIETNAM NATIONAL UNIVERSITY, HANOIUNIVERSITY OF ENGINEERING AND TECHNOLOGYNGUYEN BAO NGOCFINDING ROUND-OFF ERROR FOR JAVA PROGRAMS USING SYMBOLIC PATHGọi ngay
Chat zalo
Facebook