562 search results - page 78 / 113 » Mapping a Fault-Tolerant Distributed Algorithm to Systems on... |
RTCSA
2005
IEEE
15 years 3 months ago
2005
IEEE
We present an approach to the analysis and optimization of heterogeneous distributed embedded systems for hard real-time applications. The systems are heterogeneous not only in te...
SIGMETRICS
2008
ACM
14 years 9 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
104
click to vote
CF
2007
ACM
15 years 1 months ago
2007
ACM
In the life sciences, genomic databases for sequence search have been growing exponentially in size. As a result, faster sequencesearch algorithms to search these databases contin...
83
Voted
ICDE
2009
IEEE
15 years 4 months ago
2009
IEEE
Applications involving analysis of data streams have gained significant popularity and importance. Frequency counting, frequent elements and top-k queries form a class of operato...
IPPS
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper describes the design and the implementation of parallel routines in the Heterogeneous ScaLAPACK library that solve a dense system of linear equations. This library is w...