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. Kiểm chứng. 3. Thô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

Tin học 4: Sách giáo viên/ Hồ Sĩ Đàm (tổng ch.b.), Nguyễn Thanh Thuỷ (ch.b.), Hồ Cẩm Hà..

Tác giả : Hồ Sĩ Đàm (tổng ch.b.), Nguyễn Thanh Thuỷ (ch.b.), Hồ Cẩm Hà..

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

Năm xuất bản : 2023

placeholder+image

Sách, tuyển tập

Tin học 4: Sách đã được Bộ trưởng Bộ Giáo dục và Đào tạo phê duyệt sử dụng trong cơ sở giáo dục phổ thông tại Quyết định số 4434/QĐ-BGDĐT ngày 21/12/2022/ Hồ Sĩ Đàm (tổng ch.b.), Nguyễn Thanh Thuỷ (ch.b.), Hồ Cẩm Hà..

Tác giả : Hồ Sĩ Đàm (tổng ch.b.), Nguyễn Thanh Thuỷ (ch.b.), Hồ Cẩm Hà..

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

Năm xuất bản : 2023

placeholder+image

Sách, tuyển tập

Bài tập Tin học 4/ Hồ Sĩ Đàm (tổng ch.b.), Nguyễn Thanh Thuý (ch.b.), Hồ Cẩm Hà..

Tác giả : Hồ Sĩ Đàm (tổng ch.b.), Nguyễn Thanh Thuý (ch.b.), Hồ Cẩm Hà..

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

Năm xuất bản : 2023

placeholder+image

Sách, tuyển tập

Kết quả Tổng điều tra kinh tế năm 2021 tỉnh Nam Định/ B.s.: Vũ Thị Hường, Trần Thị Mơ, Đỗ Thị Bích Ngọc..

Tác giả : B.s.: Vũ Thị Hường, Trần Thị Mơ, Đỗ Thị Bích Ngọc..

Nhà xuất bản : Thống kê

Năm xuất bản : 2022

placeholder+image

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

Tác động của phong cách lãnh đạo đến ý định nghỉ việc của người lao động ngành bán lẻ Việt Nam: LATS Quản trị nhân lực: 9.34.04.04/ Đỗ Thị Bích Ngọc

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

Năm xuất bản : 2022

 

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

placeholder+image

Sách, tuyển tập

Xây dựng ứng dụng web bằng PHP & MySQL : : Kèm sách / Phạm Hữu Khang, Hoàng Đức Hải; Phương Lan hiệu đính

Tác giả : Phạm Hữu Khang, Hoàng Đức Hải; Phương Lan hiệu đính

Nhà xuất bản : Nxb Mũi Cà Mau

Năm xuất bản : 2005

placeholder+image

Sách, tuyển tập

Web design with macromedia studio MX 2004 / Eric Hunley Sách có kèm CD-ROM

Tác giả : Eric Hunley

Nhà xuất bản : Cahrles River media

Năm xuất bản : 2004

placeholder+image

Sách, tuyển tập

MySQL and perl for the web / Paul Dubois

Tác giả : Paul Dubois

Nhà xuất bản : New Riders

Năm xuất bản : 2002

placeholder+image

Sách, tuyển tập

Lập trình SQL căn bản / Đoàn Thiện Ngân, Đoàn Thị Thanh Diễm, Hoàng Đức Hải

Tác giả : Đoàn Thiện Ngân, Đoàn Thị Thanh Diễm, Hoàng Đức Hải

Nhà xuất bản : Lao Động Xã Hội

Năm xuất bản : 2004

placeholder+image

Sách, tuyển tập

HTML : : Your visual blueprint for designing web pages with HTML, CSS, and XHTML / Paul Whitehead, James H. Russell

Tác giả : Paul Whitehead, James H. Russell

Nhà xuất bản : Wiley

Năm xuất bản : 2005