Search Results for "computer science projects" - Page 13

GraphIL is a graphical editor for the intermediate language, one of the input formalisms of Verics. Verics is a tool for automated verification of Timed Automata and protocols, developed in the Institute of Computer Science of Polish Academy of Sciences.

This project has been integrated with project http://sf.net/projects/okopo and will be shutdown when the published files have been transferred there.

Xylophon is an UML Modeling Tool written in 100% Java. Projects can be exported to different formats like xmi, eps, svg, jpeg etc.

All ZZ/OSS packages, used by <a href="http://www.conesys.net">CONESYS</a>, <a href="http://www.zzoss.com/projects/installer">ZIC</a>.

A web-based project management and development environment written in PHP. Provides a means for developers of a single project or many projects to manage the difficulties of keeping in touch and up to date.

ImageJ is a public domain Java image processing program inspired by NIH Image for the Macintosh. It runs, either as an online applet or as a downloadable application, on any computer with a Java 1.1 or later. HOME @ http://rsb.info.nih.gov/ij/

JOPE (Java Open Project Enviroment) focuses on making development of java projects easier by providing all tools in one place. Features include: Maven support, Ant support, Issue tracking, Mailing lists, VCS support ...

ECG manages different emulator projects. Each project has cpu information (bits, opcodes, registers, etc.) and memory managment(Description, Mirrors, etc.). Once you have done the CPU and Memory Project, you will be able to cross/generate C/C++ code.

JBeanCommon project aims to build a collection of Java classes used by other JBean projects.

The aim of this project is to realize an implementation of a Random Access Machine (which is a common tool in theory of computer science).

This project is a translator of java .class files containing java bytecode to the Common Language Architecture (CLI) executable code files. CLI, it is the base specification of Microsoft .Net framework (However, this projects intends to be independe

Pattern recognition software package. It includes several classification and clustering algorithms. It can read data from a set of images, an ASCII file or a JDBC connection. A small TCP data server with its corresponding JDBC driver is included.

The original project developers have moved to: http://www.sourceforge.net/projects/evros A new attempt will be started here, but don't expect anything for a while.

This Project ist developing a Java Applet, that allows visualising the components in a CORBA Component Server. The visualisation is realised in relation to a project at the Institute for Computer Science at Humboldt-University Berlin.

This tutorial is targeted towards beginning programmers with little or no experience. It is based on my experience of Computer Science which began in Fortran. It will of course introduce fortran and it's feature. The compiler to be used is g77 (win/linux)

Institute of Technology, Blanchardstown Computer Science code by the class of 2007-2011 on course BN104. In this project we are open sourcing all of our project work to the public in the hopes it can be reused, built-upon, and used in education.

Server/Client System for managing a Scientific Journal. Cross platform wxWidgets based.

The PNMP (Petri Nets Modeling Platform) project aims at providing, in collaboration with Eclipse EMF, GMF, PNML Framework, and other future projects, a comprehensive approach to MDD for Embedded Systems on top of the Eclipse Project platform.

The FermaT toolset is the implementation of the FermaT Transformation Technology which developed semantic preserving code transformations to simplify programs without changing their behavior. The correctness is guaranteed by mathematical proof.

TX is a free and open source cross-platform Computer Assisted Translation tool with translation memory, full and partial matches, machine translation, glossaries, search engine, support for various document types, and translation projects.

This projects implements various optimization heuristics and meta-heuristics (such as local search, VND, GRASP, Simulated Annealing, and more still to come) finding solutions on the post enrolment course timetabling problem.

COMP-525 Paper is a graduate-level computer science research paper that explores compiler optimization in general.

Compiler and virtual machine of a new programming language similar to pascal with learning proposals for computer science engineering students.

Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...