RSS 7 projects tagged "Windows"

Download Website Updated 30 Jul 2012 TAU

Screenshot
Pop 173.95
Vit 14.77

TAU (Tuning and Analysis Utilities) is a set of tools for analyzing the performance of C, C++, Fortran and Java programs. It collects much more information than is available through prof or gprof, the standard Unix utilities, including per-process, per-thread, and per-host information, inclusive and exclusive function times, profiling groups that allow you to organize data collection, access to hardware counters on some systems, per-class and per-instance information, the ability to separate data for each template instantiation, start/stop timers for profiling arbitrary sections of code, and support for collection of statistics on user-defined events.

Download Website Updated 19 Sep 2004 SPIN Distributed Software Verification Tool

Screenshot
Pop 43.05
Vit 2.63

Spin is an award winning (ACM) software tool that can be used for the formal verification of distributed software systems. The tool was developed at Bell Labs in the original Unix group of the Computing Sciences Research Center.

Download Website Updated 28 Sep 2004 CCIDE

Screenshot
Pop 31.51
Vit 2.01

Ccide reads C, C++, BASIC, or bash source code containing embedded decision tables from stdin, expands the tables, copies the remaining statements, and forms a compilable C or C++ source module, executable bash script, or interpretable BASIC program. Erratic side effects are avoided by evaluating all condition expressions at exactly the same time, and by performing all evaluations and actions in the original sequence.

Download Website Updated 01 Feb 2008 Jensor

Screenshot
Pop 17.15
Vit 1.73

Jensor is a light-weight, low-overhead Java profiler built using Java BCI. Jensor provides innovative analysis modules like JVM Replay, Pattern Analysis, and Tagging Engine for technical as well as business analysis based on the same underlying data.

Download Website Updated 23 Jan 2004 CMT++

Screenshot
Pop 40.32
Vit 1.01

CMT++ is a code metric tool for C and C++. It also supports assembly code, in separate files and inline.

No download Website Updated 23 Nov 2002 C/C++ Program Perfometer

Screenshot
Pop 44.36
Vit 1.00

C/C++ Program Perfometer checks the performance of a C/C++ program and separate pieces of code for any metrics (e.g. uclocks, rusage metrics, metrics defined by the user, etc.). The measurement results are represented in detailed/summary reports. The detailed report has results for individual tests, and the summary one has average cost and its analysis. The comparison results are represented in comparative tables for individual comparison groups. The user may set various parameters in order to control the measurement/comparison process: measurement report and detailed measurement report flags, total iteration and tests, measurement scale, and confidence threshold.

No download Website Updated 10 Sep 2003 TimesTool

Screenshot
Pop 23.81
Vit 1.00

TIMES is a tool suite designed mainly for symbolic schedulability analysis and synthesis of executable code with predictable behaviors for real-time systems. Given a system design model consisting of a set of application tasks (required to meet mixed timing, precedence, and resource constraints), a network of timed automata describing the task arrival pattern and a preemptive or non-preemptive scheduling policy, TIMES will generate a scheduler, and calculate worst-case response times for the tasks. The design model may be further validated using a model checker and then compiled to executable C-code.

Screenshot

Project Spotlight

Xfce WMdock Plugin

A compatibility layer for Window Maker dockapps for XFCE.

Screenshot

Project Spotlight

Liferea

A desktop news aggregator for reading news feeds and Web logs.