The Horus and Ensemble Projects: Accomplishments and Limitations
| dc.contributor.author | Birman, Kenneth P. | en_US |
| dc.contributor.author | Constable, Robert | en_US |
| dc.contributor.author | Hayden, Mark | en_US |
| dc.contributor.author | Hickey, Jason | en_US |
| dc.contributor.author | Kreitz, Christoph | en_US |
| dc.contributor.author | Van Renesse, Robbert | en_US |
| dc.contributor.author | Rodeh, Ohad | en_US |
| dc.contributor.author | Vogels, Werner | en_US |
| dc.date.accessioned | 2007-04-23T18:19:22Z | |
| dc.date.available | 2007-04-23T18:19:22Z | |
| dc.date.issued | 1999-10 | en_US |
| dc.description.abstract | The Horus and Ensemble efforts culminated a multi-year Cornell research program in process group communication used for fault-tolerance, security and adaptation. Our intent was to understand the degree to which a single system could offer flexibility and yet maintain high performance, to explore the integration of fault-tolerance with security and real-time mechanisms, and to increase trustworthiness of our solutions by applying formal methods. Here, we summarize the accomplishments of the effort and evaluate the successes and failures of the approach. | en_US |
| dc.format.extent | 154412 bytes | |
| dc.format.extent | 1504160 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.format.mimetype | application/postscript | |
| dc.identifier.citation | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR99-1774 | en_US |
| dc.identifier.uri | https://hdl.handle.net/1813/7428 | |
| dc.language.iso | en_US | en_US |
| dc.publisher | Cornell University | en_US |
| dc.subject | computer science | en_US |
| dc.subject | technical report | en_US |
| dc.title | The Horus and Ensemble Projects: Accomplishments and Limitations | en_US |
| dc.type | technical report | en_US |