1456 search results - page 23 / 292 » DYANA: An Environment for Embedded System Design and Analysi... |
147
click to vote
DATE
2009
IEEE
16 years 28 days ago
2009
IEEE
In this work, the focus is put on the behavior of a system in case a fault occurs that disables the system from executing its applications. Instead of executing a random subset of...
176
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
Performance evaluation of embedded software is essential in an early development phase so as to ensure that the software will run on the embedded device's limited computing r...
196
click to vote
FDL
2007
IEEE
16 years 15 days ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
171
click to vote
SOCO
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
116
click to vote
SAMOS
2007
Springer
16 years 8 days ago
2007
Springer
—This paper describes the design of a programmable coprocessor for Public Key Cryptography (PKC) on an FPGA. The implementation provides a very broad range of functions together ...