Linux kernel network stack improvements

Rfunc udf library - user defined library for firebird databaseAXMPP - Library for ada language with xmmp protocol implementationMatreska - Development of SAX XML Writer.QtAda - a ada binding to QT library: www.qtada.com

Research and development for embedded systems. Implementation of SDK components for Secure operating system for ARM/ARM64 architecture: GCC-based toolchain, development tools, userspace layer for secure kernel: core libraries, services, application General platform specifications support, QA. Support of Samsung Smart TV platform: Toolchain: Building, verification, benchmarking of GCC based cross-toolchain for ARM and MIPS Porting google-perftools to MIPS architecture. Design and development of automated message-based protocol verification framework. HW emulation in qemu: NOR flash, ARM CPU caches (ARM1176jszfs), Serial devices, Non-volatile DRAM. Implementation of memory access trace collecting tool for userspace applications in qemu. Research and development in decreasing Linux start-up time on ARM platform. Porting SW suspend mechanism in Linux kernel for Tegra 250 Board. Porting Firefox to ARM and MIPS platforms.

Research and development for embedded systems.Porting S/W to ARM and MIPS architecture.Linux Kernel hacking.Emulation of various HW in qemu Emulator.Cross compilers building and testing.Cross compilers benchmarking.Porting Linux kernel swsuspend approach to Tegra 250 Board.Developing tool for automated SW building, installing and dependencies resolving.

Implementation of Automated Air Traffic Control system.Implementation of QtAda bindings - Qt4 Bindings for Ada Language.Implementation of AdaMOF - Meta Modelling library for Ada Language.