5241 search results - page 152 / 1049 » Embedded Programming with C |
114
Voted
DDECS
2008
IEEE
15 years 2 months ago
2008
IEEE
The paper introduces a cryptographic System on a Chip (SoC) implementation based on recent Actel nonvolatile FPGA Fusion chip with embedded ARM7 soft-core processor. The SoC is bui...
92
Voted
IEEECIT
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...
84
Voted
FDL
2008
IEEE
15 years 2 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
118
click to vote
RSP
2005
IEEE
15 years 6 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
65
Voted
ICMT
2009
Springer
15 years 7 months ago
2009
Springer