1445 search results - page 212 / 289 » Properties of state spaces and their applications |
120
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
109
click to vote
JFP
2010
15 years 11 days ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
144
click to vote
CRYPTO
2011
Springer
14 years 1 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...
112
click to vote
COMPGEOM
2009
ACM
15 years 8 months ago
2009
ACM
Topological persistence has proven to be a key concept for the study of real-valued functions defined over topological spaces. Its validity relies on the fundamental property tha...
140
Voted
ICS
2004
Tsinghua U.
15 years 7 months ago
2004
Tsinghua U.
Cache hierarchies have been traditionally designed for usage by a single application, thread or core. As multi-threaded (MT) and multi-core (CMP) platform architectures emerge and...