20.02.2012
Abstract data types in programming
|
|
Annotation: The article discusses various aspects of abstract data types (ADT) in programming. Awareness of the concept of ADT in the mid 70s of last century led to a number of papers on the theory of programming. The concept of abstract data types at the moment is one of the most popular abstraction mechanism used by developers to write software. The paper deals with the basics of the mathematical theory that describes the abstract data types as algebraic systems. On the basis of ADT’s signatures are constructed so-called initial algebra – the syntactic representation of an ADT entities. An initial algebra can be used to verify the correctness of the code.
Keywords: abstract data types; ADT; algebraic specifications; programming theory |
22.09.2011
The Nemerle
|
|
Annotation: This part
Keywords: Programming language; Nemerle; C#; Macros; Macro |
21.09.2011
Cross-platform interaction with input-output devices
|
|
Annotation: The article tells about the first stage of the development of a family of cross-platform UNIO library using for unified interaction with the input-output devices. Describes the implementation of a new library UNIPRINT using for unified interaction with print devices.
Keywords: cross-platform; unification; programming interface; external intarface; input-output device; library; class; object; function; template; C++; STL; Win API; CUPS |
22.09.2011
Constructor of PPM codecs
|
|
Annotation: The paper proposes the implementation of a family of PPM compressors as a customizable set of C++ templates. It's possible to construct PPM codecs using these templates that can support context model orders from the 1st to the 10th inclusive with or without memory restriction. The various known methods of escape code calculation are analyzed in this paper including a new original method proposed by the author. This family of PPM compressors supports the different methods of compression improvement such as LOE, symbols exclusion, extra weighting during initialization and others. The possibility to include any other additional methods to improve the compression is also described.
Keywords: lossless compression; codec; Prediction by Partial Matching; PPM; escape code; PPMtc; finite context modeling;C++; |
04.10.2011
Creation and support Silverlight application with access throw ISA server and Load Balance System by HTTP and HTTPS protocols
|
|
Annotation: The life cycle of any application consists of the design, development, implementation, delivery and support. Usual situation is when application work in a development environment and testing environment, but does not work or partially work on customer production environment. This article describes an approach that allows minimizing the problem of support for silverlight applications using different proxy servers such as ISA server and Load Balance System using HTTP or HTTPS protocols.
Keywords: Silverlight and ISA; Silverlight and Load Balance Systems; Silverlight throw HTTP and HTTPS |
23.04.2012
The article title (in English)
|
|
Annotation: Non-trivial problems of the Singleton pattern realization under .Net.
Keywords: singleton; .NET |
23.04.2012
All about dangers of mutable value types
|
|
Annotation: Covered obscure behavior that every developer could face working with mutable value types.
Keywords: C#; value types; immutability; |
22.08.2011
Technical peculiarity of developing program for clustering complex structured data based on machine learning workbench WEKA
|
|
Annotation: This article provides an overview of machine learning workbench WEKA architecture, code modifications, which is necessary for clustering complex structured data, and problems connected with these modifications.
Keywords: Data Mining; WEKA; clustering; complex structured data |