2776 search results - page 8 / 556 » System-Level Abstraction Semantics |
147
click to vote
FPL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. High level modeling tools make it possible to synthesize a high performance FPGA design directly from a Simulink model. Accurate estimates of the FPGA resources required ...
132
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The current trend in Embedded Systems (ES) design is moving towards the integration of increasingly complex applications on a single chip. An Embedded System has to satis...
130
click to vote
EMSOFT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
140
click to vote
DAC
1997
ACM
15 years 7 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
143
click to vote
ATS
2010
IEEE
14 years 10 months ago
2010
IEEE
In recent technology nodes, reliability is considered a part of the standard design flow at all levels of embedded system design. While techniques that use only low-level models at...