1446 search results - page 4 / 290 » Formal analysis of hardware requirements |
DSD
2002
IEEE
14 years 25 days ago
2002
IEEE
ASPDAC
2005
ACM
13 years 9 months ago
2005
ACM
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
TRUST
2010
Springer
14 years 28 days ago
2010
Springer
Virtualization has been purported to be a panacea for many security problems. We analyze the feasibility of constructing an integrity-protected hypervisor on contemporary x86 hardw...
FMICS
2008
Springer
13 years 9 months ago
2008
Springer
There has been relatively little work on the implementability of timing requirements. We have previously provided definitions of fundamental timing operators that explicitly consid...