3172 search results - page 534 / 635 » On the Random-Self-Reducibility of Complete Sets |
188
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Many MPSoC applications are loop-intensive and amenable to automatic parallelization with suitable compiler support. One of the key components of any compiler-parallelized code is...
188
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
165
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
Portable devices have more data storage and increasing communication capabilities everyday. In addition to classic infrastructure based communication, these devices can exploit hu...
154
click to vote
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
—This paper presents the CONTRACT framework to address a fundamental deficiency of the IP network control plane, namely the lack of coordination between an IGP and other control...
167
click to vote
ITP
2010
15 years 10 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...