2610 search results - page 231 / 522 » codes 2007 |
153
click to vote
LPAR
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover ...
186
click to vote
MCAM
2007
Springer
16 years 1 days ago
2007
Springer
The H.264 video coding standard provides considerably higher coding efficiency than those of previous standards but its complexity is significantly increased. In this paper, we pro...
150
click to vote
OOPSLA
2007
Springer
16 years 1 days ago
2007
Springer
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular a...
152
click to vote
SAMOS
2007
Springer
16 years 18 hour ago
2007
Springer
Abstract. Contemporary SoC designs ask for system-level debugging tools suitable to heterogeneous platforms. Such tools will have to rely on some low-level model-driven debugging e...
148
click to vote
VLSI
2007
Springer
16 years 13 hour ago
2007
Springer
In this paper, we present an efficient H.264 / MPEG4 Part 10 Intra Frame Coder System. The system achieves real-time performance for portable applications with low hardware cost, ...