degas

Discrete Event Gnu Advanced Scheduling for plug-in replacement of pthread compatible applications. Generates deterministic execution runs suitable for discrete event simulations and formal verification.

Project Samples

Project Activity

See All Activity >

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow degas

degas Web Site

User Reviews

Be the first to post a review of degas!

Additional Project Details

Operating Systems

Desktop Operating Systems, Solaris, Linux

Intended Audience

Science/Research, Developers

Programming Language

Ada, C

Related Categories

Ada Profiling Software, C Profiling Software

Registered

2006-05-16

Similar Business Software

Innoslate

SPEC Innovations’ flagship model-based systems engineering solution can help your team reduce time-to-market, cost, and risk on even some of the most complex systems. This cloud or on-premise application uses a modern web browser, with an intuitive graphical user interface. Innoslate’s full...

See Software
New Relic

There are an estimated 25 million engineers in the world across dozens of distinct functions. As every company becomes a software company, engineers are using New Relic to gather real-time insights and trending data about the performance of their software so they can be more resilient and...

See Software
Highcharts

Highcharts is a JavaScript charting library that allows developers to create interactive and visually appealing charts for web applications. It offers a wide range of chart types, including line charts, bar charts, pie charts, scatter plots, and more. It also supports different types of data,...

See Software

Report inappropriate content