Sciweavers

3516 search results - page 37 / 704
» Integrating Security Modeling into Embedded System Design
Sort
View
ISI
2005
Springer
14 years 2 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»
14 years 3 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»
14 years 23 days ago
Abstract, Multifaceted Modeling of Embedded Processors for System Level Design
Gunar Schirner, Andreas Gerstlauer, Rainer Dö...
ICFEM
2007
Springer
14 years 19 days ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
DT
2000
54views more  DT 2000»
13 years 8 months ago
Formal Models for Embedded System Design
Marco Sgroi, Luciano Lavagno, Alberto L. Sangiovan...