Sciweavers

2227 search results - page 23 / 446
» Reversibility and Models for Concurrency
Sort
View
MCU
1998
154views Hardware» more  MCU 1998»
13 years 11 months ago
A computation-universal two-dimensional 8-state triangular reversible cellular automaton
A reversible cellular automaton (RCA) is a cellular automaton (CA) whose global function is injective and every configuration has at most one predecessor. Margolus showed that the...
Katsunobu Imai, Kenichi Morita
ADAEUROPE
2007
Springer
14 years 4 months ago
Modelling Remote Concurrency with Ada
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
Claude Kaiser, Christophe Pajault, Jean-Fran&ccedi...
WSC
2001
13 years 11 months ago
On the impact of concurrent downloads
Concurrent downloads accelerate information access speed for individual web users. The speed-up comes from multiple connections launched for one subject download, which leads to u...
Yong Liu, Weibo Gong, Prashant J. Shenoy
SIGDIAL
2010
13 years 7 months ago
Reference reversibility with Reference Domain Theory
In this paper we present a reference model based on Reference Domain Theory that can work both in interpretation and generation. We introduce a formalization of key concepts of RD...
Alexandre Denis
AAAI
2004
13 years 11 months ago
Bayesian Inference on Principal Component Analysis Using Reversible Jump Markov Chain Monte Carlo
Based on the probabilistic reformulation of principal component analysis (PCA), we consider the problem of determining the number of principal components as a model selection prob...
Zhihua Zhang, Kap Luk Chan, James T. Kwok, Dit-Yan...