Search Results for "data visualization, research"

PEARL is a high level procedural programming language, which was especially designed for the demanding need to have an expressive and comfortable language for solving multitasking problems when controlling technincal processes. PEARL is an abbreviation for "(P)rocess and (E)xperiment (A)utomation (R)ealtime (L)anguage". It was designed around 1975 at the IRT Institute of the Leibniz University in Hannover with the idea in mind to have an easy to learn programming language for realtime...

X10 is a class-based, strongly-typed, garbage-collected, object-oriented language. To support concurrency and distribution, X10 uses the Asynchronous Partitioned Global Address Space programming model (APGAS). This model introduces two key concepts -- places and asynchronous tasks -- and a few mechanisms for coordination. With these, APGAS can express both regular and irregular parallelism, message-passing-style and active-message-style computations, fork-join and bulk-synchronous...

Graal collects profiling information when interpreting Java Bytecode. This tool gives the user the ability to inspect these Graal internal datastructures easily. Installation instructions are provided in the wiki.

Tsunami is an open-source high performance computing language. With it you can write streaming data-parallel algorithms that utilize GPGPUs for orders-of-magnitude speed-up with the ease of writing sequential algorithms.

The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

Evaluates XPath 1.0 expressions over W3C XML Schema definitions to get a compile-time prediction of nodes that will be matched at run-time. Project homepage: http://xpath-on-schema.sourceforge.net/

BDD-Based Deductive Database, an implementation of Datalog that uses Binary Decision Diagrams as the underlying data structure. This allows it to represent exponentially-sized relations efficiently.

The SrcML Framework allows converting Sourcecode to a XML representation on which tools can then be used to deduce statical data for analyzing and visualizing the initial source. It also provides easy ways to write programs which modify other programs.

JavaCET is an API wrote in Java that allows to analyze Java source code and libraries, and control its execution and its trace in an integrated and comprehensible object-oriented way. It allows backwards execution.

ByteML is a XML-JavaBytecode interoperability framework. With the aid of this framework the end-user can convert bytecode ( Java .class files ) to XML files and vice-versa.

Flow4J is a java framework, that enables the user to model process flow with a gui interface. The flow may include tasks, decisions or calls to other process flows. The saved flow is in a jar file together with its bytecode.

The Data Abstraction Penalty benchmark for Small Objects in Java and C#, version 2.

A framework for data-flow based program analysis, implemented as a set of Java APIs. By using this framework, researchers and developers can easily implement analyses, test their correctness, and evaluate their performance. In addition, the framework all