Search Results for "pixelos_beryllium-14"

...Dump out the C Model for the entire design 11. Glue-Logic insertion 12. Spare port insertion across hierarchies 13. Automatic creation of the top module and it's ports based upon specified rule 14. Creates stub module

G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.

NEWS: 11-07-2013 A new version Virmid 1.1.0 has been uploaded. 08-29-2013 Virmid paper is now published in Genome Biology. Kim S et al, "Virmid: accurate detection of somatic mutations with sample impurity inference", Genome Biology 2013, 14:R90 http://genomebiology.com/2013/14/8/R90/abstract Virmid (Virtual Microdissection for SNP calling) is a Java based variant caller designed for disease-control matched samples. Virmid is also specialized for identifying potential within individual contamination where the disease sample cannot be purified enough. While the SNP calling rate is severely compromised with this heterogeneity, Virmid can uncover SNPs with low allele frequency by considering the level of contamination (alpha). ...

Geosearch is a free/open source program to monitor the movement of users on a Google map. You can send SMS, make calls and find the optimal road to reach another user. Geosearch is an Android 4.0 application (API level 14).

The Java Web Translator library provides automatic language translation to the client's locale. Automatic language translation for 14 languages is supported including English, Espańol, Français, Italiano, Deutsch, Greek, Chinese, Japanese, Russian,. .