Search Results for "memory management"

Maxima is a computer algebra system comparable to commercial systems like Mathematica and Maple. It emphasizes symbolic mathematical computation: algebra, trigonometry, calculus, and much more. For example, Maxima solves x^2-r*x-s^2-r*s=0, giving the symbolic results [x=r+s, x=-s]. It can also calculate with exact integers and fractions, native floating-point, and high-precision big floats. Maxima has user-friendly front-ends, an online manual, plotting commands, and numerical...

...Most of the existing tools which are developed to analyze exome files are not adequate for large VCF files produced by whole genome studies. In this work we present VCF-Explorer, a variant analysis software capable of handling large files. Efficient memory management of the program and the elimination of preliminary parsing step enable to carry out the analysis at ordinary computers. VCF-Explorer presents an easy to use environment where various types of queries for the annotation and the samples can be defined. VCF-Explorer can be run at different environments and computational platforms ranging from a standard laptop to an advanced server.

...Among other features it provides o a template instantiation machine for evaluating the value of an lambda calculus expression, o a template instantiation machine for evaluating the Hindley-Milner type (http://en.wikipedia.org/wiki/Hindley-Milner) of an lambda calculus expression, and o reference counter based memory management for lambda calculus expressions and types. "libmx" is written in C (C99).

this project aims at porting part of uclinux kernel to vs2008, such as memory management, device management, file systems, etc. it's used for research only!

Efficient Symbolic Tools package (EST) is a BDD based tool for the formal verification of concurrent systems. Its advantages are flexibility, portability and an efficient memory management. It runs under different OS, including Linux and Windows 2000/XP.

A Protected mode microkernel for the x86 system. With features like memory management, multitasking and protection will be included in the kernel, the rest will be added as drivers/software.