1816 search results - page 34 / 364 » Trace oblivious computation |
CG
1999
Springer
14 years 10 months ago
1999
Springer
PERVASIVE
2010
Springer
14 years 5 months ago
2010
Springer
PDP
2009
IEEE
15 years 5 months ago
2009
IEEE
PsycoTrace is a set of tools to protect a process P from attacks that alter P self as specified by its source code. P self is specified in terms of legal traces of system calls ...
IEEEPACT
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper presents a new technique for efficient usage of small trace caches. A trace cache can significantly increase the performance of wide out-oforder processors, but to be e...
DAC
2007
ACM
15 years 11 months ago
2007
ACM
The ability of modern SAT solvers to produce proofs of unsatisfiability for Boolean formulas has become a powerful tool for EDA applications. Proofs are generated from a resolve t...