Sciweavers

1279 search results - page 129 / 256
» Fast Implementations of Automata Computations
Sort
View
CORR
2010
Springer
135views Education» more  CORR 2010»
13 years 7 months ago
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks
The importance of stochasticity within biological systems has been shown repeatedly during the last years and has raised the need for efficient stochastic tools. We present SABRE, ...
Frédéric Didier, Thomas A. Henzinger...
IPPS
2003
IEEE
14 years 3 months ago
Short Vector Code Generation for the Discrete Fourier Transform
In this paper we use a mathematical approach to automatically generate high performance short vector code for the discrete Fourier transform (DFT). We represent the well-known Coo...
Franz Franchetti, Markus Püschel
ICCV
1999
IEEE
14 years 2 months ago
Geodesic Active Regions for Supervised Texture Segmentation
This paper presents a novel variational method for supervised texture segmentation. The textured feature space is generated by filtering the given textured images using isotropic ...
Nikos Paragios, Rachid Deriche
ICDCS
1997
IEEE
14 years 2 months ago
Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects
—This paper describes algorithms for implementing a high-level programming model for synchronous distributed groupware applications. In this model, several application data objec...
Robert E. Strom, Guruduth Banavar, Kevan Miller, A...
ICDCS
1996
IEEE
14 years 2 months ago
An Evaluation of the Amoeba Group Communication System
The Amoeba group communication system has two unique aspects: (1) it uses a sequencer-based protocol with negative acknowledgements for achieving a total order on all group messag...
M. Frans Kaashoek, Andrew S. Tanenbaum