156 search results - page 29 / 32 » Flexible Software Protection Using Hardware Software Codesig... |
109
Voted
MICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
Recent micro-architectural research has proposed various schemes to enhance processors with additional tags to track various properties of a program. Such a technique, which is us...
109
click to vote
ANCS
2007
ACM
15 years 3 months ago
2007
ACM
Programming specialized network processors (NPU) is inherently difficult. Unlike mainstream processors where architectural features such as out-of-order execution and caches hide ...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
CLEF
2010
Springer
15 years 23 days ago
2010
Springer
Abstract. After participating in last year's CLEF IP (2009) evaluation benchmark, our scores were rather low. The CLEF IP 2010 PAC task enabled us to correct some experiments ...
108
click to vote
CODES
2005
IEEE
15 years 5 months ago
2005
IEEE
To ensure low power consumption while maintaining flexibility and performance, future Systems-on-Chip (SoC) will combine several types of processor cores and data memory units of...