18 search results - page 3 / 4 » Distributive laws for the coinductive solution of recursive ... |
CIE
2007
Springer
13 years 9 months ago
2007
Springer
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...
CONCUR
2006
Springer
13 years 9 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
ISPA
2004
Springer
13 years 11 months ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...
ICIP
2009
IEEE
14 years 6 months ago
2009
IEEE
In this article we address the issue of denoising photon-limited image data by deriving new and efficient multivariate Bayesian estimators that approximate the conditional expecta...
GLOBECOM
2007
IEEE
14 years 2 days ago
2007
IEEE
— Given a wireless sensor network (WSN) whose sensors are randomly and independently distributed in a bounded area following a homogeneous Poisson process with density ρ and eac...