481 search results - page 83 / 97 » Differential symbolic execution |
80
Voted
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
One of the security issues in embedded system is the ability of an adversary to perform side channel attacks. Power analysis attacks are often very successful, where the power seq...
HIPC
2007
Springer
15 years 4 months ago
2007
Springer
Rapid evolution of multi-core platforms is putting additional stress on shared processor resources like TLB. TLBs have mostly been private resources for the application running on ...
75
Voted
MICRO
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper presents and studies a distributed L2 cache management approach through OS-level page allocation for future many-core processors. L2 cache management is a crucial multi...
ESCIENCE
2005
IEEE
15 years 3 months ago
2005
IEEE
A distributed Problem Solving Environment (PSE) is proposed to help users solve partial differential equation (PDE) based problems in scientific computing. The system inputs a pro...
IEAAIE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...