- dependable computing
- гарантоспособные вычисления (позволяющие гарантировать получение верного результата в условиях наличия неисправностей)
Большой англо-русский и русско-английский словарь. 2001.
dependable computing
Смотреть что такое "dependable computing" в других словарях:
Dependable Systems and Networks — The International Conference on Dependable Systems and Networks (or DSN) is an annual conference on topics related to dependable computer systems and reliable networks. It typically features a number of coordinated tracks, including the… … Wikipedia
International Conference on Dependable Systems and Networks — The International Conference on Dependable Systems and Networks (or DSN) is an annual conference on topics related to dependable computer systems and reliable networks. It typically features a number of coordinated tracks, including the… … Wikipedia
Real-time computing — In computer science, real time computing (RTC) is the study of hardware and software systems that are subject to a real time constraint i.e., operational deadlines from event to system response. By contrast, a non real time system is one for… … Wikipedia
Grid-Computing — ist eine Form des verteilten Rechnens, bei der ein virtueller Supercomputer aus einem Cluster lose gekoppelter Computer erzeugt wird. Es wurde entwickelt, um rechenintensive wissenschaftliche – insbesondere mathematische – Probleme zu lösen.… … Deutsch Wikipedia
Grid Computing — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Grid Computing ist eine Form des verteilten Rechnens, bei der ein… … Deutsch Wikipedia
Grid computing — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Grid Computing ist eine Form des verteilten Rechnens, bei der ein… … Deutsch Wikipedia
Dependability — is a value showing the reliability of a person to others because of his/her integrity, truthfulness, and trustfulness, traits that can encourage someone to depend on him/her. The wider use of this noun is in Systems engineering. Dependability as… … Wikipedia
Keith Marzullo — is the inventor of Marzullo s algorithm, which is part of the basis of the Network Time Protocol and the Windows Time Service.Currently he is Professor and Chair, Department of Computer Science and Engineering at University of California, San… … Wikipedia
Virgil D. Gligor — Infobox Scientist name = Virgil D. Gligor birth date = Birth date and age|1949|7|28|df=y box width = image width = 100 caption = Virgil D. Gligor, 2007 birth date = birth place = death date = death place = residence = citizenship = nationality =… … Wikipedia
Concolic testing — (a portmanteau of concrete and symbolic) is a hybrid software verification technique that interleaves concrete execution (testing on particular inputs) with symbolic execution, a classical technique that treats program variables as symbolic… … Wikipedia
Zhe Chen — (Simplified Chinese: 陈哲; pinyin: Chén Zhé; birthday: April 4, 1981) is a Chinese computer science researcher. He was born in Hengyang, Hunan, China.CareerEducationZhe Chen graduated with a B.S. degree in computer science and Master degree in… … Wikipedia
