|
|
|
|
References
|
|
| |
| 1. |
Shalimov A. V., “Metod otsenki chastoty vypolneniya fragmentov koda posledovatelnoi programmy”, Modelirovanie i analiz informatsionnykh sistem, 17:2 (2010), 122–132   |
| 2. |
Wu Youfeng, Larus J. R., “Static branch frequency and program profile analysis”, 27th Annual Symposium (International) on Microarchitecture Proceedings (1994), 1–11 |
| 3. |
Ball T., Larus J. R., “Optimally profiling and tracing programs”, ACM Transactions on Programming Languages and Systems (TOPLAS), 1994, 1319–1360   |
| 4. |
Korolev V. Yu., Smelyanskii R. L., Smelyanskii T. R., Shalimov A. V., “Ob otsenivanii chastoty vypolneniya fragmentov koda posledovatelnoi programmy”, Programmirovanie, 2013 (to appear) |
| 5. |
Palchun B. P., “Metod ispytanii ppogpamm na nadezhnost”, Funktsionalnaya ustoichivost spetsialnogo matematicheskogo obespecheniya avtomatizipovannykh sistem, M., 1989, 111–117 |
| 6. |
Parnov E. I., Na perekrestke beskonechnostei, Atomizdat, M., 1967, 464 pp. |
| 7. |
Smelianski R. L., Alanko T., “On the calculation of control transition probabilities in a program”, Inform. Process. Letters, 1984, no. 3 |
| 8. |
Smelyanskii R. L., Gurev D. E., Bakhmurov A. G., “Ob odnoi matematicheskoi modeli dlya rascheta dinamicheskikh kharakteristik programmy”, Programmirovanie, 1986, no. 6 |
| 9. |
Korolev V. Yu., Ppedelnye pasppedeleniya dlya sluchainykh posledovatelnostei so sluchainymi indeksami i nekotopye ikh ppilozheniya, Diss. … dokt. fiz.-mat. nauk, MGU, M., 1994, 265 pp. |
| 10. |
Korolev V. Yu., Sokolov I. A., Osnovy matematicheskoi teorii nadezhnosti modifitsiruemykh sistem, IPI RAN, M., 2006, 108 pp. |
| 11. |
Leman E., Proverka statisticheskikh gipotez, Nauka, M., 1979  |
| 12. |
Vald A., Posledovatelnyi analiz, Nauka, M., 1960 |
| 13. |
Korolev V. Yu., “Naibolee moschnye kpitepii ppovepki ppostoi gipotezy ppotiv ppostoi altepnativy s apostepiopnym upovnem znachimosti”, Ppoblemy ustoichivosti stokhasticheskikh modelei, Tpudy seminapa, VNIISI, M., 1985, 87–91  |
| 14. |
Korolev V. Yu., “Razlichenie dvukh ppostykh gipotez s neoppedelennymi pesheniyami”, IV Mezhdunapodnaya Vilnyusskaya konfepentsiya po teopii vepoyatnostei i matematicheskoi statistike, Tezisy dokladov, v. 2, Institut matematiki i kibernetiki AN Litovskoi SSR, Vilnyus, 1985, 100–103 |
| 15. |
Akbulatov N. A., Belokupov D. V., Korolev V. Yu., “Zadachi ppovepki nadezhnosti BIS EVM”, Razpabotka i ppimenenie v napodnom khozyaistve ES EVM, Tezisy dokladov Vsesoyuznoi shkoly-seminapa (Kishinev, 1985), M., 1985, 91–94 |
