4079 search results - page 618 / 816 » Differential Testing for Software |
123
click to vote
FOSSACS
2003
Springer
15 years 9 months ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
132
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
127
click to vote
COMPIMAGE
2010
Springer
15 years 9 months ago
2010
Springer
We study how the quality of an image reconstructed by a binary tomographic algorithm depends on the direction of the observed object in the scanner, if only a few projections are a...
126
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The systematic design of a high-speed, high-accuracy Nyquist A/D converter is proposed. The presented design methodology covers the complete flow and is supported by software tool...
117
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
The architecture and implementation of the LEON-FT processor is presented. LEON-FT is a fault-tolerant 32-bit processor based on the SPARC V8 instruction set. The processors toler...