10602 search results - page 1833 / 2121 » Weakly Useful Sequences |
166
click to vote
TACAS
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
188
click to vote
VLBV
2005
Springer
16 years 27 days ago
2005
Springer
We vary the quantization parameter in H.264 video encoding by increasing it by a well-chosen offset in every other frame, which we call reduced frames. As the motion compensation ...
225
click to vote
CIKM
2005
Springer
16 years 26 days ago
2005
Springer
Existing web usage mining techniques focus only on discovering knowledge based on the statistical measures obtained from the static characteristics of web usage data. They do not ...
206
click to vote
DAC
2004
ACM
16 years 26 days ago
2004
ACM
Silicon compilers are often used in conjunction with Field Programmable Gate Arrays (FPGAs) to deliver flexibility, fast prototyping, and accelerated time-to-market. Many of these...
224
click to vote
ISSTA
2004
ACM
16 years 26 days ago
2004
ACM
Object oriented programming promotes reuse of classes in multiple contexts. Thus, a class is designed and implemented with several usage scenarios in mind, some of which possibly ...