Sciweavers

15792 search results - page 111 / 3159
» Computational Abstraction Steps
Sort
View
EUROPAR
2007
Springer
14 years 3 months ago
Modeling and Validating the Performance of Atomic Broadcast Algorithms in High Latency Networks
Abstract. The performance of consensus and atomic broadcast algorithms using failure detectors is often affected by a trade-off between the number of communication steps and the ...
Richard Ekwall, André Schiper
CIS
2005
Springer
14 years 2 months ago
Training Multi-layer Perceptrons Using MiniMin Approach
Abstract. Multi-layer perceptrons (MLPs) have been widely used in classification and regression task. How to improve the training speed of MLPs has been an interesting field of res...
Liefeng Bo, Ling Wang, Licheng Jiao
CALCO
2011
Springer
223views Mathematics» more  CALCO 2011»
12 years 9 months ago
On the Statistical Thermodynamics of Reversible Communicating Processes
Abstract. We propose a probabilistic interpretation of a class of reversible communicating processes. The rate of forward and backward computing steps, instead of being given expli...
Giorgio Bacci, Vincent Danos, Ohad Kammar
SIGGRAPH
1990
ACM
14 years 1 months ago
Paint by numbers: abstract image representations
Numbers: AbstractImageRepresentations Paul Haeberli Silicon Graphics Computer Systems Computer graphics research has concentrated on creating photo-realistic images of synthetic o...
Paul Haeberli
SAC
2008
ACM
13 years 8 months ago
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
s: A Weakly Relational Abstract Domain for the Efficient Validation of Array Accesses Francesco Logozzo Microsoft Research, Redmond, WA, USA Manuel F
Francesco Logozzo, Manuel Fähndrich