2572 search results - page 388 / 515 » codes 2008 |
148
click to vote
CAGD
2005
15 years 22 days 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...
120
Voted
TPDS
2008
15 years 22 days 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...
86
Voted
TSE
2008
15 years 22 days 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...
104
click to vote
TSE
2008
15 years 21 days 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...
90
Voted
TSE
2008
15 years 21 days 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...