8398 search results - page 1059 / 1680 » Optimal Software Testing |
179
click to vote
FOSSACS
2003
Springer
16 years 20 days 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...
186
click to vote
ICFEM
2003
Springer
16 years 19 days 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...
188
click to vote
COMPIMAGE
2010
Springer
16 years 17 days 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...
177
click to vote
DATE
2002
IEEE
16 years 12 days 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...
176
click to vote
DSN
2002
IEEE
16 years 12 days 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...