Sciweavers

415 search results - page 39 / 83
» Propagating functional dependencies with conditions
Sort
View
TCC
2005
Springer
118views Cryptology» more  TCC 2005»
14 years 4 months ago
On the Relationships Between Notions of Simulation-Based Security
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
Anupam Datta, Ralf Küsters, John C. Mitchell,...
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
13 years 8 months ago
Synchronization stability of complex dynamical networks with probabilistic time-varying delays
Abstract-- A kind of complex dynamical networks with timevarying coupling delays is proposed. By some transformation, the synchronization problem of the complex networks is transfe...
Hongjie Li, Dong Yue, Zhou Gu
MICRO
2000
IEEE
162views Hardware» more  MICRO 2000»
14 years 2 months ago
Accurate and efficient predicate analysis with binary decision diagrams
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...
John W. Sias, Wen-mei W. Hwu, David I. August
CN
2010
97views more  CN 2010»
13 years 11 months ago
PCN-based measured rate termination
Overload in a packet-based network can be prevented by admitting or blocking new flows depending on its load conditions. However, overload can occur in spite of admission control ...
Michael Menth, Frank Lehrieder
CORR
2011
Springer
200views Education» more  CORR 2011»
13 years 5 months ago
Sequential Analysis in High Dimensional Multiple Testing and Sparse Recovery
—This paper studies the problem of high-dimensional multiple testing and sparse recovery from the perspective of sequential analysis. In this setting, the probability of error is...
Matt Malloy, Robert Nowak