5639 search results - page 69 / 1128 » Timed Abstract Non-interference |
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
Abstract— This paper proposes an approach to cope with temporal power/ground voltage fluctuation for static timing analysis. The proposed approach replaces temporal noise with a...
106
click to vote
JOC
2007
14 years 11 months ago
2007
Abstract. We address one of the most fundamental problems concerning the RSA cryptosystem: does the knowledge of the RSA public and secret key-pair (e, d) yield the factorization o...
115
click to vote
PKC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. For RSA, May showed a deterministic polynomial time equivalence of computing d to factoring N(= pq). On the other hand, Takagi showed a variant of RSA such that the decry...
VTC
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract-In fast time varying systems, the problem of acquiring the channel coefficients required for symbol decoding commonly arises. A method of resolving this problem is the use...
117
click to vote
FORMATS
2004
Springer
15 years 3 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...