3342 search results - page 462 / 669 » Automating Abstract Interpretation |
86
Voted
DAC
1999
ACM
16 years 1 months ago
1999
ACM
Abstract? Fixed-point DSPs are a class of embedded processors with highly irregular architectures. This irregularity makes it difficult to generate high-quality machine code from p...
88
Voted
DAC
1999
ACM
16 years 1 months ago
1999
ACM
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...
108
click to vote
DAC
2000
ACM
16 years 1 months ago
2000
ACM
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
112
click to vote
DAC
2001
ACM
16 years 1 months ago
2001
ACM
Communication-based design represents a formal approach to systemon-a-chip design that considers communication between components as important as the computations they perform. Ou...
102
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...