RSS

#2

Автор: Лапшин Владимир Анатольевич
В статье рассматриваются различные аспекты применения абстрактных типов данных (АТД) в программировании. Осознание концепции АТД в середине 70-х годов прошлого века повлекло за собой целый ряд работ в области теории программирования. Абстрактные типы данных на текущий момент являются одним наиболее популярных механизмов абстракции, используемым разработчиками при написании программного кода. В работе рассматриваются также основы математической теории, описывающей абстрактные типы данных как алгебраические системы. На основе сигнатур абстрактных типов данных строятся т.н. инициальные алгебры – синтаксические представления описываемых посредством АТД сущностей. Инициальные алгебры могут использоваться для верификации корректности программного кода.
Автор: Чистяков Владислав Юрьевич
Источник: RSDN Magazine #2-2011
Данная часть посвящена макросам Nemerle.
Автор: Васильев Сергей Александрович
В статье рассказывается о первом этапе разработки семейства кроссплатформенных библиотек UNIO для унифицированного взаимодействия с устройствами ввода-вывода. Рассматривается реализация новой библиотеки UNIPRINT для унифицированного взаимодействия с устройствами печати.
Автор: Титов Анатолий Анатольевич
В работе предлагается реализация семейства компрессоров на базе алгоритма РРМ в виде настраиваемого набора шаблонных классов языка С++. С помощью этого набора можно сконструировать РРМ кодеки порядков с 1-го по 10-й включительно, как имеющих ограничения по размеру запрашиваемой памяти, так и без них. В работе исследуются различные известные методы вычисления вероятности кода ухода, включая новый оригинальный метод предложенный автором. Для повышения степени компрессии используются различные методы, такие как: LOE, исключение символов, увеличение веса при инициализации и другие, а также предусмотрена возможность подключения дополнительных методов улучшения сжатия.
Автор: Шилин Валентин Алексеевич
Жизненный цикл любого приложения состоит из проектирования, разработки, внедрения и сопровождения. Часто возникает ситуация, когда разработанное приложение работает в среде разработки и среде тестирования, но не работает или работает частично у клиентов. В данной статье описан подход, позволяющий минимизировать проблемы сопровождения для silverlight приложений, использующихся через различные прокси-сервера, такие как ISA сервера и Load Balance System, с использованием HTTP или HTTPS протоколов.
Автор: Тепляков Сергей Владимирович
В статье рассматриваются нетривиальные подводные камни, встречающиеся при наивной реализации паттерна Синглтон на .Net.
Автор: Тепляков Сергей Владимирович
В статье рассматриваются случаи неочевидного поведения, с которым может столкнуться разработчик при работе с изменяемыми значимыми типами.
Автор: Раскин Алексей Анатольевич
В статье рассмотрена архитектура платформы WEKA, изменения, необходимые для кластеризации сложноструктурированных данных и основные проблемы, связанные с этими изменениями.