KHO THƯ VIỆN 🔎

(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ạm

Loại tài liệu:     PDF
Số trang:         41 Trang
Tài liệu:           ✅  ĐÃ ĐƯỢC PHÊ DUYỆT
 













Nộ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 NGOCFIN

DING 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 ha

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 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/Coltec

h 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 01

xcept 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 increasin

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 01se taken on actual devices. The latter phase includes porting which requires changing floating-point numbers and operation to fixed-point and here oft

en 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 01

ound 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 Pathfinde

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 precise symbolic round-off error of the original program. Experiments executed with simple Java programs will demonstrate the effectiveness our symbo

lic, 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 ani

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 01pervisor, Dr. Le Trong Vinh, for his collaborative advice, my lecturers in Software Engineering Department for their supportive assistance, and my col

leagues 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 01

orts from my beloved family and friends. They have been always encouraging me a lot. Thank you!iiiTable of ContentsOriginality Statementi

VIETNAM NATIONAL UNIVERSITY, HANOIUNIVERSITY OF ENGINEERING AND TECHNOLOGYNGUYEN BAO NGOCFINDING ROUND-OFF ERROR FOR JAVA PROGRAMS USING SYMBOLIC PATH

VIETNAM NATIONAL UNIVERSITY, HANOIUNIVERSITY OF ENGINEERING AND TECHNOLOGYNGUYEN BAO NGOCFINDING ROUND-OFF ERROR FOR JAVA PROGRAMS USING SYMBOLIC PATH

Gọi ngay
Chat zalo
Facebook