3107 search results - page 284 / 622 » Error-Correcting Source Code |
148
click to vote
AICCSA
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
146
click to vote
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a distributed compression approach for multi-view images, where each camera efficiently encodes its visual information locally without requiring any col...
152
click to vote
ICPADS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we address the problem of cross-layer optimization in medium access control (MAC) and network layers for wireless multicasting with multiple cooperative or competit...
126
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
UML semantic variation points provide intentional degrees of freedom for the interpretation of the metamodel semantics. The interest of semantic variation points is that UML now b...
173
click to vote
MICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
Current microprocessors incorporate techniques to exploit instruction-level parallelism (ILP). However, previous work has shown that these ILP techniques are less effective in rem...