8 search results - page 2 / 2 » Benchmark and Framework for Encouraging Research on Multi-Th... |
TRIDENTCOM
2010
IEEE
13 years 5 months ago
2010
IEEE
As experimentation becomes one of the de-facto approaches for benchmarking, researchers are turning to testbeds to test, review and verify their work. As a result, several research...
JAR
2000
13 years 7 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
VEE
2012
ACM
12 years 2 months ago
2012
ACM
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...