2695 search results - page 472 / 539 » A Visual Approach to Validating System Level Designs |
142
click to vote
MICRO
2006
IEEE
15 years 2 months ago
2006
IEEE
Shrinking devices to the nanoscale, increasing integration densities, and reducing of voltage levels down to the thermal limit, all conspire to produce faulty systems. Frequent oc...
127
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
160
Voted
CRYPTO
2011
Springer
14 years 2 months ago
2011
Springer
In this paper, we initiate a study of zero knowledge proof systems in the presence of sidechannel attacks. Specifically, we consider a setting where a cheating verifier is allow...
135
click to vote
INFOCOM
2010
IEEE
15 years 13 days ago
2010
IEEE
Misconfigured P2P traffic caused by bugs in volunteer-developed P2P software or by attackers is prevalent. It influences both end users and ISPs. In this paper, we discover and stu...
132
Voted
ICAC
2005
IEEE
15 years 8 months ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...