5241 search results - page 152 / 1049 » Embedded Programming with C |
132
Voted
DDECS
2008
IEEE
15 years 4 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...
IEEECIT
2005
IEEE
15 years 7 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...
FDL
2008
IEEE
15 years 4 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...
134
Voted
RSP
2005
IEEE
15 years 7 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...
ICMT
2009
Springer
15 years 8 months ago
2009
Springer