Search Results for "tccs"
Sort By:
Showing 2 open source projects for "tccs"
View related business solutions-
SKUDONET ADC, operates at the application layer, efficiently distributing network load and application load across multiple servers. This not only enhances the performance of your application but also ensures that your web servers can handle more traffic seamlessly.
-
Copy5 is the first platform built to emulate how people actually work, bringing all the benefits of physically working in the same room into the digital space. Customize your daily workspace to prioritize activities, update tasks or collaborate with others.
-
1
Concurrency Workbench NC
Automatic verification of concurrent software systems
The Concurrency Workbench of the New Century (CWB-NC) provides support for the automated verification of concurrent software systems. The tool allows the user to write a description of the system at hand in one of several design languages (CCS, CSP, LOTOS, PCCS, SCCS, TCCS). Furthermore it supports a variety of automated verification and analysis techniques to check whether the system adheres to its specifications. Among the verification and analysis techniques are: - Behavioral-Relation... -
2
Parser of `tc class` output; shows current classes usage based on "rate" value, using "parent" infomation to create hierarchical tree of them, so that it can display statistics with given recursion limit. Supports classid translation. Watch your queues!
- Previous
- You're on page 1
- Next