Verification of decimal floating-point operations / (Record no. 36403)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01550cam a2200325 a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | EG-GiCUC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250223030522.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 111130s2011 ua f m 000 0 eng d |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | EG-GiCUC |
| Language of cataloging | eng |
| Transcribing agency | EG-GiCUC |
| 041 0# - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | Deposite |
| 097 ## - Thesis Degree | |
| Thesis Level | M.Sc |
| 099 ## - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | Cai01.13.08.M.Sc.2011.Am.V |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Amr Abdelfatah Ramdan Sayed Ahmed |
| 245 10 - TITLE STATEMENT | |
| Title | Verification of decimal floating-point operations / |
| Statement of responsibility, etc. | Amr Abdelfatah Ramdan Sayed Ahmed ; Supervised Hossam A. H. Fahmy |
| 246 15 - VARYING FORM OF TITLE | |
| Title proper/short title | التحقق من صحة العمليات الحسابية العشرية |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Cairo : |
| Name of publisher, distributor, etc. | Amr Abdelfatah Ramdan Sayed Ahmed , |
| Date of publication, distribution, etc. | 2011 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 98 P. ; |
| Dimensions | 30cm |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (M.Sc.) - Cairo University - Faculty of Engineering - Department of Electronics and Communication |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Decimal floating-point designs require a verification process to prove that the design is in compliance with the IEEE standarf for floating-point arihmetic (IEEE Std 754-2008). Our work is a decimal floating-point verification using simulation based verification, which a simulation method based on coverage models to cover corner cases of a certain decimal floating-point operation |
| 530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE | |
| Additional physical form available note | Issued also as CD |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Decimal floating-point operations |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Simulation based verification |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Test vectors |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Hossam Aly Hassan Fahmy , |
| Relator term | |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="http://172.23.153.220/th.pdf">http://172.23.153.220/th.pdf</a> |
| 905 ## - LOCAL DATA ELEMENT E, LDE (RLIN) | |
| Cataloger | Nazla |
| Reviser | Revisor |
| 905 ## - LOCAL DATA ELEMENT E, LDE (RLIN) | |
| Cataloger | Samia |
| Reviser | Cataloger |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Thesis |
| Source of classification or shelving scheme | Not for loan | Home library | Current library | Date acquired | Full call number | Barcode | Date last seen | Koha item type | Copy number |
|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | المكتبة المركزبة الجديدة - جامعة القاهرة | قاعة الرسائل الجامعية - الدور الاول | 11.02.2024 | Cai01.13.08.M.Sc.2011.Am.V | 01010110056372000 | 22.09.2023 | Thesis | ||
| Dewey Decimal Classification | المكتبة المركزبة الجديدة - جامعة القاهرة | مخـــزن الرســائل الجـــامعية - البدروم | 11.02.2024 | Cai01.13.08.M.Sc.2011.Am.V | 01020110056372000 | 22.09.2023 | CD - Rom | 56372.CD |