• C2e2

• Referenced in 1 article [sw20139]
• C2e2: A verification tool for stateflow models. Compare Execute Check Engine (C2E2) is a tool for verifying bounded-time invariant properties of hybrid system and Stateflow ...

• c2i

• Referenced in 2 articles [sw19488]
• From invariant checking to invariant inference using randomized search. We describe a general framework c2i for generating an invariant inference procedure from an invariant checking ...

• C4.5

• Referenced in 898 articles [sw12176]
• C4.5: programs for machine learning. (C4.5 has been superseded by C5.0)

• C4ISR

• Referenced in 1 article [sw02051]
• A data-centric framework for network enabled C4ISR software systems In this paper a data centric, platform and hardware communication protocol independent, standard compliant and net ...

• C50

• Referenced in 5 articles [sw08030]
• C50: C5.0 Decision Trees and Rule-Based Models C5.0 decision trees and rule-based models for pattern recognition

• ca

• Referenced in 7 articles [sw08085]
• Correspondence Analysis in R, with Two- and Three-dimensional Graphics: The ca Package. We describe an implementation of simple, multiple and joint correspondence analysis in R. ...

• CA3D

• Referenced in 2 articles [sw03304]
• CA3D: a Monte Carlo code to simulate 3D buffered diffusion of ions in sub-membrane domains.

• CABIN

• Referenced in 1 article [sw09283]
• CABIN: Collective analysis of biological interaction networks. The importance of understanding biological interaction networks has fueled the development of numerous interaction data generation techniques, databases ...

• CableS

• Referenced in 2 articles [sw01442]
• CableS : thread control and memory system extensions for shared virtual memory clusters Clusters of high-end workstations and PCs are currently used in many application ...

• CABOB

• Referenced in 30 articles [sw17813]
• CABOB: a fast optimal algorithm for winner determination in combinatorial auctions. Combinatorial auctions where bidders can bid on bundles of items can lead to more ...

• Cabri

• Referenced in 22 articles [sw06229]
• Students explore mathematics in an active and interactive way. A geometrical figure or an equation on the Cabri screen becomes an object to manipulate. Students ...

• Cabri 3D

• Referenced in 19 articles [sw06697]
• Modelling of selected math theorems and knowledge in ICT environments In this article we present some topics and ideas on how to use ICT in ...

• Cabri-geometry

• Referenced in 108 articles [sw04928]
• Cabri-geometry is a software for learning geometry mainly at school. Now Cabri software is developped and distributed by the Cabrilog company. Cabri is a result ...

• CacBDD

• Referenced in 1 article [sw19401]
• CacBDD: A BDD Package with Dynamic Cache Management. In this paper, we present CacBDD, a new efficient BDD (Binary Decision Diagrams) package. It implements a ...

• CACE

• Referenced in 1 article [sw03176]
• A design environment specially tailored to problems in control engineering is presented. It contains, apart from plant models and operating environments, the formulation of the ...

• Cachegrind

• Referenced in 3 articles [sw11164]
• Cachegrind: a cache and branch-prediction profile: Cachegrind simulates how your program interacts with a machine’s cache hierarchy and (optionally) branch predictor. It simulates a machine ...

• Cactus

• Referenced in 52 articles [sw04422]
• The Cactus framework and toolkit: Design and applications. We describe Cactus, a framework for building a variety of computing applications in science and engineering, including ...

• CACTUS

• Referenced in 14 articles [sw02907]
• Extensions of the branching-time logic programming language CACTUS. Cactus has been proposed as a temporal logic programming language based on the branching notion of time. ...

• Cadabra

• Referenced in 31 articles [sw00097]
• Cadabra is a powerful computer program for the manipulation of tensor equations. It is designed for use in high energy physics but its rich structure ...

• CADECOM

• Referenced in 1 article [sw02225]
• CADECOM: Computer Algebra software for functional DECOMposition. We present the Maple package Cadecom, which is designed for performing computations in rational function fields. The main ...