Абстрактные типы данных в программировании
|
|
В статье рассматриваются различные аспекты применения абстрактных типов данных (АТД) в программировании. Осознание концепции АТД в середине 70-х годов прошлого века повлекло за собой целый ряд работ в области теории программирования. Абстрактные типы данных на текущий момент являются одним наиболее популярных механизмов абстракции, используемым разработчиками при написании программного кода. В работе рассматриваются также основы математической теории, описывающей абстрактные типы данных как алгебраические системы. На основе сигнатур абстрактных типов данных строятся т.н. инициальные алгебры – синтаксические представления описываемых посредством АТД сущностей. Инициальные алгебры могут использоваться для верификации корректности программного кода. |
22.09.2011
Язык Nemerle
|
|
Данная часть посвящена макросам Nemerle. |
21.09.2011
Кроссплатформенное взаимодействие с устройствами ввода-вывода
|
|
В статье рассказывается о первом этапе разработки семейства кроссплатформенных библиотек UNIO для унифицированного взаимодействия с устройствами ввода-вывода. Рассматривается реализация новой библиотеки UNIPRINT для унифицированного взаимодействия с устройствами печати. |
22.09.2011
Конструктор PPM-подобных кодеков
|
|
В работе предлагается реализация семейства компрессоров на базе алгоритма РРМ в виде настраиваемого набора шаблонных классов языка С++. С помощью этого набора можно сконструировать РРМ кодеки порядков с 1-го по 10-й включительно, как имеющих ограничения по размеру запрашиваемой памяти, так и без них. В работе исследуются различные известные методы вычисления вероятности кода ухода, включая новый оригинальный метод предложенный автором. Для повышения степени компрессии используются различные методы, такие как: LOE, исключение символов, увеличение веса при инициализации и другие, а также предусмотрена возможность подключения дополнительных методов улучшения сжатия. |
04.10.2011
Разработка и сопровождение корпоративных Silverlight-приложений с доступом через ISA-сервер и Load Balance System по протоколам http и https
|
|
Жизненный цикл любого приложения состоит из проектирования, разработки, внедрения и сопровождения. Часто возникает ситуация, когда разработанное приложение работает в среде разработки и среде тестирования, но не работает или работает частично у клиентов. В данной статье описан подход, позволяющий минимизировать проблемы сопровождения для silverlight приложений, использующихся через различные прокси-сервера, такие как ISA сервера и Load Balance System, с использованием HTTP или HTTPS протоколов. |
23.04.2012
О синглтонах и статических конструкторах
|
|
В статье рассматриваются нетривиальные подводные камни, встречающиеся при наивной реализации паттерна Синглтон на .Net. |
23.04.2012
О вреде изменяемых значимых типов
|
|
В статье рассматриваются случаи неочевидного поведения, с которым может столкнуться разработчик при работе с изменяемыми значимыми типами. |
22.08.2011
Технические особенности разработки программы кластеризации сложноструктурированных данных на базе платформы WEKA
|
|
В статье рассмотрена архитектура платформы WEKA, изменения, необходимые для кластеризации сложноструктурированных данных и основные проблемы, связанные с этими изменениями. |
