Sciweavers

Share
63 search results - page 1 / 13
» A Framework for Static Analysis of VHDL Code
Sort
View
CHARME
1999
Springer
130views Hardware» more  CHARME 1999»
9 years 17 days ago
Program Slicing of Hardware Description Languages
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Ra...
SCP
2016
3 years 4 months ago
Improving static analyses of C programs with conditional predicates
Abstract. Static code analysis is increasingly used to guarantee the absence of undesirable behaviors in industrial programs. Designing sound analyses is a continuing trade-off be...
Sandrine Blazy, David Bühler, Boris Yakobowsk...
MM
2005
ACM
250views Multimedia» more  MM 2005»
9 years 1 months ago
An object-based video coding framework for video sequences obtained from static cameras
This paper presents a novel object-based video coding framework for videos obtained from a static camera. As opposed to most existing methods, the proposed method does not require...
Asaad Hakeem, Khurram Shafique, Mubarak Shah
ADAEUROPE
2008
Springer
9 years 2 months ago
A Framework for CFG-Based Static Program Analysis of Ada Programs
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
Raul Fechete, Georg Kienesberger, Johann Blieberge...
books