322 search results - page 33 / 65 » A Case Study of Hardware and Software Synthesis in ForSyDe |
IESS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract System level design is considered a major approach to tackle the complexity of modern System-on-Chip designs. Embedded software within SoCs is gaining importance as it add...
EUROMICRO
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes DTC (Documents, Transformations and Components), our approach to the XML-based development of content-intensive applications. According to this approach, the ...
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
VISUALIZATION
2005
IEEE
14 years 1 months ago
2005
IEEE
In this case study, a data-oriented approach is used to visualize a complex digital signal processing pipeline. The pipeline implements a Frequency Modulated (FM) Software-Defined...
MASCOTS
1997
13 years 9 months ago
1997
We describe a method for performance analysis of large software systems that combines a fast instruction-set simulator with off-line detailed analysis of segments of the execution...