Эффективный алгоритм синтеза программ с условиями и подпрограммами; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 313, № 5: Управление, вычислительная техника и информатика.— 2008.— [С. 77-84] |
|---|---|
| Autor principal: | |
| Outros Autores: | |
| Resumo: | Заглавие с титульного листа Электронная версия печатной публикации Предлагается алгоритм синтеза программ с условиями и подпрограммами на основе заданной спецификации. Алгоритм позволяет добиться высокой производительности за счет предварительной подготовки специальных структур данных. Затраты на вывод и извлечение программы характеризуются линейной функцией от функциональных связей, объявленных в спецификации. Приведены результаты опытного сравнения с существующими алгоритмами. |
| Idioma: | russo |
| Publicado em: |
2008
|
| Colecção: | Управление, вычислительная техника и информатика |
| Assuntos: | |
| Acesso em linha: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v313/i5/17.pdf |
| Formato: | MixedMaterials Recurso Electrónico Capítulo de Livro |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173677 |
MARC
| LEADER | 00000nla2a2200000 4500 | ||
|---|---|---|---|
| 001 | 173677 | ||
| 005 | 20231031164516.0 | ||
| 035 | |a (RuTPU)RU\TPU\book\188358 | ||
| 035 | |a RU\TPU\book\188357 | ||
| 090 | |a 173677 | ||
| 100 | |a 20091229d2008 k y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 135 | |a drnn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Эффективный алгоритм синтеза программ с условиями и подпрограммами |b Электронный ресурс |f А. Е. Пинжин, В. Б. Новосельцев | |
| 203 | |a Текст |c электронный | ||
| 215 | |a 1 файл (382 Кб) | ||
| 225 | 1 | |a Управление, вычислительная техника и информатика | |
| 230 | |a Электронные текстовые данные (1 файл : 382 Кб) | ||
| 300 | |a Заглавие с титульного листа | ||
| 300 | |a Электронная версия печатной публикации | ||
| 320 | |a [Библиогр.: с. 84 (5 назв.)] | ||
| 330 | |a Предлагается алгоритм синтеза программ с условиями и подпрограммами на основе заданной спецификации. Алгоритм позволяет добиться высокой производительности за счет предварительной подготовки специальных структур данных. Затраты на вывод и извлечение программы характеризуются линейной функцией от функциональных связей, объявленных в спецификации. Приведены результаты опытного сравнения с существующими алгоритмами. | ||
| 337 | |a Adobe Reader | ||
| 461 | 1 | |0 (RuTPU)RU\TPU\book\176237 |t Известия Томского политехнического университета [Известия ТПУ] |f Томский политехнический университет (ТПУ) |d 2000- | |
| 463 | 1 | |0 (RuTPU)RU\TPU\book\188332 |x 1684-8519 |t Т. 313, № 5: Управление, вычислительная техника и информатика |v [С. 77-84] |d 2008 |p 191 с. | |
| 610 | 1 | |a алгоритмы синтеза | |
| 610 | 1 | |a синтез | |
| 610 | 1 | |a подпрограммы | |
| 610 | 1 | |a спецификация | |
| 610 | 1 | |a предварительная подготовка | |
| 610 | 1 | |a структуры данных | |
| 610 | 1 | |a затраты | |
| 610 | 1 | |a линейные функции | |
| 610 | 1 | |a функциональные связи | |
| 610 | 1 | |a логические выводы | |
| 610 | 1 | |a функциональное программирование | |
| 610 | 1 | |a условия | |
| 610 | 1 | |a труды учёных ТПУ | |
| 610 | 1 | |a электронный ресурс | |
| 610 | 1 | |a программы | |
| 700 | 1 | |a Пинжин |b А. Е. |c программист отдела информатизации и менеджмента знаний ТПУ |f 1979- |g Алексей Евгеньевич |2 stltpush |3 (RuTPU)RU\TPU\pers\25407 | |
| 701 | 1 | |a Новосельцев |b В. Б. |c профессор каф. оптимизации систем управления Института «Кибернетический центр» ТПУ |c доктор физико-математических наук |f 1955- |g Виталий Борисович |2 stltpush |3 (RuTPU)RU\TPU\pers\25404 | |
| 801 | 1 | |a RU |b 63413507 |c 20090623 |g PSBO | |
| 801 | 2 | |a RU |b 63413507 |c 20211207 |g PSBO | |
| 856 | 4 | |u http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v313/i5/17.pdf | |
| 942 | |c CF | ||