3404 search results - page 57 / 681 » C Programming Tutorial |
PLDI
2012
ACM
13 years 4 days ago
2012
ACM
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
AIED
2007
Springer
15 years 3 months ago
2007
Springer
One goal of our project is to create a dialogue agent that can behave as a student peer and collaborate with a human student to explain or diagnose data structures programs. A huma...
49
Voted
IJBC
2007
14 years 9 months ago
2007
In this tutorial, we present optimal Cellular Nonlinear Network (CNN) templates for implementing linearly-separable one-dimensional (1-D) Cellular Automata (CA). From the gallery ...
87
Voted
TCAD
2008
14 years 9 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
66
Voted
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Testing is one of the most indispensable tasks in software engineering. The role of testing in software development has grown significantly because testing is able to rev...