61 search results - page 1 / 13 » A Framework for Static Analysis of VHDL Code |
WCET
2007
13 years 5 months ago
2007
CHARME
1999
Springer
13 years 8 months ago
1999
Springer
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...
MM
2005
ACM
13 years 9 months ago
2005
ACM
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...
ADAEUROPE
2008
Springer
13 years 10 months ago
2008
Springer
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...
ECOOP
2012
Springer
11 years 6 months ago
2012
Springer
Abstract. The Jetpack framework is Mozilla’s newly-introduced extension development technology. Motivated primarily by the need to improve how scriptable extensions (also called ...