Sciweavers

722 search results - page 62 / 145
» The State Operator in Real Time Process Algebra
Sort
View
IPPS
2006
IEEE
15 years 5 months ago
Algorithm-based checkpoint-free fault tolerance for parallel matrix computations on volatile resources
As the desire of scientists to perform ever larger computations drives the size of today’s high performance computers from hundreds, to thousands, and even tens of thousands of ...
Zizhong Chen, Jack Dongarra
ICIP
2009
IEEE
14 years 9 months ago
Text segmentation in natural scenes using Toggle-Mapping
We offer, in this paper, a new method to segment text in natural scenes. This method is based on the use of a morphological operator: the Toggle Mapping. The efficiency of the met...
Jonathan Fabrizio, Beatriz Marcotegui, Matthieu Co...
WSC
2008
15 years 2 months ago
Simulation-based verification of lean improvement for emergency room process
One of the key challenges to health care access in Canadian hospitals is growing overcrowding of the Emergency Departments (EDs), leading to the medical personnel overload, and th...
Nancy Khurma, Gheorghe M. Bacioiu, Zbigniew J. Pas...
LICS
1998
IEEE
15 years 3 months ago
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
Eugene W. Stark, Scott A. Smolka
SIGMOD
2005
ACM
119views Database» more  SIGMOD 2005»
15 years 12 months ago
Update-Pattern-Aware Modeling and Processing of Continuous Queries
A defining characteristic of continuous queries over on-line data streams, possibly bounded by sliding windows, is the potentially infinite and time-evolving nature of their input...
Lukasz Golab, M. Tamer Özsu