Proving correctness of a controller algorithm for the RAID Level 5 system
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2005
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/10654 |
| _version_ | 1811081692879781888 |
|---|---|
| author | Vaziri-Farahani, Mandana |
| author2 | Nancy A. Lynch. |
| author_facet | Nancy A. Lynch. Vaziri-Farahani, Mandana |
| author_sort | Vaziri-Farahani, Mandana |
| collection | MIT |
| description | Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996. |
| first_indexed | 2024-09-23T11:50:58Z |
| format | Thesis |
| id | mit-1721.1/10654 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T11:50:58Z |
| publishDate | 2005 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/106542019-04-10T14:44:43Z Proving correctness of a controller algorithm for the RAID Level 5 system Vaziri-Farahani, Mandana Nancy A. Lynch. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science Electrical Engineering and Computer Science Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996. Includes bibliographical references (p. 87-89). by Mandana Vaziri-Farahani. M.S. 2005-08-18T17:33:53Z 2005-08-18T17:33:53Z 1996 1996 Thesis http://hdl.handle.net/1721.1/10654 36270407 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 89 p. 5316674 bytes 5316429 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science Vaziri-Farahani, Mandana Proving correctness of a controller algorithm for the RAID Level 5 system |
| title | Proving correctness of a controller algorithm for the RAID Level 5 system |
| title_full | Proving correctness of a controller algorithm for the RAID Level 5 system |
| title_fullStr | Proving correctness of a controller algorithm for the RAID Level 5 system |
| title_full_unstemmed | Proving correctness of a controller algorithm for the RAID Level 5 system |
| title_short | Proving correctness of a controller algorithm for the RAID Level 5 system |
| title_sort | proving correctness of a controller algorithm for the raid level 5 system |
| topic | Electrical Engineering and Computer Science |
| url | http://hdl.handle.net/1721.1/10654 |
| work_keys_str_mv | AT vazirifarahanimandana provingcorrectnessofacontrolleralgorithmfortheraidlevel5system |