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 - 2014Originality StatementI hereby declare that this submission is my own work and to the best of my knowledge it contains no materials previously published or written by another person, or substantial proportions of material which have been accep 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 01ted for the award of any other degree or diploma at University of Engineering and Technology (L’ET/Coltech) or any other educational institution, exceLuậ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
pt 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 elsewherVIETNAM 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 01extent that assistance from others in the project’s design and conception or in style, presentation and linguistic expression is acknowledged.Date:Signed:AbstractNowadays, with the. explosion of mobile, and embedded devices. the need for applications for these devices has been increasing non-stop. D 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 01evelopment process of these programs is commonly comprised of two phases: developing phase taken on personal computers and deployment phase taken on aLuậ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
ctual devices. The latter phase includes porting which requires changing floating point numbers and opera tian to fixed-point, and here often occur roVIETNAM 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 01ror using symbolic computation. With this representation, we can analyze various aspects of the error such as finding largest round-off error using optimization tools like Mathematica, or doing error bound-checking using SMT solvers. We already implemented a tool using Symbolic PathFinder to generat 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 01e symbolic output expression of a .lava program. Using that symbolic output expres Sion, wc execute symbolically round-off error part to get precise sLuậ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
ymbolic round-off error of the original program. Experiments executed with simple Java programs will demonstrate the effectiveness our symbolic round-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 01 Inievnntionnl Conference Knowledge, and Systems Engineering (KSE 2t)13).iiAcknowledgementsFirst, and foremost., i would like to express my greatest appreciation to my supervisor - Dr. Truong Anh Hoang. It. is no doubt that without his patient guidance, cont inuous conf ribut ive involvementsand unc 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 01easing efforts to inspire me throughout the process of researching, this thesis would have never been accomplished.I am also grateful to my co-superviLuậ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
sor. Dr. Le Trong Vinh, for his collaborative advice, my lecturers in Software Engineering Department for their supportive assistance, and my colleaguVIETNAM 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 01from my beloved family and friends. They have been always encouraging me a lot. Thank yon!iiiTable of ContentsOriginality StatementiAbstractiiAcknowledgementsiiiList of FiguresviList of TablesviiList of Abbreviationsviii1Introduction12Background32.1Number representation.............................. 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...... 32.1.1Floating-point numbers............................. 32.1.2Fixed-point numbers................................ 42.2Symbolic execution withLuậ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
Symbolic PathFinder.............. GVIETNAM 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