Sciweavers

1559 search results - page 271 / 312
» Evaluation of Query Performance Prediction Methods by Range
Sort
View
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
14 years 3 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
SCALESPACE
2007
Springer
14 years 2 months ago
A Consistent Spatio-temporal Motion Estimator for Atmospheric Layers
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
Patrick Héas, Étienne Mémin, ...
ICPADS
2006
IEEE
14 years 2 months ago
Critical Path and Area Based Scheduling of Parallel Task Graphs on Heterogeneous Platforms
While most parallel task graphs scheduling research has been done in the context of single homogeneous clusters, heterogeneous platforms have become prevalent and are extremely at...
Tchimou N'Takpé, Frédéric Sut...
IPPS
1997
IEEE
14 years 1 months ago
Enhancing Software DSM for Compiler-Parallelized Applications
Current parallelizing compilers for message-passing machines only support a limited class of data-parallel applications. One method for eliminating this restriction is to combine ...
Peter J. Keleher, Chau-Wen Tseng
ISBRA
2010
Springer
14 years 6 days ago
A Novel Approach for Compressing Phylogenetic Trees
Abstract. Phylogenetic trees are tree structures that depict relationships between organisms. Popular analysis techniques often produce large collections of candidate trees, which ...
Suzanne Matthews, Seung-Jin Sul, Tiffani L. Willia...