Sciweavers

3516 search results - page 37 / 704
» Integrating Security Modeling into Embedded System Design
Sort
View
ISI
2005
Springer
15 years 5 months ago
Performance Study of a Compiler/Hardware Approach to Embedded Systems Security
Abstract. Trusted software execution, prevention of code and data tampering, authentication, and providing a secure environment for software are some of the most important security...
Kripashankar Mohan, Bhagirath Narahari, Rahul Simh...
DATE
2007
IEEE
74views Hardware» more  DATE 2007»
15 years 6 months ago
Modeling and simulation alternatives for the design of networked embedded systems
E. Alessio, Franco Fummi, Davide Quaglia, Maura Tu...
ASPDAC
2007
ACM
82views Hardware» more  ASPDAC 2007»
15 years 3 months ago
Abstract, Multifaceted Modeling of Embedded Processors for System Level Design
Gunar Schirner, Andreas Gerstlauer, Rainer Dö...
76
Voted
ICFEM
2007
Springer
15 years 3 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
55
Voted
DT
2000
54views more  DT 2000»
14 years 11 months ago
Formal Models for Embedded System Design
Marco Sgroi, Luciano Lavagno, Alberto L. Sangiovan...