2218 search results - page 176 / 444 » Testing Expressibility Is Hard |
114
Voted
FDL
2008
IEEE
15 years 7 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
121
Voted
SIGCSE
2008
ACM
15 years 21 days ago
2008
ACM
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...
111
click to vote
MICRO
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...
127
Voted
SIES
2010
IEEE
14 years 10 months ago
2010
IEEE
The aim of this paper is to introduce LinCAN, a CAN driver system for Linux, developed at the Department of Control Engineering of the Czech Technical University in Prague, and to ...
93
Voted
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
In this paper we consider the estimation of the unknown hyperparameters for the problem of reconstructing a high-resolution image from multiple undersampled, shifted, blurred and ...