3256 search results - page 73 / 652 » Mixin-Based Programming in C |
WOTUG
2008
15 years 4 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
112
click to vote
ESTIMEDIA
2004
Springer
15 years 8 months ago
2004
Springer
— Workload design is a well recognized problem in the domain of microprocessor design. Different program characteristics that influence the selection of a representative workloa...
100
Voted
DAC
2008
ACM
16 years 3 months ago
2008
ACM
In the past few years, MPSoC has become the most popular solution for embedded computing. However, the challenge of programming MPSoCs also comes as the biggest side-effect of the...
105
Voted
ISVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
The new design challenges imposed by the increasing difficulties of today’s electronic systems obligated designers to develop new methodologies. System-level design and Platfor...
140
click to vote
DAC
2004
ACM
15 years 6 months ago
2004
ACM
In System on Chip (SoC) design, growing design complexity has esigners to start designs at higher abstraction levels. This paper proposes an SoC design methodology that makes full...