1737 search results - page 60 / 348 » Hardware Support for Secure Processing in Embedded Systems |
136
click to vote
DSD
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
153
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
125
click to vote
APSEC
2003
IEEE
15 years 9 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
124
click to vote
WMPI
2004
ACM
15 years 9 months ago
2004
ACM
This paper discusses die cost vs. performance tradeoffs for a PIM system that could serve as the memory system of a host processor. For an increase of less than twice the cost of ...
132
click to vote
ASPDAC
2000
ACM
15 years 8 months ago
2000
ACM
- This paper introduces the first hardwarekoftware co-synthesis algorithm that optimizes the implementations of ASICs that are used as processing elements for the embedded systems....