Search Results for "java programs" - Page 30

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.

JStream is a stream manipulator based on plugin architecture. Streams are manipulated via custom scripts (Java language). JStream uses Java NIO for better performances. With JStream, you can easyly create programs like : MD5Sum, TCP Redirector...

Eclipse plug-in allowing arbitrary programs to send Eclipse any keyboard events. Communication is achieved via a stateless ASCII TCP-based protocol. The keyboard events are injected into Eclipse's UI by way of a java.awt.Robot instance.

We are going to create a library of artificial intelligence, to make optimizations programs and strategic games, where we will implement a framework, algorithms of deep search style, brand search , minmax, methods like pathfinding...

axpl is an Advanced XML Programming language. Programs can be written nearly compiler and platform independend in xml. xslt can perform the output into a programming language (C,C++,C##,Java,...) into native code.

EaseFilter Cloud File System is a Windows virtual file system which was developed with the file system filter driver. The Cloud File System integrates the cloud storage into the on-premise storage, it lets on-premise application access the cloud files transparently, just as they would access on-premise regular files. With the Cloud File SDK, the developers can implement the cloud disaster recovery (Cloud DR) solution, seamlessly integrate your existing applications to the cloud...

Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about...