loading
Luận án, luận văn

Combining testing and static analysis to overflow and roundoff error detection: Thesis/ Do Thi Bich Ngoc

Tác giả : Do Thi Bich Ngoc

Năm xuất bản : 2010

Nơi xuất bản : Ishikawa

Mô tả vật lý : vi, 100 p.: ill.; 30 cm 1 resume

Số phân loại : 005.717

Chủ đề : 1. 17. 2. $2Bộ TK TVQGKiểm chứng. 3. $2Bộ TK TVQGThông tin học. 4. 7. 5. 7. 6. Lỗi làm tròn. 7. Lỗi tràn số. 8. Phân tích mã nguồn.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Nghiên cứu áp dụng kỹ thuật phân tích mã nguồn giúp tìm ra các ước lượng quá lớn do quá trình xấp xỉ trong phân tích; đề xuất 2 số học khoảng mới gọi là EAI và PAI để ước lượng các khoảng giá trị và khoảng lỗi làm tròn; phân tích mã nguồn dựa trên kỹ thuật kiểm chứng mô hình có trọng số; kết hợp phân tích mã ngồn và kiểm thử để xác định lỗi làm tròn...
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Thư viện Quốc gia Việt Nam LA10.0859.1, LA10.0859.2, LA10.0859.3
 https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-606488.html

 

 Tài liệu cùng tác giả

placeholder+image

Sách, tuyển tập

Ảnh hưởng của phong cách lãnh đạo đến ý định nghỉ việc của lao động ngành bán lẻ/ Đỗ Thị Bích Ngọc

Tác giả : Đỗ Thị Bích Ngọc

placeholder+image

Sách, tuyển tập

Phân lập, xác định cấu trúc và đánh giá hoạt tính ức chế acetylcholinesterase của các hợp chất từ loài Hippeastrum reticulatum (L'Hér.) Herb/ Hoàng Xuân Huyền Trang, Hồ Việt Đức, Đỗ Thị Bích Ngọc, Nguyễn Thị Hoài

Tác giả : Hoàng Xuân Huyền Trang, Hồ Việt Đức, Đỗ Thị Bích Ngọc, Nguyễn Thị Hoài

placeholder+image

Sách, tuyển tập

Lịch sử đảng bộ phường Quyết Tâm (1998 - 2015)/ Nghiên cứu, b.s.: Nguyễn Thanh Hải, Đoàn Văn Trường, Bùi Thị Bích Ngọc... ; S.t.: Nguyễn Thanh Sơn..

Tác giả : Nghiên cứu, b.s.: Nguyễn Thanh Hải, Đoàn Văn Trường, Bùi Thị Bích Ngọc... ; S.t.: Nguyễn Thanh Sơn..

Nhà xuất bản : Thế giới

Năm xuất bản : 2017

placeholder+image

Sách, tuyển tập

Tác phẩm chọn lọc tuổi hồng: Trường THPT Cẩm Phả/ Nguyễn Thị Thu Dung, Nguyễn Thị Phương Thảo, Nguyễn Ngọc Hà..

Tác giả : Nguyễn Thị Thu Dung, Nguyễn Thị Phương Thảo, Nguyễn Ngọc Hà..

Nhà xuất bản : Đại học Sư phạm

Năm xuất bản : 2010

placeholder+image

Giáo dục thành phố Hồ Chí Minh trong tiến trình đổi mới và hội nhập / Đỗ Thị Bích Ngọc, Phúc Tiến

Tác giả : Đỗ Thị Bích Ngọc, Phúc Tiến

 

 Tài liệu cùng danh mục chủ đề

placeholder+image

Sách, tuyển tập

Bài giảng Cơ sở dữ liệu: Dùng cho sinh viên Trường Cao đẳng nghề Bách khoa Hà Nội/ Bùi Thị Hoà

Tác giả : Bùi Thị Hoà

Nhà xuất bản : Bách khoa Hà Nội

Năm xuất bản : 2020

placeholder+image

Sách, tuyển tập

Data structures and algorithms: For undergraduates students/ Chien Quang Le, Hoang Quang

Tác giả : Chien Quang Le, Hoang Quang

Nhà xuất bản : Hue University

Năm xuất bản : 2019

placeholder+image

Luận án, luận văn

Real-time LoG-based operators for scene text detection: Thesis/ Nguyen Dinh Cong

Tác giả : Nguyen Dinh Cong

Năm xuất bản : 2020

placeholder+image

Sách, tuyển tập

Tin học 12/ Hồ Sĩ Đàm (ch.b.), Hồ Cẩm Hà, Trần Đỗ Hùng..

Tác giả : Hồ Sĩ Đàm (ch.b.), Hồ Cẩm Hà, Trần Đỗ Hùng..

Nhà xuất bản : Giáo dục

Năm xuất bản : 2020

placeholder+image

Sách, tuyển tập

Structured query language (SQL)/ Tran Nguyen Phong, Le My Canh

Tác giả : Tran Nguyen Phong, Le My Canh

Nhà xuất bản : Hue University

Năm xuất bản : 2020