3342 search results - page 498 / 669 » Automating Abstract Interpretation |
DAC
1996
ACM
14 years 2 months ago
1996
ACM
Abstract -- This paper introduces a new HW/SW partitioning algorithm used in automating the instruction set processor design for pipelined ASIP (Application Specific Integrated Pro...
ROBOCUP
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. The automated generation of multimedia reports for timevarying scenes on the basis of visual data constitutes a challenging research goal with a high potential for many i...
DAGM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In the research area of historical documents it is of high interest to reconstruct the process of the emergence of a historical typesetted document. Therefore, the chrono...
DSOM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The complexity of today's large-scale enterprise applications demands system administrators to monitor enormous amounts of metrics, and reconfigure their hardware as...
ITP
2010
14 years 2 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...