220 search results - page 27 / 44 » Metamorphic Testing and Beyond |
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
Audio coding at low bitrates suffers from artifacts due to spectrum truncation. Typical audio codecs code multi-channel sources using transforms across the channels to remove redu...
SBMF
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
Joint processing of sensor array outputs improves the performance of parameter estimation and hypothesis testing problems beyond the sum of the individual sensor processing result...
HIPC
2007
Springer
14 years 3 months ago
2007
Springer
As computational clusters increase in size, their mean-time-to-failure reduces. Typically checkpointing is used to minimize the loss of computation. Most checkpointing techniques, ...
SIBGRAPI
2006
IEEE
14 years 3 months ago
2006
IEEE
In this work we propose a method for the polygonization of octree-based reconstructions by dual contouring. Dual contouring is an adaptive method for determining contiguous polygo...