1145 search results - page 136 / 229 » The Correctness of an Optimized Code Generation |
152
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
147
click to vote
ISCC
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe a modular reference implementation of an IPbased DSL access multiplexer (DSLAM). We identify deployment trends and primary tasks a future DSLAM has to offer. The imple...
129
click to vote
EUROPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...
124
click to vote
ICESS
2004
Springer
15 years 9 months ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
167
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a semi-fragile object-based authentication solution for MPEG4 video. To protect the integrity of the video objects / sequences, a content-based watermark is em...