2572 search results - page 246 / 515 » codes 2008 |
164
click to vote
STVR
2002
15 years 4 months ago
2002
Code-coverage-based test data adequacy criteria typically treat all coverable code elements (such as statements, basic blocks, or outcomes of decisions) as equal. In practice, how...
121
click to vote
JSYML
2008
15 years 5 months ago
2008
In this paper we give a new proof of the characterization of the closed fragment of the provability logic of Heyting's Arithmetic. We also provide a characterization of the c...
150
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
The allowable computational complexity of video encoding is limited in a power-constrained system. Different video frames are associated with different motions and contexts, and s...
169
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
The recent shift in the industry towards chip multiprocessor (CMP) designs has brought the need for multi-threaded applications to mainstream computing. As observed in several lim...
139
click to vote
PERCOM
2008
ACM
16 years 4 months ago
2008
ACM
Many pervasive computing systems have been built for using mobile computers to interact with networked devices. To deploy a device's user-interface, several systems dynamical...