10669 search results - page 1968 / 2134 » Software - Implemented Self-healing System |
187
click to vote
FSTTCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
163
click to vote
FSTTCS
2005
Springer
15 years 12 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
173
click to vote
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
With the growing popularity of streaming data model, processing queries over streaming data has become an important topic. Streaming data has received attention in a number of comm...
159
click to vote
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. As processor complexity increases compilers tend to deliver suboptimal performance. Library generators such as ATLAS, FFTW and SPIRAL overcome this issue by empirically s...
166
click to vote
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
With the increase of transistors integrated onto a chip, multi core processor architectures have attracted much attention to achieve high effective performance, shorten developmen...