Search Results for "online java compiler"

this is my compiler project with my best friend Alireza Alijani .it easy change query to relation algebra picture with Latex . با سلام به دوستان این پروژه ی من و آقای علیرضا علیجانی در درس کامپایلر است کوئری پایگاه داده را یه تصویر جبر رابطه تبدیل می کند

dwos is a distribute WEB-desktop OS. It mainly contains a WEB desktop environment, a chat-online system, a network disk system, a Scientific Computing platform(developing) and so on. It is developed by JAVA language using the JSH(JSF+Spring+Hibernate) framework. After about half year testing, now it's open source, you can download it and run on your computer, Tomcat and jetty server container are tested ok. It's developed by myself, more about me, see here: http://home.ustc.edu.cn/~chh1990/chero/chero.html

We are developing MIRACH, a Statistical Online Model Checker for Biological Pathway Models, based on the PLTLs formalism for expressing the rules/properties to be checked. MIRACH can currently check pathways models written either in CSML or SBML.

This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF/UML)models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of i dynamic behavior.

The Semantic Web implementation using native xml database as backend storage. A SPARQL java compiler to XQuery using Jena. There are XQuery scripts for native xml database Sedna(http://modis.ispras.ru/sedna/).