Sciweavers

1806 search results - page 172 / 362
» Some Functions Computable with a Fused-Mac
Sort
View
STACS
2005
Springer
16 years 15 days ago
Pattern Occurrences in Multicomponent Models
Abstract. In this paper we determine some limit distributions of pattern statistics in rational stochastic models, defined by means of nondeterministic weighted finite automata. ...
Massimiliano Goldwurm, Violetta Lonati
188
Voted
ICDCSW
2003
IEEE
16 years 9 days ago
Survivable Multi-Level Ad-Hoc Group Operations
In this paper we investigate the survivability of multilevel ad-hoc groups for critical operations through a case study. We aim to provide a formal trust framework for establishin...
Dan Zhou, Jie Wu
ICCS
2003
Springer
16 years 7 days ago
Monte Carlo Method for Calculating the Electrostatic Energy of a Molecule
The problem of computing the electrostatic energy of a large molecule is considered. It is reduced to solving the Poisson equation inside and the linear Poisson-Boltzmann equation ...
Michael Mascagni, Nikolai A. Simonov
DAC
2000
ACM
15 years 11 months ago
TACO: timing analysis with coupling
: The impact of coupling capacitance on delay is usually estimated by scaling the coupling capacitances (often by a factor of 2) and modeling them as grounded. This simple approach...
Ravishankar Arunachalam, Karthik Rajagopal, Lawren...
179
Voted
TCC
2005
Springer
118views Cryptology» more  TCC 2005»
16 years 15 days 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,...