2572 search results - page 388 / 515 » codes 2008 |
168
Voted
CAGD
2005
15 years 3 months ago
2005
We propose a new wavelet compression algorithm based on the rate-distortion optimization for densely sampled triangular meshes. Exploiting the normal remesher of Guskov et al., th...
151
Voted
TPDS
2008
15 years 3 months ago
2008
Media distribution through application-layer overlay networks has received considerable attention recently, owing to its flexible and readily deployable nature. On-demand streaming...
110
Voted
TSE
2008
15 years 3 months ago
2008
Buggy software is a reality and automated techniques for discovering bugs are highly desirable. A specification describes the correct behavior of a program. For example, a file mus...
127
Voted
TSE
2008
15 years 3 months ago
2008
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...
110
Voted
TSE
2008
15 years 3 months ago
2008
Neglected conditions are an important but difficult-to-find class of software defects. This paper presents a novel approach for revealing neglected conditions that integrates stati...