Cheap Recovery: A Key to Self-Managing State

Cheaters in the Steam Community Gaming Social Network

Cheating for Problem Solving: A Genetic Algorithm with Social Interactions

Chebyshev Expansions for Solutions of Linear Differential Equations

Chebyshev Polynomial Approximation for Distributed Signal Processing

Chebyshev Polynomials in Distributed Consensus Applications

Check on JPL DExxx using HIPPARCOS and TYCHO Observations

Check Reliability Based Bit-Flipping Decoding Algorithms for LDPC Codes

Checkable Codes from Group Rings

Checkbochs: Use Hardware to Check Software

Checking C++ Programs for Dimensional Consistency

Checking Finite State Machine Conformance when there are Distributed Observations

Checking modes of HAL programs

Checking of a scheme for the computation of electron density according to data obtained with the Vertikal'-4 rocket

Checking of the stability of the atmospheric optical properties.

Checking Properties within Fairness and Behavior Abstractions

Checking Security Policy Compliance

Checking Tests for Read-Once Functions over Arbitrary Bases

Checking the Quality of Clinical Guidelines using Automated Reasoning Tools

Checkpointing vs. Migration for Post-Petascale Machines